Modeling attempt and action failure in probabilistic stit logic

Authors:
Jan Broersen
Affiliations:
Utrecht University, Department of Information and Computing Sciences, Utrecht, The Netherlands
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Year:
2011

Citing 7
Cited 2

Temporal and modal logic

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

Modal logic
Alternating-time temporal logic

Journal of the ACM (JACM)
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

Probabilistic action and deontic logic

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A computationally grounded dynamic logic of agency, with an application to legal actions

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science

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. The formalism enables us to express the notion of 'attempt' as a choice exertion that maximizes the chance of success with respect to an action effect. The notion of attempt (or effort) is central in philosophical and legal discussions on responsibility and liability.