Logic framework - goals and status

• Framework for writing axioms of rule-based systems.
• Monotonic logic
• Any rule system can export, generally cannot import
• No one standard engine - inference capabilities differ
• Exchange proofs &c between existing engines (SQL to KIF, Cycl, etc)
• Any system can validate proofs
• Web assumptions different from closed world

Status:

• Much academic discussion
• Not ripe for standardization yet
• Research agenda