A temporal modelling environment for internally grounded beliefs, desires and intentions

Authors:
Catholijn M. Jonker;Jan Treur;Wouter C. A. Wijngaards
Affiliations:
Department of AI, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;Department of AI, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands and Utrecht University, Utrecht, The Netherlands;Department of AI, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Venue:
Cognitive Systems Research
Year:
2003

Citing 4
Cited 16

Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Mind as motion: explorations in the dynamics of cognition

Mind as motion: explorations in the dynamics of cognition
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A Survey of Concurrent METATEM - the Language and its Applications

ICTL '94 Proceedings of the First International Conference on Temporal Logic

Representational Content and the Reciprocal Interplay of Agent and Environment

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Modeling Adaptive Dynamical Systems to Analyze Eating Regulation Disorders

Simulation
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents

ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Agent-oriented modeling of the dynamics of biological organisms

Applied Intelligence
A framework for formal modeling and analysis of organizations

Applied Intelligence
Modeling adaptive multi-agent organizations for naval missions

AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Towards Integration of Biological, Psychological and Social Aspects in Agent-Based Simulation of Violent Offenders

Simulation
Case analysis of criminal behaviour

IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Formal analysis of design process dynamics

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Patterns in world dynamics indicating agency

Transactions on computational collective intelligence III
Formal interpretation and analysis of collective intelligence as individual intelligence

MABS'05 Proceedings of the 6th international conference on Multi-Agent-Based Simulation
An agent-based meta-level architecture for strategic reasoning in naval planning

AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Simulation and analysis of shared extended mind

MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
Representational content and the reciprocal interplay of agent and environment

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The distributed weighing problem: a lesson in cooperation without communication

MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Formal modeling and analysis of organizations

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment is presented that can be used to specify, simulate and analyse temporal dependencies between mental states in relation to traces of them. If also relevant data on internal physical states over time are available, these can be analysed with respect to their relation to mental states as well.