Sciweavers

IJCAI
1993
13 years 9 months ago
Provably Bounded Optimal Agents
Since its inception, arti cial intelligence has relied upon a theoretical foundation centred around perfect rationality as the desired property of intelligent systems. We argue, a...
Stuart J. Russell, Devika Subramanian, Ronald Parr
IJCAI
1993
13 years 9 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
IJCAI
1993
13 years 9 months ago
Critical Reasoning
Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
IJCAI
1993
13 years 9 months ago
Multiple Predicate Learning
We study multiple predicate learning in an empirical setting. Problems with existing inductive logic programming approaches in this setting are sketched and an empirical ILP syste...
Luc De Raedt, Nada Lavrac, Saso Dzeroski
IJCAI
1993
13 years 9 months ago
Domain Filtering can Degrade Intelligent Backtracking Search
This paper presents an improved backjumping algonthm for the constraint satisfaction problem, namely conflictdirected backjumping (CBJ). CBJ is then modified such that it can dete...
Patrick Prosser
IJCAI
1993
13 years 9 months ago
Genetic State-Space Search for Constrained Optimization Problems
This paper introduces GSSS (Genetic State-Space Search). The integration of two general search paradigms — genetic search and state-space-search provides a general framework whi...
Jan Paredis
IJCAI
1993
13 years 9 months ago
A Scheme for Agent Collaboration in Open Multiagent Environments
In multiagent planning, an agent sometimes needs to collaborate with others to construct complex plans, or to accomplish large organizational tasks which it cannot do alone. Since...
Eiichi Osawa