Knowledge Based Systems
Compulsory course for Fourth Year students of the Faculty of Computer Systems. Offered in Fall.
Instructor: Adrian Groza
Course content
Logical games in First Order Logic (FOL)
minefinder, minefield, friends puzzles, ladies and tigers, models in FOL, discourse checking in FOL
Description Logics (DLs)
Semantic Web, ontologies, families of DLs, modelling in DL, models in DL, solving logical puzzles in DL
Reasoning in DL
tableaux algorithms, converting DL2FOL
Ontology engineering
Applications of DL
modelling in DL, machine learning for the semantic web, semantic search, medical and legal ontologies, ontology design patterns
Epistemic reasoning
epistemic logic (EL), common knowledge, public announcement, dynamic epistemic logic, modelling in EL, solving epistemic puzzles
Model checking
formal verification, modelling and reasoning about systems, computational tree logic, protocol verification
Expert systems
rule-based reasoning, efficient reasoning, Rete algorithm, conflict resolution strategies, engineering efficient rule-based systems
Fuzzy reasoning
fuzzy logic (FL), membership functions, fuzzy sets, mandami rules, fuzzification, defuzzification methods, application of FL
Non-monotonic reasoning
defeasible logic, argumentative semantics
Answer Set Programming
Main bibliography
- Baader, Franz, Diego Calvanese, Deborah McGuinness, Peter Patel-Schneider, and Daniele Nardi, eds. The description logic handbook: Theory, implementation and applications. Cambridge university press, 2003.
- A. Groza. Ontology Engineering with RacerPro - An Activity Based Approach, U.T. Press, 2014, ISBN 978-973-662-991-4
Additional bibliography
- Ianni, Giovambattista, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, and Steffen Staab, eds. Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Vol. 10370. Springer, 2017.
- Antoniou, Grigoris, and Frank Van Harmelen. A semantic web primer. 3rd edition, MIT press, 2012.
- Bühmann, L., Lehmann, J., & Westphal, P. (2016). DL-Learner - A framework for inductive learning on the Semantic Web. Journal of Web Semantics, 39, 15-24.
- Haarslev, Volker, Kay Hidde, Ralf Möller, and Michael Wessel. "The RacerPro knowledge representation and reasoning system." Semantic Web 3, no. 3 (2012): 267-277.
- Discourses on Social Software, Van Eijck and Verbrugge (eds.), Amsterdam University Press, 2009;
- van Benthem J, van Ditmarsch H, van Eijck J, Jaspars J. Logic in Action, 2016.
- Logic in Computer Science- Huth, Michael RA, and Mark D. Ryan. "Modelling and reasoning about systems." Cambridge University Press 2000; (ch. 3).
- Engelbrecht, Andries P. Computational intelligence: an introduction. John Wiley & Sons, 2007 (ch 20,22,22).