Knowledge Representation And Reasoning
The aim of this Knowledge Representation and Reasoning (KRR) material is to introduce basic concepts of modern methods and tools of KRR. These KRR methods are representative of the state of the art in KRR.
Answer Set Programming
- Introduction: Read - The Answer Set Programming Paradigm Links to an external site.
- Modeling problems: Read - Applications of Answer Set Programming Links to an external site..
- Action reasoning: Read - Answer set programming and plan generation Links to an external site..
- Download one of the following ASP solvers and run some of the examples presented by the previous ASP papers: Potassco - https://potassco.org/ Links to an external site., DLV - http://www.dlvsystem.com/dlv/ Links to an external site. Links to an external site.
Ontologies.
- Description logics: Read sections: 3.1,3.2,3.7 of the Description Logics chapter book Links to an external site..)
- Context modelling and reasoning techniques. Read sections: 1,2,6, 5, 7,8 of A survey of context modelling and reasoning techniques Links to an external site..
- Learning methods and OWL ontologies: See the video Machine Learning and NELL
Links to an external site.
- Tools - Protégé (Stanford University: http://protege.stanford.edu/ Links to an external site. ).
Extra information -
- Never-Ending Language Learning Project - http://rtw.ml.cmu.edu/rtw/ Links to an external site.