Modeling Attempt and Action Failure in Probabilistic STIT Logic

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.

Cite

Text

Broersen. "Modeling Attempt and Action Failure in Probabilistic STIT Logic." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-139

Markdown

[Broersen. "Modeling Attempt and Action Failure in Probabilistic STIT Logic." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/broersen2011ijcai-modeling/) doi:10.5591/978-1-57735-516-8/IJCAI11-139

BibTeX

@inproceedings{broersen2011ijcai-modeling,
  title     = {{Modeling Attempt and Action Failure in Probabilistic STIT Logic}},
  author    = {Broersen, Jan M.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {792-797},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-139},
  url       = {https://mlanthology.org/ijcai/2011/broersen2011ijcai-modeling/}
}