Your turn - Section II
Completion requirements
Opened: Tuesday, 10 October 2017, 12:00 AM
Upload your proposal (one line)
and your contribution (slides of a presentation, code, written report
...) about the issues involved in Knowledge representation and reasoning.
Possible tasks I have proposed are:
- Read seminal paper:A fundamental tradeoff in knowledge representation and reasoning, by Levesque and Brachman
- Knowledge engineering in another domain using FOL:- The electronic circuits domain (AIMA cap 8.4)- The Internet shopping world (AIMA cap 12.7)
- Theories for nonmonotonic reasoning: additional properties
- AGM postulates for belief revision
- TMS data structures and algorithms
- ATMS data structures and algorithms
- Application of modal logics to other modelling tasks: deontic logic (obbigation and permission); temporal modal logics ...
- Structural subsumption algorithm for Description logic (from the handbook).
- Complexity results for Description Logics
- Reasoning systems based on Description Logics (LOOM, BACK, KRIS, FaCT, DLP, Racer …)