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 条
  • [1] Modal languages and bounded fragments of predicate logic
    Andreka, H
    Nemeti, I
    van Benthem, J
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1998, 27 (03) : 217 - 274
  • [2] [Anonymous], 2001, Modal and Temporal properties of processes
  • [3] [Anonymous], 2001, Model checking
  • [4] [Anonymous], 2011, Philosophy of mind
  • [5] [Anonymous], 1996, IMPERATIVE FUTURE PR
  • [6] Qualitative and quantitative simulation: bridging the gap
    Berleant, D
    Kuipers, BJ
    [J]. ARTIFICIAL INTELLIGENCE, 1997, 95 (02) : 215 - 255
  • [7] REPRESENTATIONAL CONTENT IN HUMANS AND MACHINES
    BICKHARD, MH
    [J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1993, 5 (04) : 285 - 333
  • [8] Bonabeau M. E., 1999, SWARM INTELLIGENCE N
  • [9] Formalization and analysis of reasoning by assumption
    Bosse, T
    Jonker, CM
    Treur, J
    [J]. COGNITIVE SCIENCE, 2006, 30 (01) : 147 - 180
  • [10] Simulation and analysis of a shared extended mind
    Bosse, T
    Jonker, CM
    Schut, MC
    Treur, J
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2005, 81 (10): : 719 - 732
1234