CIS 5590.004. Artificial General Intelligence

Implication and Derivation

1. About Proposition

• Propositional attitude
• Modal logic, Doxastic logic, Epistemic logic
• "What the Tortoise Said to Achilles", Deduction Theorem, rule-based systems
• Closed World Assumption, Negation as failure

2. Fallacies and Paradoxes

• Implication paradox, truth-functional inference and semantic relevance
• Raven paradox
• Wason selection task
• Conjunction fallacy

3. NAL-5 Inference Rules

• Higher-order inference
• Copulas
• Negation
• Analytical truth
• Related issues in memory and control

Reading

• Non-Axiomatic Logic: A Model of Intelligent Reasoning, 2nd Edition, Chapter 9