Agents via mixed-mode computation in linear logic

DOI10.1023/B:AMAI.0000034526.31830.45MaRDI QIDQ702108zbMATH OpenOpenAlexFDO

Authors James Harland, Michael Winikoff

Publication date 17 January 2005

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:amai.0000034526.31830.45

zbMATH Keywords

linear logicintelligent agentsBelief Desire Intention (BDI)mixed-mode computation

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Language design issues for agents based on linear logic (extended abstract)
• Plans, actions and dialogues using linear logic
• GOAL agents instantiate intention logic
• GOAL Agents Instantiate Intention Logic
• Forward and backward chaining in linear logic. (Extended abstract)

Cited in

(6)

• scientific article; zbMATH DE number 5547960 (Why is no real title available?)
• scientific article; zbMATH DE number 1314226 (Why is no real title available?)
• Plans, actions and dialogues using linear logic
• Language design issues for agents based on linear logic (extended abstract)
• Where logic and agents meet
• scientific article; zbMATH DE number 2087695 (Why is no real title available?)

This page was built for publication: Agents via mixed-mode computation in linear logic

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