Lecture 3 Flashcards
what is knowledge representation scheme?
role is to abstract out critical features of a problem domain, make the info available to problem solving scheme
what is the advantage of using logic as a representation formalism?
it comes with methods for reasoning from knowledge. we can use this reasoning to infer new knowledge
what are the 3 main components in logic?
- 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
what is a propositional statement?
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
what are propositional symbols?
propositional symbols - P, Q, R, S, …
truth symbols - true, false
connectives - ^ (down arrow, not symbol(corner of box), implies and 3 equal sign)
what is a propositional sentence?
true, flase, P, Q, R, S, … are sentences and any connectives can go between them (see propositional symbos)
what is a wff?
is a propositional sentence
what is a tautology and contradiction?
tautology - everything is true
contradiction - everything is flase
limitations of propositional logic
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)