Reasoning About Epistemic States of Agents by Modal Logic Programming

DOI10.1007/11750734_3MaRDI QIDQ3623962zbMATH OpenOpenAlexFDO

Authors Linh Anh Nguyen

Publication date 28 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11750734_3

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

• Multimodal logic programming
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
• An epistemic model of logic programming
• Logics in Artificial Intelligence
• Modal logic for modelling actions and agents

Cited in

(7)

• Dynamic term-modal logics for first-order epistemic planning
• Multimodal logic programming
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• scientific article; zbMATH DE number 88995 (Why is no real title available?)
• Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
• Computational Logic in Multi-Agent Systems
• Programming rational agents in a modal action logic

Describes a project that uses

Uses Software

• KARO
• AgentSpeak

This page was built for publication: Reasoning About Epistemic States of Agents by Modal Logic Programming

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