Sciweavers

1120 search results - page 21 / 224
» A Formal Framework for Interactive Agents
Sort
View
SEKE
2005
Springer
15 years 3 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 3 months ago
Formalizing Multi-Agent POMDP's in the context of network routing
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasie...
ICAIL
2003
ACM
15 years 3 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
IADIS
2004
14 years 11 months ago
Collaborative Task and Communication Protocol Among Pedagogical Agents in Teaching Task
In recent years, there are many educational systems which incorporate the agents such as pedagogical agents and peer agents, as a means to realize the teaching, coaching and suppo...
Ryo Takaoka, Toshio Okamoto
AUSAI
1998
Springer
15 years 1 months ago
A Formal Embedding of AgentSpeak(L) in 3APL
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
Koen V. Hindriks, Frank S. de Boer, Wiebe van der ...