Relation Planning-Assumption

Instance-Of: Binary-Relation, Relation, Set
Domain: Planning
Range: Assumption
Arity: 2
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

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

(=> (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)))