AAAI
1998
13 years 6 months ago
1998
qYaditionally, constraint satisfaction problems(CSPs) are characterized using a finite set of constraints expressed within a common,shared constraint language. Whenreasoning acros...
AAAI
1998
13 years 6 months ago
1998
AAAI
1998
13 years 6 months ago
1998
In [4], Freuderdefines several types of interchangeability to capture the equivalenceamongthe valuesof a variable in a discrete constraint satisfaction problem(CSP), and provides ...
AAAI
1998
13 years 6 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
AAAI
1998
13 years 6 months ago
1998
AAAI
1998
13 years 6 months ago
1998
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...
AAAI
1998
13 years 6 months ago
1998
We present a novel methodology for building humanlike artificially intelligent systems. We take as a model the only existing systems which are universally accepted as intelligent:...
AAAI
1998
13 years 6 months ago
1998
Weadvance a knowledge-based learning method that augments conventional generalization to permit concept acquisition in failure domains. These are domains in whichlearning must pro...
AAAI
1998
13 years 6 months ago
1998
This paper presents a motivational system for an autonomous robot which is designed to regulate human-robot interaction. The mode of social interaction is that of a caretaker-infa...
AAAI
1998
13 years 6 months ago
1998
RecentlyFtwo new backtracking algorithmsF dynamic backtracking (DB)and partial order dynamicbacktracking (PDB) have been presented. These algorithms have the property to be additi...