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

Social Context
External Representations
Grounding
Language
Intentions

Cite this

Jonker, C. M., Treur, J., & de Vries, W. (2001). Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts. In Y. Demazeau (Ed.), Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01
Jonker, C.M. ; Treur, J. ; de Vries, W. / Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts. Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. editor / Y Demazeau. 2001.
@inproceedings{1d3001ee1da34ccab94698888ec917a0,
title = "Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts",
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.",
author = "C.M. Jonker and J. Treur and {de Vries}, W.",
year = "2001",
language = "English",
editor = "Y Demazeau",
booktitle = "Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01",

}

Jonker, CM, Treur, J & de Vries, W 2001, Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts. in Y Demazeau (ed.), Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01.

Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts. / Jonker, C.M.; Treur, J.; de Vries, W.

Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. ed. / Y Demazeau. 2001.

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

TY - GEN

T1 - Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts

AU - Jonker, C.M.

AU - Treur, J.

AU - de Vries, W.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

M3 - Conference contribution

BT - Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01

A2 - Demazeau, Y

ER -

Jonker CM, Treur J, de Vries W. Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts. In Demazeau Y, editor, Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. 2001