Specifying and reasoning about uncertain agents

DOI10.1016/J.IJAR.2007.08.003zbMATH Open1184.68502OpenAlexW2019917492WikidataQ98283758 ScholiaQ98283758MaRDI QIDQ2379313FDOQ2379313

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

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

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)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Probabilistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about knowledge and probability
• A logic for reasoning about probabilities
• Specifying and reasoning about uncertain agents
• Some probability logics with new types of probability operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal operators with probabilistic interpretations. I
• Some considerations on the logics P_FD A logic combining modality and probability
• A logic to reason about likelihood
• The relationship between knowledge, belief, and certainty
• Logic and Probability
• In conjunction with qualitative probability

Cited In (8)

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

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)