CIS 5590.004. Artificial General Intelligence

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


Reading