Sciweavers

3406 search results - page 9 / 682
» Modelling situations in intelligent agents
Sort
View
AAAI
1998
14 years 11 months ago
A Formal Methodology for Verifying Situated Agents
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
Phan Minh Dung
WSC
2004
14 years 11 months ago
Poly-Functional Intelligent Agents for Computer Generated Forces
The authors present the requirement definition and methodological approach for developing a new generation of Computer Generated Forces (CGF) based on Intelligent Agents. The anal...
Matteo Brandolini, Attilio Rocca, Agostino G. Bruz...
IAT
2008
IEEE
15 years 4 months ago
When the User Is Instrumental to Robot Goals: First Try - Agent Uses Agent
To create a robot with a mind of its own, we extended a formalized version of a model that explains affect-driven interaction with mechanisms for goaldirected behavior. We ran sim...
Johan F. Hoorn, Matthijs Pontier, Ghazanfar F. Sid...
78
Voted
ICCBR
2009
Springer
15 years 4 months ago
Case-Based Reasoning for Situation-Aware Ambient Intelligence: A Hospital Ward Evaluation Study
Abstract. Ambient intelligent systems are defined as being able to perceive their environment, being aware of the presence of people and other agents, and respond intelligently to...
Anders Kofod-Petersen, Agnar Aamodt