Introducing attempt in a modal logic of intentional action

Authors:
Emiliano Lorini;Andreas Herzig;Cristiano Castelfranchi
Affiliations:
Institute of Cognitive Sciences and Technologies-CNR, Rome, Italy;Institut de Recherche en Informatique de Toulouse (IRIT), France;Institute of Cognitive Sciences and Technologies-CNR, Rome, Italy
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 7
Cited 2

Intention is choice with commitment

Artificial Intelligence
A logical approach to the dynamics of commitments

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Dynamic Logic

Dynamic Logic
On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Action Concepts for Describing Organised Interaction

HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
The cognitive and behavioral mediation of institutions: Towards an account of institutional actions

Cognitive Systems Research

Trust and Norms in the Context of Computer Security: A Logical Formalization

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective

Trust in Agent Societies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The main objective of this work is to develop a multi-modal logic of Intention and Attempt. We call this logic LIA. All formal results are focused on the notion of attempt. We substitute the dynamic molecular notion action by his atomic constituent attempt and define the former from the latter. The relations between attempts, goals, beliefs and present-directed intentions are studied. A section of the paper is devoted to the analysis of the relations of our modal logic with a situation calculus-style approach.