Publications
-
Recognition By Parts
To have a general-purpose machine vision capability, we must be able to recognize things; we argue that most natural objects have a part structure that we can recover from image…
-
On McDermott’s First Critique
The first question to be answered is, What is logicism?’ McDermott outlines the logicist position as follows...
-
Using Causal Rules In Planning
Reasoning about actions necessarily involves tracking the truth of assertions about the world over time. The SIPE planning system retains the efficiency of the STRIPS assumption for this while enhancing…
-
Learning and Recognition In Natural Environments
We present a system for learning descriptions of objects, and for subsequently recognizing learned objects, that functions in outdoor, natural environments.
-
Separating Linguistic Analyses From Linguistic Theories
This paper explores the question of what level of linguistic practice is best suited for use in natural-language processing (NLP) efforts. In particular, I argue that because the goals and…
-
Automating Argument Construction for Intelligence Analysis
We have developed both a formal basis and a framework for implementating automated reasoning systems
-
Grammars and Logics Of Partial Information
This paper is an informal survey of models of grammatical categories in unification-based formalisms from computational linguistics and their relationship to current logic programming concepts. The basic notion of partiality…
-
Reasoning and Planning In Dynamic Domains: An Experiment With A Mobile Robot
In this paper, the reasoning and planning capabilities of an autonomous mobile robot are described. The reasoning system that controls the robot is designed to exhibit the kind of behavior…
-
A Prolog Technology Theorem Prover: Implementation By An Extended, Prolog Compiler
A Prolog technology theorem prover (PTTP) is an extension of Prolog that is complete for the full first-order predicate calculus. It differs from Prolog in its use of unification with…
-
Implicature and Definite Reference
An account is given of the appropriateness conditions for definite reference, in terms of the operations of inference and implicature. It is shown how a number of problematic cases noticed…
-
A Logical Approach To Reasoning By Analogy
We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically…
-
The Synthesis Of Digital Machines With Probable Epistemic Properties
Researchers using epistemic logic as a formal framework for studying knowledge properties of artificial-intelligence (AI) systems often interpret the knowledge formula to mean that machine encodes in its state as…