Zebra Tutor
Goal: Find consequences with minimal number of clues.
Clues?
- Natural language sentences
- Logigram constraints
Idea:
How can we find consequences?
- Reify theory rules
- in a Theory that accepts prior knowledge (PK), a set of theory reification symbols and outputs (2-valued) reified knowledge
\( \exists clues :: \mathcal{Kb} : \exists reif : \exists prop, subj, val, dt: dt \neq U \land \forall extensions :: \mathcal{Kb} : Theory(PK, clues, reif, extensions) \Rightarrow extensions(prop,subj,val, dt)\)
| Penne | Farfall | spirelli | Arrabi | Bologn | Carbon | ||
|---|---|---|---|---|---|---|---|
| Andrea | |||||||
| Bart | |||||||
| Casper |
| arrabi | |||
| Bologn | |||
| Carbon |
- Andrea ate Penne
- The person who ate penne, took Carbonara Sauce
- Bart ate Penne or Farfalle
- The spirelli was eaten with Bolognese
My instance
| Penne | Farfall | spirelli | Arrabi | Bologn | Carbon | ||
|---|---|---|---|---|---|---|---|
| Andrea | X | - | - | - | - | X | |
| Bart | - | X | - | X | - | - | |
| Casper | - | - | X | - | X | - |
| arrabi | - | X | - |
| Bologn | - | - | X |
| Carbon | X | - | - |
- Andrea ate Penne
- The person who ate penne, took Carbonara Sauce
- Bart ate Penne or Farfalle
- The spirelli was eaten with Bolognese
My instance
Transitivity
Zebra Tutor 2
By krr
