SEKT 3.4.1 PION Testbed (on localhost)
URL:
Select Example
:
Bird Example
Brain Example
Married Woman Example
MadCow Example 1 (OWL)
MadCow Example 2 (OWL)
MadCow Example 3 (DIG)
bird => animal (Birds are animals) bird => fly (Birds are flying animals) eagle => bird (Eagles are birds) penguin => bird (Penguins are birds) penguin => NOT fly (Penguins are not flying animals) penguin(tweety) (tweety is a penguin) eagle(fred) (fred is an eagle)
Select Function
:
Syntactic Concept Relevance
Syntactic Relevance
Overdetermed Processing
:
First Maximal Coherent Set
Select Strategy
:
Linear Extension