Skip to content
This repository has been archived by the owner on Jun 8, 2019. It is now read-only.

leven87/belief-revision

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

64 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

It is an assignment for AI course.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published