Artificial intelligence publications
-
Behavioral Specification and Planning for Multiagent Domains
This report discusses a new approach to the specification of properties of multiagent environment and the generation of plans for such domains.
-
Experimental Robot Psychology
Here I propose an approach that I call it experimental robot psychology because it involves formalizing and reasoning about the design of existing robot agents. It shows promise of yielding…
-
Formal Theories Of Knowledge In AI and Robotics
The machine is regarded as knowing a fact if its state either explicitly encodes the fact as a sentence of an interpreted formal language or if such a sentence can…
-
The Origin Of The Binary-Search Paradigm
The paper considers how such algorithms might be derived from their specifications by an automatic program-synthesis system. The derivation of the binary-search concept has been found to be surprisingly straightforward.
-
Review of ‘The Logic of Mind’
Turing focused on the computable real numbers, not on the nature and extent of the computable functions of natural numbers. In the last two sections of the paper (plus the…
-
A Short Companion to the Naive Physics Manifesto
-
Communication and Interaction In Multi-Agent Planning
A method for synthesizing multi-agent plans from simpler single-agent plans is described. The idea is to insert communication acts into the single-agent plans so that agents can synchronize activities and…
-
Automated Deduction By Theory Resolution
Theory resolution constitutes a set of complete procedures for incorporating theories into a resolution theorem-proving program, thereby making it unnecessary to resolve directly upon axioms of the theory. This can…
-
Monitoring the Execution of Plans in SIPE
In real-world domains (a mobile robot is used as a motivating example), things do not always proceed as planned. Therefore it is important to develop better execution-monitoring techniques and replanning…
-
Tablog: The Deductive-Tableau Programming Language
TABLOG (Tableau Logic Programming Language) is a language based on first-order predicate logic with equality that combines functional and logic programming. TABLOG incorporate advantages of LISP and PROLOG.
-
An AI Approach to Information Fusion
-
Belief and Incompleteness
Two artificially intelligent (AI) computer agents begin to play a game of chess, and the following conversation ensues: S1: Do you know the rules of chess? S2: Yes. S1: Then…