Abstract
We present a domain-independent reasoning system that is able to perform hypothetical reasoning. A person working with our system may raise hypotheses, request the system to reason from them, adding the results obtained to a knowledge base, and may discard any of the hypotheses raised, which automatically makes inacessible to the reasoning program every piece of knowledge depending on the hypothesis (or hypotheses) discarded.
The novelty of our approach to hypothetical reasoning lies in the way that we switch reasoning contexts. The system is able to return to a previous state of reasoning, without performing any backtracking at all. With our approach the system maintains several contexts, defined by different and even competing sets of hypotheses, may switch back and forth between contexts, and may compare results obtained in different contexts.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson A. and Belnap N., Entailment: The Logic of Relevance and Necessity Vol.1, Princeton University Press, 1975.
de Kleer J., “Choices without Backtracking”, Proc. AAAI-84, pp. 79–85.
Doyle J., “Truth Maintenance Systems for Problem Solving”, Technical Report AI-TR-419, Massachussets Institute of Technology, AI Lab., 1978
Doyle J., “A Truth Maintenance System”, Artificial Intelligence, Vol.12 No.3, pp.231–272, 1979.
Doyle J., “The Ins and Outs of Reason Maintenance”, Proc. IJCAI-83, pp.349–351.
Fitch F., Symbolic Logic: An Introduction, Ronald Press, 1952.
Goodwin J. W., “A Improved Algorithm for Non-Monotonic Dependency Net Update”, Research Report LiTH-MAT-R-82–2 3, Software Systems Research Center, Linkoping Institute of Technology, Sweden, August 1982.
Goodwin J.W., “WATSON: A Dependency Directed Inference System”, Proc. Non-Monotonic Reasoning Workshop, pp.103–114, 1984.
Lemmon E.J., Beginning Logic, Hackett Publishing Company, 178.
Martins J., “Reasoning in Multiple Belief Spaces”, Ph.D. Dissertation, Technical Report 203, Department of Computer Science, State University of New York at Buffalo, 1983.
Martins J. and Shapiro S., “Reasoning in Multiple Belief Spaces”, Proc. IJCAI-83, pp.370–373.
Martins J. and Shapiro S., “A Model for Belief Revision”, Proc. Non-Monotonic Reasoning Workshop, pp.241–294, American Association for Artificial Intelligence, 1984.
McAllester D., “A Three-valued Truth Maintenance System”, Technical Report Memo 473, Massacussets Institute of Technology, AI Lab., 1978.
McAllester D., “An Outlook on Truth-Maintenance”, AI Memo 551, Massachussets Institute of Technology, AI Lab., 1980.
McCawley J.D., Everything that Linguists have Always Wanted to know about Logic (but were ashamed to ask), The University of Chicago Press 1981.
McDermott D., “Data Dependencies on Inequalities”, Proc. AAAI-83, pp.266–269.
McKay D and Martins J., “Provisional SNePSLOG User’s Manual”, SNeRG Technical Note 4, Department of Computer Science, State University of New York at Buffalo, 1981.
Raulefs Pl, “Foundation of Expert Systems for Conceptional Design in Mechanical Engineering”, Memo SEKi-84–08, Fochbereich Informatik, Universitat Kaiserslautern, October 1984.
Rescher N., Hypothetical Reasoning, North-Holland Publishing Co., 1964.
Shapiro S., “The SNePS Semantic Network Processing System”, in Associative Networks, Findler (ed.), pp.179–203, Academic Press, 1979.
Shapiro S. and Wand M., “The Relevance of Relevance”, Technical Report No.46, Computer Science Department, Indiana University, 1976.
Thompson A., “Network Truth-Maintenance for Deduction and Modelling”, Proc. IJCAI-79, pp.877–879.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martins, J.P., Shapiro, S.C. (1986). Hypothetical Reasoning. In: Sriram, D., Adey, R. (eds) Applications of Artificial Intelligence in Engineering Problems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21626-2_83
Download citation
DOI: https://doi.org/10.1007/978-3-662-21626-2_83
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-21628-6
Online ISBN: 978-3-662-21626-2
eBook Packages: Springer Book Archive