NON-CLASSICAL LOGICS FOR AI
CONTENT:
- Logic Programming and AI
- Modal Lògics: Knowledge, Beliefs, ?
- Temporal Logics for AI
- Non-monotonic Logics
- Logics for Change and Action.
REQUIREMENTS
1. Propositional and Predicate Calculus at Undergraduate level.
2. 'Logic-based AI' of the Foundations Section.
Advisors
- SALES PORTA, TON
- VILA GRABULOSA, LLUIS
Bibliography
- Gabbay, Hogger, Robinson Eds. Handbook of Logic in Artificial Intelligence Vol. 1, Vol 4, Vol.5.
- Genesereth, Nilsson. Logical Foundations of Artificial Intelligence. 1986.