Lecture 3 Flashcards

1
Q

what is knowledge representation scheme?

A

role is to abstract out critical features of a problem domain, make the info available to problem solving scheme

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

what is the advantage of using logic as a representation formalism?

A

it comes with methods for reasoning from knowledge. we can use this reasoning to infer new knowledge

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

what are the 3 main components in logic?

A
  • syntax - defines legal expressions
  • semantics - defines meanings of a sentence in terms of truth
  • inference mechanism - a procedure of determining what follows (validity) from a set of logical sentences
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

what is a propositional statement?

A

a statement that an be evaluated as true or false, eg 7 + 6 = 12, bobs car is blue. some examples of things that aren’t propositional are 7 + 4 and jakes uncle

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

what are propositional symbols?

A

propositional symbols - P, Q, R, S, …
truth symbols - true, false
connectives - ^ (down arrow, not symbol(corner of box), implies and 3 equal sign)

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

what is a propositional sentence?

A

true, flase, P, Q, R, S, … are sentences and any connectives can go between them (see propositional symbos)

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

what is a wff?

A

is a propositional sentence

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

what is a tautology and contradiction?

A

tautology - everything is true

contradiction - everything is flase

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

limitations of propositional logic

A

everything is either T or F, cant represent nemo is dead and nemo is white without 2 propositions (no way to access components of the proposition)

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