Class Planning

Notes for Planning:

Slots on class Planning:

Arity: 1
An Activity whose Intended-Purpose is to produce a Plan. Specifically, if an Activity is a Planning Activity, this implies that a. there is some Activity-Spec which when Executed, gave rise to the Activity; b. the Intended-Purpose of the Activity-Spec is to produce a Plan
Domain-Of: Planning-Assumption
Instance-Of: Class, Relation, Set
Subclass-Of: Activity, Activity-Or-Spec, Eo-Entity, Individual-Thing, Thing ...
Superclass-Of: Strategic-Planning

Slots on instances of Planning:

Minimum-Slot-Cardinality: 1
Slot-Value-Type: Activity-State
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Slot-Value-Type: Time-Range
Minimum-Slot-Cardinality: 1
Slot-Value-Type: Effect
Minimum-Slot-Cardinality: 1
Slot-Value-Type: Pre-Condition

Implication Axioms for Planning:

(=> (Planning ?Planning)
    (Exists (?Plan ?Aspec)
            (And (Plan ?Plan)
                 (Activity-Spec ?Aspec)
                 (Execution-Of-Activity-Spec ?Aspec ?Planning)
                 (Intended-Purpose ?Aspec
                                   '(Actual-Output ?Planning ?Plan)))))

Other Related Implication Axioms for Planning:

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