Class Activity-Spec

Subclass-Of:
Activity-Or-Spec, Eo-Entity, Individual, Individual-Thing, Thing ...
Superclass-Of:
Plan, Process-Spec, Strategic-Action, Strategy, Sub-Plan ...
Instance-Of: Class, Relation, Set
Domain-Of:
Specified-Activity-Interval, Specified-Effect, Specified-Output, Specified-Pre-Condition, Sub-Activity-Spec ...
Range-Of:
Have-Capability, Have-Skill, Hold-Authority, Specified-To-Execute, Sub-Activity-Spec ...
Arity: 1
Documentation:
a characterisation of something to do; a specification of activity.

By its very nature, this characterisation restricts the possible things to do and thus corresponds to a subset of the Activities in the universe.

* an Activity Specification can be thought of as a constraint functioning

as a selector identifying a restricted range of Activities in the universe;

* insofar as an Activity Specification will be built up from various

components (statements in some language), each constraining the

specification in different ways, an

Activity Specification can be thought of a collection of constraints.

* The language for expressing Activity Specifications

will include statements about

ordering (sub)-Activities; Resource usage, Activity

Decomposition, and much more

Slots:

Execution-Of-Activity-Spec:
Intended-Purpose:
Specified-Activity-Interval:
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Slot-Value-Type: Time-Range
Specified-Effect:
Minimum-Slot-Cardinality: 1
Slot-Value-Type: Effect
Specified-Output:
Specified-Pre-Condition:
Minimum-Slot-Cardinality: 1
Slot-Value-Type: Pre-Condition
Sub-Activity-Spec:

Frame References to Activity-Spec:

In class Activity-Or-Spec:

Exhaustive-Subclass-Partition: {Activity, Activity-Spec}

Implication Axioms mentioning Activity-Spec:

(=> (Activity-Or-Spec ?X) (Or (Activity ?X) (Activity-Spec ?X)))

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

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

Equivalence Axioms mentioning Activity-Spec:

(<=> (Activity-Or-Spec ?X)
     (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X))))