Class Planning

• Defined in ontology: Enterprise-v0.1

Notes for Planning:

• Todo: Consider whether the following is a problem. The Planning definition (seemingly) forces the existence of an Activity-Spec corresponding to
  every Planning Activity. This seems to rule out spontaneous planning for which there was no plan to plan. This may not matter, but insofar as it appears overly restrictive it is not desirable.

Slots on class Planning:

Arity: 1

Documentation:

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:

Activity-Status:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Activity-State

Actual-Activity-Interval:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Time-Range

Actual-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect

Actual-Pre-Condition:

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