Artificial intelligence publications
-
Metarules as Meta-Node-Admissibility Conditions
Meta-rule phrase structure grammars (MPS grammars ) have been shown to be an extremely powerful formalism in need of constraints from both the computational and the linguist points of view.
-
The Relax Image Relaxation System: Description and Evaluation
The purpose of the IU Testbed is to provide a means for transferring technology from the DARPA-sponsored program to DMA and other organizations in the defense community.
-
Applied Logic – It’s use and implementation as a programming tool
The ideas are illustrated by describing in detail one sizable prologue program which implements a simple compiler the advantages and practicability of using prologue for real compiler implementation are discussed.
-
A Prolegomenon to Situation Semantics
An attempt is made to compare Computational Linguistics with Situational Semantics.
-
A Representation Of Time For Planning
A new time representation is described that allows a continuously changing world to be represented, so that queries about the truth of a proposition at an instant or over an…
-
Preface
A Preface by David Israel relates these chapters tothe general considerations of philosophers and psycholinguists.
-
Interpreting Network Formalisms
The author attempts to sketch adequate semantic accounts for at least two (kinds of) semantic network formalisms; one, based on the notion of inheritance, one, not.
-
Evidential Reasoning: A Developing Concept
Here we present our current understanding of this problem and some partial solutions. We conclude that evidential reasoning requires both a method for pooling multiple bodies of evidence to arrive…
-
Modeling and Using Physical Constraints In Scene Analysis
This paper describes the results obtained in a research program ultimately concerned with deriving a physical sketch of a scene from one or more images. Our approach involves modeling physically…
-
A View Of The Fifth Generation and Its Impact
In October 1981, Japan announced a national project to develop highly innovative computer systems for the 1990s, with the title "Fifth Generation Computer Systems".
-
Parallelism in Planning and Problem Solving: Reasoning About Resources
This paper describes and presents some new techniques that are implemented in an actual planning system and are useful in seeking solutions to these problems.
-
A Probabilistic Model For Uncertain Problem Solving
The model presented is a probabilistic generalization of the familiar notion of problem space. The specification of uncertain states and unreliable operators is discussed.