Some Terms, Concepts
and Questions
|
Logic
Proof Deduction
|
| tautology |
| contradiction |
| satisfiable |
| unsatisfiable,
inconsistent |
|
What are the defining or basic features that
define a deductive logic?
What is meant by the expressiveness of a logic?
|
| Proposition Logic |
| proposition |
| complex proposition |
|
How expressive is Propositional
Logic? |
First Order Logic
(FOL) |
| atomic formula |
| Well formed formula,
wff. |
| Quantification |
|
How expressive is First
Order Logic? |
| Syntactic
Proof |
| identities |
| implications |
| resolution |
|
Decidable,
tractable, complete, sound, consistent? |
| Semantic
Proof |
|
Tractable,
complete, sound, consistent? |
|
Non-Deductive Inference
Defeasible Inference
Trees, Hierarchies, and Inheritance
|
| domain
dependent representation |
| representation
dependent inference |
| Trees,
strings |
|
Relation between domain and special
representations?
Relation between domain dependent
representations and valid inference?
|
| Non-first Order Knowledge, Exceptions,
Default Theory |
| Negation
by Failure |
| Consistency
and Defaults |
|
Deductive? Monotonic? |