Theory PLANNING

• Last modified: Sunday, 24 December 2000
• Source code: Planning.lisp
• List of other known theories

Theory documentation:

Theories included by Planning:

  Diagrams
  Meronymy
  Unrestricted-Time

Theories that include Planning:

  Procedures

20 classes defined:

    Generic-Plan
       Complex-Plan
          Cyclical-Plan
             Cycle-For
             Cycle-Until
          Sequential-Plan
       Elementary-Plan
          Branching-Plan
             Case-Plan
                Alternate-Plan
             Concurrent-Plan
                Any-Order-Plan
                Parallel-Plan
             Partly-Concurrent-Plan
                Partly-Any-Order-Plan
                Partly-Parallel-Plan
       Synchro-Plan
       The-First-Plan
       The-Last-Plan
    Plan-Author

30 relations defined:

  Closes-At
  Exit-Condition
  Exit-Condition-Of
  First-Plan
  First-Plan-Of
  Inverse-Of-Planning-Relation
  Is-Closing-Of
  Is-Opening-Of
  Is-Plan-Subdivision
  Iteration-Value-Of
  Last-Plan
  Last-Plan-Of
  Opens-At
  Plan-Direct-Predecessor
  Plan-Direct-Successor
  Plan-Predecessor
  Plan-Subdivision
  Plan-Successor
  Planning-Property
  Planning-Relation
  Postcondition
  Postcondition-Of
  Precondition
  Precondition-Of
  Repetition-Interval-Of
  Sibling-Plan
  _Accepted
  _Considered
  _Possible
  _Rejected

2 functions defined:

  Iterated-For
  Repetition-Interval

No instances defined.

The following constants were used from included theories:

• Abstraction defined as a class in theory Top-Level
• Arity defined as a function in theory Frame-Ontology
• Authored-By defined as a relation in theory Actors
• Authors defined as a relation in theory Actors
• Class defined as a class in theory Frame-Ontology
• Co-Exist defined as a relation in theory Unrestricted-Time
• Cycle-Node defined as a class in theory Diagrams
• Description defined as a relation in theory Representation
• Document defined as a class in theory Representation
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Duration-Value defined as a function in theory Unrestricted-Time
• Entity defined as a class in theory Top-Level
• First-Node defined as a relation in theory Diagrams
• Flow-Chart defined as a class in theory Diagrams
• Follows defined as a relation in theory Unrestricted-Time
• Fork-Node defined as a class in theory Diagrams
• Function defined as a class in theory Kif-Relations
• Integer defined as a class in theory Kif-Numbers
• Inverse defined as a function in theory Kif-Relations
• Join-Node defined as a class in theory Diagrams
• Method-Of defined as a relation in theory Actors
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Number defined as a class in theory Kif-Numbers
• Outcome defined as a relation in theory Actors
• Part defined as a relation in theory Mereology
• Part-Of defined as a relation in theory Mereology
• Procedure defined as a class in theory Top-Level
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Represented-By defined as a relation in theory Representation
• Script defined as a class in theory Representation
• Simple-Node defined as a class in theory Diagrams
• Situation defined as a class in theory Top-Level
• Structuring-Relation defined as a relation in theory Structuring-Concepts
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subclass-Partition defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Symbolic-String defined as a class in theory Representation
• The-First-Node defined as a class in theory Diagrams
• The-Last-Node defined as a class in theory Diagrams
• Thing defined as a class in theory Frame-Ontology
• Title defined as a relation in theory Representation
• Typicality-Property defined as a relation in theory Structuring-Concepts
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Act-Stage defined as a class in theory Procedures
• Binary-Tuple defined as a relation in theory Built-In-Theory
• Case-Stage defined as a class in theory Procedures
• Concurrent-Stage defined as a class in theory Procedures
• Incoherent defined as a class in theory Built-In-Theory
• Numeric-Value defined as a function in theory Quantities
• Organization defined as a class in theory Social-Objects
• Partly-Concurrent-Stage defined as a class in theory Procedures
• Person defined as a class in theory Social-Objects
• Planning-Stage defined as a class in theory Procedures
• Serial-Value defined as a function in theory Quantities
• Serial-Value-Filler defined as a class in theory Quantities
• Stage defined as a class in theory Procedures

All constants that were mentioned were defined.