Incremental inference: getting multiple agents to agree on what to do next

Authors:
Gary C. Borchardt
Affiliations:
Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA
Venue:
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Year:
1987

Citing 5
Cited 0

An assumption-based TMS

Artificial Intelligence
The use of meta-level control for coordination in a distributed problem solving network

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
The representation and use of focus in a system for understanding dialogs

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Deals among rational agents

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Taxonomic reasoning

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a symbolic reasoning algorithm for use in the construction of mixed-initiative interfaces; 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 SPECTRUM, a knowledge-based system for the geological interpretation of imaging spectrometer data.