Relation Planning-Assumption

• Defined in ontology: Enterprise-v0.1

Notes for Planning-Assumption:

• Issue: This definition is in some literal sense true, but we may not want to force the existence of all these assertions with instantiated variables. Also, would need to link the Actor having the Assumption with respect to planning, not just at all. THis is why it cannot be an Iff-Def

Slots on relation Planning-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.

Domain: Planning

Instance-Of: Binary-Relation, Relation, Set

Range: Assumption

Axioms for Planning-Assumption:

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

Other Related Implication Axioms for Planning-Assumption:

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

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

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

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