Reasoning and Logic
1. Reasoning
Reasoning (inference): deriving new knowledge from existing knowledge
- Declarative model: psychological, linguistic
- Normative model: logical, probabilistic
Schools of formal model in AI:
Why to build an AGI in the framework of reasoning system:
- Generality (in representation)
- Justifiability (in steps)
- Flexibility (in processes)
2. Logic
Logic refers to laws/rules of reasoning/inference steps (from premises to conclusions), either formal (explicit) or informal (implicit).
A formal logic consists of a representation language (grammar rules), some inference/reasoning rules, and a semantic theory.
- Term logic: categorical sentences, syllogistic rules
- Classical logic, mathematical logic, propositional logic, first-order predicate logic
- Non-Classical logics: logic and types of reasoning, extensions and revisions
Logic and Artificial Intelligence and related debates (e.g., Nilsson vs. Birnbaum)
3. Inheritance Logic, Layer 1
Reasoning from ideal experience.
- Grammar: 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