---
title: "The Ins and Outs of Reason Maintenance"
authors:
  - "Jon Doyle"
doi: ""
url: "https://ijcai.org/proceedings/1983/82"
pdf: "https://ijcai.org/proceedings/1983/0082.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "349-350"
track: "Knowledge Representation"
keywords:
---

# The Ins and Outs of Reason Maintenance

Jon Doyle

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 349-350.

## Abstract

To progre ss 8ignifi ca.nt. ly beyond current reason maintenance systems, we must formulat e their structure an d intended behavior precisely "nough t.o :malyzc comp utational complexities and trad cotls independently of the c urr en t set, of limitcil implcmeotation propom1.ls. This pa per sum marizes one ::such formula.i.ion, and indi ca tes somt~ unsolved practical problems for investigation in future reason maintenance systems.