JTP is an object-oriented modular reasoning system developed by Gleb Frank in Knowledge Systems Laboratory of Computer Science Department in Stanford University. JTP is based on a very simple and general reasoning architecture. The modular character of th
Tutorial Details:
The system is implemented in Java. The reason for this choice is that Java is ideally suited for easy integration of object-oriented systems, which facilitates both extending JTP\'s functionality and embedding JTP in other systems. The abundance of supplementary software available in Java also helps.
In JTP Architecture, a reasoning system consists of modules called reasoners. According to their functionality, reasoners can be classified into two types, backward-chaining and forward chaining. Backward-chaining reasoners process queries and return proofs for the answers they provide. Forward-chaining reasoners process assertions substantiated by proofs, and draw conclusions.
There are several important subclasses of reasoners. In particular, dispatchers route goals and assertions to appropriate reasoners, search control reasoners monitor the search depth, etc.
The principal data structure that reasoners return in response to queries and assertion is a reasoning step, an object representing a proof for some sentence. Reasoning steps are often organized into a hierarchical proof tree.
Read
Tutorial at: Click here to view the tutorial
Rate Tutorial: JTP
View Tutorial: JTP
Related
Tutorials:
|
