Publications
-
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…
-
Hierarchic Autoepistemic Theories For Nonmonotonic Reasoning: Preliminary Report
We propose a method of nonmonotonic reasoning in which the notion of inference from specific bodies of evidence plays a fundamental role. The formalization is based on autoepistemic logic, but…
-
Dimensions of interaction: AAAI-90 presidentional address
The challenge for AI for the decade is to deal with the issues of interaction.
-
Teamwork
In this paper, we argue that a joint activity is one that is performed by individuals sharing certain specific mental properties. We then show how these properties affect and are…
-
Design for conversation: lessons from Cognoter
When studying the use of Cognoter, a multi-user idea organizing tool, we noticed that users encountered unexpected communicative breakdowns.
-
Information and Architecture
This paper is a continuation of [1] and builds on both the theory and the terminology of that earlier work.
-
Artificial intelligence methods for theory representation and hypothesis formation
This article describes artificial intelligence methods for representing theories in molecular biology, and for improving the predictive power of these theories using experimental data.