/ALC_Tableau_CS6770

Course Project for CS6770: Artificial Intelligence-Knowledge Representation and Reasoning

Primary LanguagePython

CS6770: Knowledge Representation and Reasoning. Group 7: Problem 7

Authors: Shreyas Kulkarni ME19B193 and Anirudh Sharma EE18B036

Problem Statement: ALC Tableau Implement ALC Tableau.

For an ALC KB and a query given in Negation Normal Form generated by assignment 6, use ALC Tableau to determine whether the query is entailed by the KB. Treat “Thing” as the top concept and “Nothing” as the bottom concept.

Part of the final software stack which can be read at CS6770 KRR Programming Assignment Questions.pdf

Dependencies

This code has been run on Python 3.6. Apart from usual conda libraries, to install the rest of the dependencies run:

pip3 install xmltodict

Usage

python3 main.py

Examples

In our code we use the xml files for the Sample Input Output. Those are MAN-P7-Input-KB.xml, MAN-P7-Input-Query.xml and MAN-P6-KB.xml We get an output as follows: Model does not exists => Query is entailed by KB

Detailed report can be read at CS6770 Team_7_final_project.pdf