SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS

被引：77
作者：
Bosse, Tibor [1 ]
Jonker, Catholijn M. [2 ]
Van der Meij, Lourens [1 ]
Sharpanskykh, Alexei [1 ]
Treur, Jan [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
[2] Delft Univ Technol, Dept Mediamet, Man Machine Interact Grp, NL-2628 CD Delft, Netherlands
来源：
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS | 2009年 / 18卷 / 01期
关键词：
Specification language; verification tools; dynamics; agent model; SHARED EXTENDED MIND; REPRESENTATIONAL CONTENT; SIMULATION; LOGIC;
D O I：
10.1142/S0218843009001987
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) for the formal specification and analysis of dynamic properties of agents and multi-agent systems. This language supports the specification of both qualitative and quantitative aspects, and therefore subsumes specification languages based on differential equations and qualitative, logical approaches. A software environment has been developed for TTL, which supports editing TTL properties and enables the formal verification of properties against a set of traces. The TTL environment proved its value in a number of projects within different biological, cognitive and social domains.
引用
收藏
页码：167 / 193
页数：27
相关论文
共 40 条
  • [11] Bosse T, 2005, LECT NOTES ARTIF INT, V3476, P270
  • [12] A language and environment for analysis of dynamics by simulation
    Bosse, Tibor
    Jonker, Catholijn M.
    Van der Meij, Lourens
    Treur, Jan
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2007, 16 (03) : 435 - 464
  • [13] Simulation and analysis of adaptive agents: An integrative modeling approach
    Bosse, Tibor
    Jonker, Catholijn M.
    Treur, Jan
    [J]. ADVANCES IN COMPLEX SYSTEMS, 2007, 10 (03): : 335 - 357
  • [14] Formal analysis of trace conditioning
    Bosse, Tibor
    Jonker, Catholijn M.
    Los, Sander A.
    van der TorreC, Leendert
    Treur, Jan
    [J]. COGNITIVE SYSTEMS RESEARCH, 2007, 8 (01) : 36 - 47
  • [15] Collective representational content for shared extended mind
    Bosse, Tibor
    Jonker, Catholijn M.
    Schut, Martijn C.
    Treur, Jan
    [J]. COGNITIVE SYSTEMS RESEARCH, 2006, 7 (2-3) : 151 - 174
  • [16] BROY M, 1995, LNCS, V1009
  • [17] Reasons, robots and the extended mind
    Clark, A
    [J]. MIND & LANGUAGE, 2001, 16 (02) : 121 - 145
  • [18] Clark A., 1997, Being There: Putting Brain, Body and World Together Again
  • [19] Integration of behavioural requirements specification within compositional knowledge engineering
    Damian, DEH
    Jonker, CM
    Treur, J
    Wijngaards, NJE
    [J]. KNOWLEDGE-BASED SYSTEMS, 2005, 18 (07) : 353 - 365
  • [20] Logics for hybrid systems
    Davoren, JM
    Nerode, A
    [J]. PROCEEDINGS OF THE IEEE, 2000, 88 (07) : 985 - 1010
1234