Specifying and reasoning about uncertain agents

DOI10.1016/J.IJAR.2007.08.003MaRDI QIDQ2379313zbMATHOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 19 March 2010

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2007.08.003

zbMATH Keywords

decision procedureprobabilistic modal logicagentsknowledge and belief

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Agent technology and artificial intelligence (68T42)

Recommendations

• Logics in Artificial Intelligence
• Towards an Epistemic Logic for Uncertain Agents
• A Complete Probabilistic Belief Logic
• Multiagent reasoning with probability, time, and beliefs
• A logic for specifying agent actions and observations with probability

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 591047 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• A logic for reasoning about probabilities
• A logic to reason about likelihood
• In conjunction with qualitative probability
• Logic and Probability
• Modal logic
• Modal operators with probabilistic interpretations. I
• Probabilistic logic
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• Some probability logics with new types of probability operators
• Specifying and reasoning about uncertain agents
• The relationship between knowledge, belief, and certainty

Cited in

(9)

• A logic for specifying stochastic actions and observations
• Specifying and reasoning about uncertain agents
• Combined model checking for temporal, probabilistic, and real-time logics
• A computationally grounded, weighted doxastic logic
• Logics in Artificial Intelligence
• The independent choice logic for modelling multiple agents under uncertainty
• Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
• Towards an Epistemic Logic for Uncertain Agents
• A logic for specifying agent actions and observations with probability

This page was built for publication: Specifying and reasoning about uncertain agents

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