CIS 5590.004. Artificial General Intelligence

Implication and Derivation

1. Issues in propositional calculus

• Connectives and truth-table, modus ponens, Deduction Theorem
• "What the Tortoise Said to Achilles", reasoning in LLM (Description of modus ponens in page 12)
• Rule-based systems

• Implication paradox
• Wason selection task
• Raven paradox
• Conjunction fallacy

• Non-classical logics
• Anti-psychologism
• Psychology of reasoning

• Propositional attitude
• Higher-order logic, Modal logic

2. NAL-5 Inference Rules

• Higher-order statements
• Copulas as built-in conceptual relations
• Extended syllogistic inference
• Negation
• Analytical truth
• Revised memory and control

Reading

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