Relation Plan-Assumption

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Plan

Range: Assumption

Arity: 2

Documentation:

A Relationship between an Plan and a Assumption whereby the Plan is based on the Assumption (i.e. used during Planning) and may be invalid if the Assumption fails to hold

An Assumption in a Plan-Assumption relationship is also the Assumption in a Planning-Assumption Relationship for the Planning Activity that produced the Plan

Implication Axioms for Plan-Assumption:

(=> (Plan-Assumption ?Plan ?Assumption)
    (Exists (?Planning)
            (And (Planning ?Planning)
                 (Actual-Output ?Planning ?Plan)
                 (Planning-Assumption ?Planning ?Assumption))))

Axioms mentioning Plan-Assumption:

(Forall (?Plng ?Assump)
        (=> (Planning-Assumption ?Plng ?Assump)
            (Exists (?Pln)
                    (And (Actual-Output ?Plng ?Pln)
                         (Plan-Assumption ?Pln ?Assump)))))