Sciweavers

4229 search results - page 248 / 846
» Modeling Human Intelligence as A Slow Intelligence System
Sort
View
AUSAI
2009
Springer
16 years 1 months ago
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
Xiaowei Huang, Ron van der Meyden
AOSE
2006
Springer
15 years 8 months ago
An Agent-Environment Interaction Model
This paper develops a model for precisely defining how an agent interacts with objects in its environment through the use of its capabilities. Capabilities are recursively defined ...
Scott A. DeLoach, Jorge L. Valenzuela
AAAI
1993
15 years 7 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip
ATAL
2006
Springer
15 years 10 months ago
Agent interaction in distributed POMDPs and its implications on complexity
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
Jiaying Shen, Raphen Becker, Victor R. Lesser
ABIALS
2008
Springer
16 years 27 days ago
A Two-Level Model of Anticipation-Based Motor Learning for Whole Body Motion
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
Camille Salaün, Vincent Padois, Olivier Sigau...