Specifying and reasoning about uncertain agents

DOI10.1016/j.ijar.2007.08.003zbMath1184.68502OpenAlexW2019917492WikidataQ98283758 ScholiaQ98283758MaRDI QIDQ2379313

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

agentsdecision procedureprobabilistic modal logicknowledge and belief

Mathematics Subject Classification ID

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

Related Items (3)

A computationally grounded, weighted doxastic logic ⋮ Specifying and reasoning about uncertain agents ⋮ Combined model checking for temporal, probabilistic, and real-time logics

Cites Work

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

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