Relation Planning-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: Planning

Range: Assumption

Arity: 2

Documentation:

A Relationship between an Planning Activity and a Assumption whereby the Actor doing the Planning makes the Assumption whilst producing a Plan.

A Planning-Assumption used always gives rise to a Plan-Assumption associated with the plan produced.

Implication Axioms for Planning-Assumption:

(=> (Planning-Assumption ?Planning ?Assumption)
    (Exists (?Doer)
            (And (Actor ?Doer)
                 (Actually-Execute ?Doer ?Planning)
                 (Assumed ?Doer ?Assumption))))

Axioms for Planning-Assumption:

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

Implication Axioms mentioning Planning-Assumption:

(=> (Critical-Assumption ?Critical-Assumption)
    (Exists (?Strategic-Planning)
            (And (Strategic-Planning ?Strategic-Planning)
                 (Planning-Assumption ?Strategic-Planning
                                      ?Critical-Assumption))))

(=> (Non-Critical-Assumption ?Non-Critical-Assumption)
    (Not (Exists (?Strategic-Planning)
                 (And (Strategic-Planning ?Strategic-Planning)
                      (Planning-Assumption ?Strategic-Planning
                                           ?Non-Critical-Assumption)))))

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

Axioms mentioning Planning-Assumption:

(Forall (?Sgc-Planning ?Assumption)
        (=> (And (Strategic-Planning ?Sgc-Planning)
                 (Assumption ?Assumption)
                 (Planning-Assumption ?Sgc-Planning ?Assumption))
            (Used-Or-Associated-With ?Assumption ?Sgc-Planning)))