Class OBLIGATION

• Defined in theory: Product-theory
• Source code: product-theory.lisp

Slots on this class:

Documentation:

This is just a placeholder for now. It's not clear what the real representation will be. One possibility is to have it be a Microtheory a la Cyc. The things that the Agent is obligated to make true are true in the Obligation. Another possibility is to make Obligations individual propositions that the Agent must make true, or individual actions the agent must perform.

Instance-Of: Class

Subclass-Of: Individual-thing

Other Related Axioms:

(Nth-Domain Obligation-In 3 Obligation)