Interlingua: Going Beyond KIF
Point of departure is KIF: Knowledge Interchange Format
- Intent: general-knowledge interlingua.
- Emerging standard, in ANSI commmittee.
- Main focus: classical logic, esp. first-order.
- Has major limitations remedied by our Interlingua:
- logically monotonic; no conflict handling or priorities.
- pure-belief: no procedural attachments.
Our Interlingua uses situated courteous LP’s rep’n.
- Complements KIF. Overlaps on:
- pure-belief rules without negation-as-failure.