资源分类
》 资源 》论文》Modeling Attempt and Action Failure in Probabilistic stit Logic

Modeling Attempt and Action Failure in Probabilistic stit Logic

2019-11-12 | |  46 |   37 |   0
Abstract We de?ne 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.

上一篇：Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete Fe?lix Bou Marco Cerami and Francesc Esteva

下一篇：A Practical Automata-Based Technique for Reasoning in Expressive Description Logics?

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...