Deduction systems for BDI logics with mental state consistency

zbMATH Open1270.68286MaRDI QIDQ2844928FDOQ2844928

Authors: Nide Naoyuki, Shiro Takata, Tadashi Araragi 

Publication date: 20 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805930

Recommendations

• Levels of modality for BDI logic
• scientific article; zbMATH DE number 1305374
• CTL AgentSpeak(L): A specification language for agent programs
• Sequent calculus usage for BDI agent implementation
• Decision procedures for BDI logics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Reasoning about rational agents
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision procedures for BDI logics
• Title not available (Why is that?)

Cited In (1)

• Sequent calculus usage for BDI agent implementation

This page was built for publication: Deduction systems for BDI logics with mental state consistency

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