Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078)

From MaRDI portal
Revision as of 09:08, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Generating plans in linear logic. II: A geometry of conjunctive actions
scientific article

    Statements

    Generating plans in linear logic. II: A geometry of conjunctive actions (English)
    0 references
    0 references
    23 May 1994
    0 references
    The paper is a continuation of part I (reviewed above). Conjunctive actions are (as stated in part I) represented by ``formal actions'' (proofs in linear theories by using only the linear connective \(\otimes\)). The paper is inspired by the theory of proof-nets in linear logic. The concept of ``pseudo-plan'' is considered, and to every formal action a pseudo-plan is associated. The main result is that a pseudo-plan is constructed from a formal action iff its orientation is a partial ordering.
    0 references
    planification
    0 references
    formal actions
    0 references
    conjunctive actions
    0 references
    proof-nets
    0 references
    linear logic
    0 references
    pseudo-plan
    0 references

    Identifiers