Logic and Reasoning System
1. Logic
Logic: language, inference/reasoning rules, semantics
Term logic: categorical sentences, syllogistic rules
Non-Classical logics: logic and types of reasoning, extensions and revisions
Logic and Artificial Intelligence, criticisms
2. Reasoning System
Reasoning system: inference engine, knowledge base, control strategy
Kowalski: Algorithm = Logic + Control
3. Inheritance Logic, Layer 1
- Syntax: term, inheritance copula, statement
- Semantics: experience, knowledge, truth-value, extension/intension, meaning
- Inference: inferring, matching
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 2