Logic
Formal Notation
-
Inference: agent will use knowledge and logic to provide inference
-
Soundness: Only valid conclusions can be proven
-
Completeness: All valid conclusions can be proven
-
Predicate: a function that maps object args to T/F
- Feathers(bluebird) >>> True
Implication x implies y,
Conjunctions, Disjunctions, Negations, Implications
Conjunction
if an animal lays eggs and an animal flies than the animal is a bird
Disjunction
if an animal lays eggs or an animal flies than the animal is a bird
If an animal flies and is not a bird, it is a bat
Truth Tables
- Demorgan's law
- The outer not flips the inner operation
Kinda weird logic for "Implies"
A | B | |
---|---|---|
T | T | T |
T | F | F |
F | T | T |
F | F | T |
Rules of Inference
Modus Ponens
x | Logic |
---|---|
Sentence 1 | |
Sentence 2 | |
Sentence 3 |
Modus Tollens
x | Logic |
---|---|
Sentence 1 | |
Sentence 2 | |
Sentence 3 |
Resolution Theorem Proving
- Prove the opposite of what we're trying to prove
- Start by eliminating the thing you're trying to prove with the contrapositive in the full sentence