/belief-revision

It is an assignment for AI course.

Primary LanguageJava

believe-revision

It is an assignment for AI course. If you want to run with truth table method, just run by default. If you want to run with Antlr to validate, please do the following steps.

Setup Antlr

Go to https://www.antlr.org/download.html to get the antlr library needed, current highest is 4.7.2.

Set up libraries

mark gen-folder as source

Antlr for Intellij

Add the libraries to the project from the libs folder.

Generate Antlr recognizer from Grammar.g4

Mark generated folder as source folder

if there is any issue with generating your own antlr recognizer, then use the gen-folder included. You still need to mark it as source folder.