Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
A plan-based analysis of indirect speech acts
Computational Linguistics
Recognition of the intention to perform a procedure: a method based on probabilities
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Activity recognition with intended actions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Norms, institutional power and roles: towards a logical framework
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Ability in a multi-agent context: a model in the situation calculus
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Intention recognition in the situation calculus and probability theory frameworks
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
On supervising agents in situation-determined ConGolog
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
| Hi-index | 0.00 |
We briefly recall the basic notions of the Situation Calculus and of the programing language GOLOG. Then, it is shown that typical procedures, like procedures performed by pilots in the field of aeronautics, do not have the same status as programs. In particular they may specify that some actions should not be performed. The GOLOG language is extended to fit these differences, and the semantics of the extended language is defined in the Situation Calculus. In the following we introduce the predicate Doing(&agr;,s,s') which characterises the fact that the execution of the procedure &agr; has started and not ended between the observed situations s and s'. That gives a logical answer to the question posed in the title.We present an implementation in PROLOG that recognises procedures that satisfy the Doing predicate. Also, an interface allows to simulate the actions performed by a pilot and shows the procedures that have been recognised.The presented results can be used to define a method to select among the recognised procedures, the procedure that can be assigned to pilot's intention. The results are not specific to the application domain and can be applied to the interactions among any kinds of agents.