scientific article; zbMATH DE number 1305374

zbMATH Open0927.03056MaRDI QIDQ4252252FDOQ4252252

Authors: Klaus Schild 

Publication date: 13 December 1999

Title of this publication is not available (Why is that?)

Recommendations

• Decision procedures for BDI logics
• Reasoning about agent programs using ATL-like logics
• Practical reasoning with procedural knowledge (a logic of BDI agents with know-how)
• Towards a Logic of Rational Agency
• The semantics of behavior

zbMATH Keywords

concurrencyaxiomatizationpropositional \(\mu\)-calculusBDI theorybehavior of agentslogics of concurrent programsrational balance between beliefs, desires, and intentions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Sequent calculus usage for BDI agent implementation
• Deduction systems for BDI logics with mental state consistency
• Where logic and agents meet

This page was built for publication:

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