Artificial intelligence publications

Evidential reasoning is a body of techniques that supports automated reasoning from evidence. It is based upon the Dempster-Shafer theory of belief functions. Both the formal basis and a framework…

Pure mathematical semantics is either a part of or an application of mathematical logic. Real semantics, even though an application of mathematical logic, is a part of the theory of meaning or content.

In this paper, we describe a compilation-based method for automatically generating new programs and new universal attachments to those programs given a base set of existing programs and universal attachments.

This paper describes this new extension and the new applications of the planner. One of these applications is the problem of producing products from raw materials on process lines under…

In this paper we offer a probabilistic interpretation of a simple assumption that disambiguates decision problems represented with belief functions. We prove that it yields expected values identical to those…

This paper presents criteria for evaluating AI planners; these criteria fall into three categories: (1) performance issues, (2) representational issues, and (3) communication issues.

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

We report on a mechanism for semantic and pragmatic interpretation that has been designed to take advantage of the generally compositional nature of semantic analysis, without unduly constraining the order…

Over the past eight years, the Artificial Intelligence Center at SRI International has been developing new technology to address the problem of automated information management within real-world contexts. The result…

This report surveys literature and research in the field of distributed artificial intelligence (DAI) and provides an overview of computer architectures particularly suited to such research. It concentrates on work…