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

DOI10.1016/0304-3975(93)90008-HMaRDI QIDQ1802078zbMATH OpenFDO

Authors M. Masseron

Publication date 23 May 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90008-H

zbMATH Keywords

conjunctive actionsformal actionslinear logicplanificationproof-netspseudo-plan

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 18649
• Linearity and plan generation
• Generating plans in linear logic. I: Actions as proofs
• Linear logic as a tool for planning under temporal uncertainty
• On linear logic planning and concurrency

Cites work

• A deductive solution for plan generation
• Generating plans in linear logic. I: Actions as proofs
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Linear logic
• Matings in matrices

Cited in

(6)

• Plans, actions and dialogues using linear logic
• Generating plans in linear logic. I: Actions as proofs
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Structural analysis of narratives with the Coq proof assistant
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• Linear logic as a tool for planning under temporal uncertainty

This page was built for publication: Generating plans in linear logic. II: A geometry of conjunctive actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802078)