Publications
-
The Role Of Natural Language In A Multimodal Interface
This paper presents an interface that blends natural language processing and direct manipulation technologies, using each for their characteristic advantages. Specifically, the paper shows how to use natural language to…
-
Artificial Intelligence Techniques for Construction Planning
This paper highlights the limitations of existing project planning tools, illustrates the power of AI techniques in the construction planning domain through a summary and critique of previous and current…
-
The Tacitus System: The Muc-3 Experience
We describe and evaluate a method for dealing with unknown words and a method for filtering out sentences irrelevant to the task. Each of these techniques has been evaluated, and…
-
Katz and Postal on Realism in Linguistics
The ruling idea behind Katz and Postal, is that with respect to linguistics and linguistic objects, as with Mathematics and mathematical objects, there are three basic philosophies: nominalism, conceptualism, and…
-
CLOS: integrating object-oriented and functional programming
This article explores the landscape in which the major object-oriented facilities exist, showing how the CLOS solution is effective within the two contexts.
-
Quantification In Autoepistemic Logic
Here we look at quantification in auto-epistemic logic, which is a modal logic of self-knowledge. We propose several different semantics, all based on the idea that having beliefs about an…
-
Actions and Movements
We present an account of action whose main features are that actions are content properties that agents have in virtue of (i) the bodily movements they effect and (ii) the…
-
Working Notes On PARADISE Chess Patterns
This report contains primarily data and is intended for people writing pattern-based game-playing programs who wish to know the details of the patterns in PARADISE.
-
Metaphor and Abduction
In this paper a recent approach to inference in text understanding based on abduction is applied to the problem of metaphor interpretation. The fundamental ideas in the "interpretation as abduction"…
-
Resolution for Epistemic Logics
In this paper we report on a resolution proof method for logics of belief that is suitable for automatic reasoning in commonsense domains.
-
Integrated Interfaces For Decision-Support With Simulation
We examine the weaknesses inherent in graphical user interfaces to support these users of simulation for short-term situation assessment and scenario evaluation, a style of problem solving characteristic of military…
-
Abduction Vs. Closure In Causal Theories
Starting with a causal theory, explanations can be generated either by abductive reasoning, or by adding closure axioms and minimizing causation within a deductive framework. The latter method is strictly…