|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use jtp.frame | |
| jtp.classifier | |
| jtp.frame | |
| jtp.frame.fc | |
| jtp.frame.listen | |
| jtp.frame.listen.dl | |
| jtp.time | Implements reasoners and classes that allow JTP to reason about temporal information in a KB. |
Classes in jtp.frame used by jtp.classifier| InferredValueReasoningStep
|
A proof step representing a Generalized Modus Ponens inference made through forward-chaining. |
|
Classes in jtp.frame used by jtp.frame| FrameKB
|
FrameKB.java Created: Wed Oct 25 05:45:33 2000 InferredValueReasoningStep
|
A proof step representing a Generalized Modus Ponens inference made through forward-chaining. SlotValueCollection
|
SlotValueCollection.java Created: Mon Mar 15 18:22:10 1999 ValueLinkCreationReasoningStep
|
This forward-chaining proof step represents the inference that one ValueCollection
should include all of the values in another ValueCollection. |
|
Classes in jtp.frame used by jtp.frame.fc| FrameKB
|
FrameKB.java Created: Wed Oct 25 05:45:33 2000 |
|
Classes in jtp.frame used by jtp.frame.listen| FrameKB
|
FrameKB.java Created: Wed Oct 25 05:45:33 2000 |
|
Classes in jtp.frame used by jtp.frame.listen.dl| FrameKB
|
FrameKB.java Created: Wed Oct 25 05:45:33 2000 |
|
Classes in jtp.frame used by jtp.time| InferredValueReasoningStep
|
A proof step representing a Generalized Modus Ponens inference made through forward-chaining. |
|
|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||