Modeling and shadowing paraconsistent BDI agents

DOI10.1007/S10472-023-09902-WMaRDI QIDQ6634281zbMATH OpenFDO

Authors Barbara Dunin-Kȩplicz, Andrzej Szałas

Publication date 7 November 2024

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10472-023-09902-W

zbMATH Keywords

beliefs-desires-intentions modelsdoxastic reasoningparaconsistent reasoningreasoning by queryingshadowing

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Multi-agent systems (93A16)

Recommendations

• Decision procedures for BDI logics
• scientific article; zbMATH DE number 2087356
• scientific article; zbMATH DE number 1754695
• Managing different sources of uncertainty in a BDI framework in a principled way with tractable fragments
• A graded BDI agent model to represent and reason about preferences

Cites work

• A logic of intention and attempt
• A paraconsistent approach to actions in informationally complex environments
• A paraconsistent logic programming approach for querying inconsistent databases
• AGM 25 years. Twenty-five years of research in belief change
• AGM-like paraconsistent belief change
• Decision procedures for BDI logics
• Handbook of paraconsistency
• scientific article; zbMATH DE number 1678421 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 1028817 (Why is no real title available?)
• scientific article; zbMATH DE number 2226184 (Why is no real title available?)
• Intention is choice with commitment
• Logical theories of intention and the database perspective
• On notation for ordinal numbers
• On programming KARO agents
• The complexity of belief update
• The logic of paradox
• The value of the four values

This page was built for publication: Modeling and shadowing paraconsistent BDI agents

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