Deductive Reasoning: Deriving entailed facts from some given facts.
Abductive Reasoning: Abductive reasoning is given an observation "z" and a set of possible explanations for z (e.g., "a -> z", "b
-> z", etc), and try to find best explanation for "z".
Default Reasoning: Default reasoning means that, although we cannot derive an atom A (e.g., A may represent "bird can fly")
by deductive reasoning, we can jump to a conclusion that A is true by saying "A is true by default" and when we cannot derive
A is false.
Model Finding: Model finding is to find an interpretation that satisfies a formula
Introduction to KRR
Propositional Logic - Syntax
A propositional formula of signature ? is defined recursively
as follows:
- Every atom is a formula
- Both 0-place connectives are formulas
- If F is a formula then ¬F is a formula
- For any binary connective ⨀, if F and G are formulas then
(F⊙G) is a formula