Levels of modality for BDI logic

DOI10.1016/J.JAL.2011.08.002MaRDI QIDQ456714zbMATH OpenOpenAlexWikidataFDO

Authors Jeff Blee, David Billington, Guido Governatori, Abdul Sattar

Publication date 16 October 2012

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/42852

zbMATH Keywords

beliefmodal logicagentsBDI agentsgoalsreasoning about belief and knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Multi-dimensional modal logic
• Level logics
• A logic of separating modalities
• Modal multilattice logic
• scientific article; zbMATH DE number 823607
• Types for Proofs and Programs
• Modalities in vector logic
• MEREOLOGICAL BIMODAL LOGICS
• Modal bilattice logic and its extensions

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 487145 (Why is no real title available?)
• scientific article; zbMATH DE number 1964822 (Why is no real title available?)
• A computationally grounded logic of visibility, perception, and knowledge
• A logic for ignorance
• Computational Logic in Multi-Agent Systems
• Decision procedures for BDI logics
• Defeasible Logic is Stable
• Multi-Agent Programming
• Representation results for defeasible logic

Cited in

(5)

• Semantical considerations on intention dynamics for BDI agents
• Logic and agent programming languages
• Sequent calculus usage for BDI agent implementation
• Logical theories of intention and the database perspective
• Deduction systems for BDI logics with mental state consistency

Describes a project that uses

Uses Software

• Jason
• AgentSpeak

This page was built for publication: Levels of modality for BDI logic

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