Artificial intelligence publications

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…

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.

We present an alternative evidentially-based approach to reasoning about control that enables us to reason from limited and imperfect information; to partition bodies of meta- and domain-knowledge into modular components;…

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…

This paper surveys three possible applications of logic in AI: as an analytical tool, as a knowledge representation formalism, and as a programming language.

Our purpose here is to make this material more readily available by extracting and reprinting those sections of the reports that seem particularly interesting, relevant and important.

This paper discusses the use of artificial intelligence techniques for integrating multi-source information in the process of assessing and understanding an ongoing situation.

Some claim that AI is not really very different from other technologies that have supported automation and increased productivity–technologies such as mechanical engineering, electronics, control engineering, and operations research.

The method described in the present paper combines logic with probability theory in such a way that probabilistic logical entailment reduces to ordinary logical entailment when the probabilities of all…

It has been said many times that semantic nets are mere notational variants of predicate calculus. But before we lay down our nets, we ought at least to be clear…

A group that ultimately grew into a major world center of artificial intelligence research, a center that has endured twenty-five years of boom and bust in fashion, has "graduated" over…