Knowledge Base

Please enter your knowledge base by listing conditionals. (We preloaded the penguin example.)

Select inductive method for generating the ranking function.

System Z 1
minimal c-representation 2 (heuristic)
minimal c-representation 2 (brute force)

Select graph approach for generating the ranking function.

No network approach
OCF-LEG-Network 3


Send queries

Use the following textbox to enter your query and note what type of query you are sending in.

Your query is a...

Propositional Formula
Possible World

Server responses

(Note: If you entered a syntactically incorrect knowledge base after entering a syntactically correct one, reasoning can be continued on the correct one.)