Basic Inference
1. Inconsistency Management
Paraconsistent logic: To tolerant inconsistency without deriving arbitrary conclusion.
Belief revision: to recover consistency by removing minimal beliefs.
Non-monotonic logic: to draw defeasible conclusions and to update using new evidence.
2. Uncertain Inference
Probability calculations are normally within a probability distribution function, except Bayesian conditioning
Triangular norms and conorms: to generalize Boolean functions.
Deduction and reference class problem.
Induction and generalizations, overfitting, underfitting, and underspecification.
Abduction and explanations.
3. NAL-1 Inference Rules
- Local rules: revision and choice
- Forward rules: extended Boolean functions, syllogistic rules
- Backward rules: reversibility
Reading
- Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 4