Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts

C.M. Jonker, J. Treur, W. de Vries

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

In this paper a temporal trace language is defined in which formulae can be expressed that provide an external temporal grounding of intentional notions. Justifying conditions are presented that formalise criteria that a (candidate) formula must satisfy in order to qualify as an external representation of a belief, desire or intention. Using these conditions, external represenation formulae for intentional notions can be identified. Using these external representations, anticipatory reasoning about intentional dynamics can be performed.
Original languageEnglish
Title of host publicationMulti-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01
EditorsY Demazeau
Publication statusPublished - 2001

Fingerprint Dive into the research topics of 'Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts'. Together they form a unique fingerprint.

Cite this