In this paper we are concerned with the application of sensor-mediated programmable automation to material-handling, inspection, and assembly operations in batch-produced, discrete-part manufacturing.
A unified framework for 3-D shape reconstruction allows us to combine image-based and geometry-based information sources. The image information is akin to stereo and shape-from-shading, while the geometric information may be provided in the form of 3-D points, 3-D features or 2-D silhouettes.
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 expressive power by allowing the specification of a causal theory.
This paper evaluates the capabilities of natural language processing systems against these requirements and identifies crucial areas for future research in language processing, common-sense reasoning, and their coordination.
We describe an approach to abductive reasoning called weighted abduction, which uses inference weights to compare competing explanations for observed behavior. We present an algorithm for computing a weighted-abductive explanation, and sketch a model-theoretic semantics for weighted abduction.
In this paper, we address the problem, ``What makes an answer appropriate?’’ We do so by investigating indirect answers to questions in task-oriented dialogues.
When people produce a discourse, what needs are they responding to when they make it coherent, and what form does this coherence take? In this paper, it is argued that coherence can be characterized in terms of a set of ``coherence relations’’ between segments of a discourse.
Jerome F. Thomere, Vinay K. Chaudhri, & Peter Karp
This document describes a language for ontology exchange. The language, called XOL, is designed to provide a format for exchanging ontology definitions among a set of interested parties.
