Probabilistic stit logic

Authors:
Jan M. Broersen
Affiliations:
Department of Information and Computing Sciences, Utrecht University, The Netherlands
Venue:
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Year:
2011

Citing 6
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Modal logic

Modal logic
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Journal of Logic and Computation
A normal simulation of coalition logic and an epistemic extension

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
A temporal logic for Markov chains

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Conflicting obligations in multi-agent deontic logic

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define an extension of stit logic that encompasses subjective probabilities representing beliefs about simultaneous choice exertion of other agents. This semantics enables us to express that an agent sees to it that a condition obtains under a minimal chance of success. We first define the fragment of XSTIT where choice exertion is not collective. Then we add effect probability lower bounds to the stit syntax, and define the semantics in terms of subjective probabilities concerning choice exertion of other agents. We show how the resulting probabilistic stit logic faithfully generalizes the non-probabilistic XSTIT fragment.