Professional Documents
Culture Documents
Use of logic
Artificial agents
Entailment:
– Sentence follows logically from another sentence
KB |= s
iff in every model in which KB is true, s is
also true
Inference algorithm
Validity
Tautology
Deduction theorem
Satisfiability
inconsistancy
Reasoning patterns in
Propositional logic
Inference rules
Modus Ponens
And Elimination
Standard logical equivalances
– De Morgan
– Contra positive
– Distributive laws
– Associative laws
Deduction
P: red light is ON
M: it is morning shift
N: supervisor absent
D: door is locked.
Q: load is small in size
R: load is light
B: the conveyor belt is moving
Next?