next up previous
Next: How to get the code? Up: Guide Previous: Guide

What is LFIAML?

The program's goal is the design and building of a knowledge representation and reasoning system based on predicate logic. The domain true facts are representated by atomic sentences and the rules of the domain are representated by Horn clausules. Function terms and equality are still not implemented in this version. The inferential mechanisms provided are :

The system includes an user interface which allows the introduction of domain facts and rules into the knowledge base. Also allows some commands like deleting clausules, listing and erasing the base or finding the clausules that unify with a given one in the base.



David E. Losada Carril
Thu Oct 10 11:33:47 MET 1996