Sciweavers

4229 search results - page 344 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
IAT
2005
IEEE
16 years 8 days ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...
MAAMAW
1999
Springer
15 years 11 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...
AUSAI
1997
Springer
15 years 10 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
149
Voted
KI
1997
Springer
15 years 10 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
ATAL
2008
Springer
15 years 8 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer