Arrow Research search

Author name cluster

Gary C. Borchardt

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

3 papers
1 author row

Possible papers

3

AAAI Conference 1992 Conference Paper

Understanding Causal Descriptions of Physical Systems

  • Gary C. Borchardt

This paper introduces the causaZ reconstructa’ on taskthe task of reading a causal description of a physical system, forming an internal model of the specified behavior, and answering questions demonstrating comprehension and reasoning on the basis of the input description. A representation called transita’ on space is introduced, in which events are depicted as path fragments in a space of “transitions, ” or complexes of changes in the attributes of participating objects. By identifying partial matches between the transition space representations of events, a program called PATHFINDER is able to perform causal reconstruction on short causal descriptions presented in simplified English. Simple transformations applied to event representations prior to matching enable the program to bridge discontinuities arising from the writer’ s use of analogy or abstraction. The operation of PATHFINDER is illustrated in the context of a simple causal description extracted from the Encyclopedia Americana, involving exposure of film in a camera.

AAAI Conference 1987 Conference Paper

Incremental Inference: Getting Multiple Agents to Agree on What to Do Next

  • Gary C. Borchardt

This paper presents a symbolic reasoning algorithm for use in the construction of mixed-initiative inter&aces; that is, interfaces allowing several human or machine agents to share collectively the control of an ongoing, real-time activity. The algorithm, called Incremental Inference, is based on propositional logic and is related in structure to the Truth Maintenance System; however, the notion of justifications in the Truth Maintenance System is replaced with a simpler notion of recency. Basic properties of the Incremental Inference mechanism are described and compared with those of the Truth Maintenance System, and an example is provided drawn from the domain of SPEC- TRUM, a knowledge-based system for the geological interpretation of imaging spectrometer data.

IJCAI Conference 1985 Conference Paper

Event Calculus

  • Gary C. Borchardt

This paper presents Event Calculus**, a model for representing the identifying characteristics of physical events in terms of changes in a scene and time-related combinations of other physical events. The model is used to construct a knowledge-based system for event recognition which forms a high-level description of changes in a scene, given a low-level description as input. Time-varying information is represented in the form of "GRAPHs", data structures which plot the elements of various domains against time. Several varieties of operations are presented which map GRAPHs into GRAPHs, and representations of physical events are formed as symbolic expressions involving these operations. The paper concludes with an overview of the event recognition system, as implemented in INTERLISP on a VAX 11/780, and an example of a session with this system.