Abstract
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as discussed in literature in cognitive science and philosophy of mind shows complications as soon as agent and environment have an intense reciprocal interaction. In such cases an internal agent state is affected by the way in which internal and external aspects are interwoven during (ongoing) interaction. In this paper it is shown that the classical correlational approach to representational content is not applicable, but the temporal-interactivist approach is. As this approach involves more complex temporal relationships, formalisation was used to define specifications of the representational content more precisely. These specifications have been validated by automatically checking them on traces generated by a simulation model. More-over, by mathematical proof it was shown how these specifications are entailed by the basic local properties. © Springer-Verlag Berlin Heidelberg 2005.
Original language | English |
---|---|
Title of host publication | Declarative Agent Languages and Technologies II. DALT 2004. |
Publisher | Springer/Verlag |
Pages | 270-288 |
Number of pages | 19 |
Volume | 3476 |
ISBN (Electronic) | 978-3-540-31927-6 |
ISBN (Print) | 978-3-540-26172-8 |
DOIs | |
Publication status | Published - 2005 |
Event | 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 - New York, United States Duration: 19 Jul 2004 → 19 Jul 2004 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 3476 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Workshop
Workshop | 2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 |
---|---|
Country/Territory | United States |
City | New York |
Period | 19/07/04 → 19/07/04 |
Bibliographical note
DALT04Proceedings title: Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies (DALT'04)
Publisher: Springer Verlag
Editors: Joao Leite, Andrea Omincini, Paulo Torroni, P. Yolum