5th Artificial Intelligence Applications

Adding forward chaining and truth maintenance to Prolog

, , and

A description is given of Pfc, a simple package which supplies a forward chaining facility in Prolog. P fc is intended to be used in conjunction with ordinary Prolog programs, allowing the programmer to decide whether to encode a rule as a forward-chaining Pfc rule or a backward-chaining Prolog one. Like other programming languages, Pfc programs have a declarative interpretation as well as a clear and predictable procedural one. A truth maintenance system built into P fc system maintains consistency and makes derivations available for applications. Finally, Pfc is designed to be relatively efficient and unobtrusive


  • 698855 bytes

knowledge representation, prolog, reasoning, truth maintenance

InProceedings

IEEE

Downloads: 585 downloads

UMBC ebiquity