ch 5 and 6 Flashcards

1
Q

Logic:

A

an argument of premises assumed to be true, one or more conclusion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

propositional logic

A

if conclusions follow premise, it is valid

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

truth tables:

A

enumeration of all possible values, showing in all cases where premise is true

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

fuzzy logic

A

degree to which something isn’t entirely accurate

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

modal logics address

A

ought or should issues

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

converse of implication

A

obtained by reversing the roles of the premise and conclusion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

inverse of implication

A

obtained by negating the premise and the conclusion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

contrapositive of implication

A

if the assumed premise leads to the conclusion, then the not premise is the not conclusion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

stmts that are always true or false under identical circumstance

A

tautologies/theorems

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

contradiction

A

if a partial premise is true, then the conclusion most likely is

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

satisfiability problem

A

is there some value that fulfills all stmts

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

resolution proof

A

assumes premise is true and conclusion is false, if contradicted, proof is valid

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

forward chaining

A

continue until contradiction is made or resolutions are exhausted

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

backwards chaining

A

examining related things only, supporting or refuting

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

predicate logic

A

allows changes to be made to stmts to fulfill argument

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

unification

A

compare status’ to see if there is a substitute to make them work,

17
Q

modal logic

A

analysis of belief, dealing with imperatives, unchanging

18
Q

data to knowledge

A

begin with raw data, attach a fact, context turns to information, processing info is knowledge

19
Q

different types of knowledge representation

A

data structures, graphs, search methods, logic, systems, scripts, concepts, maps, networks

20
Q

object orientation

A

inheritance, encapsulation, poly-morphism, separation of interface and implementation

21
Q

frames

A

neatly packaged, slightly unrealistic, network of nodes and relations

22
Q

scripst

A

history books? researchers added info about events, main issues,

23
Q

semantic network

A

model relations between concepts, idea, object, events or situations.

24
Q

agents

A

independent programs, specializing in tasks, intelligent, perceptive, decisive, able to keep record,