Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts

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

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01
Editors	Y Demazeau
Publication status	Published - 2001

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 16 Peace, Justice and Strong Institutions

Access to Document

https://pdfs.semanticscholar.org/7adc/7af12632cb8b8fc24f9cb19cbb6d739b75cf.pdf?_ga=2.87809624.1931980301.1503647007-408282021.1493102568

Persistent URL (handle)

Persistent link

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 https://pdfs.semanticscholar.org/7adc/7af12632cb8b8fc24f9cb19cbb6d739b75cf.pdf?_ga=2.87809624.1931980301.1503647007-408282021.1493102568

@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. <https://pdfs.semanticscholar.org/7adc/7af12632cb8b8fc24f9cb19cbb6d739b75cf.pdf?_ga=2.87809624.1931980301.1503647007-408282021.1493102568>

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 proceeding › Conference contribution › Academic › peer-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 -

Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts

Abstract

UN SDGs

Access to Document

Persistent URL (handle)

Fingerprint

Cite this