Abstract
Most of the programs developed by AI researchers, suffer from two problems: (1) they do not take into account the fact of reasoning resources are limited; (2) and they remain silent (no answer is produced) whenever a definite answer cannot be produced.
The system described in this paper combines the use of resources with the capability of producing conditional answers. A conditional answer explicitly reveals the impediments that are responsible for the lack of a definite answer.
We present RR, an intelligent resource-bounded reasoner, whose resource manipulation is flexible enough to accommodate several resource representations and resource spending strategies. Since no commitments about the way resources are spent are made a priori, the process of consuming resources can be used to model non-omniscient, non-exhaustive reasoners.
The concepts explored by RR are being incorporated into the SNePS, the Semantic Network Processing System, and so improving (1) the way human reasoning can be modeled, and (2) its interface with the outside world.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Anderson and N. Belnap, Entailment: The Logic of Relevance and Necessity 1 (Princeton University Press, Princeton, NJ, 1975).
N. Belnap, A useful four-valued logic, in: G. Epstein and J. Dunn, eds., Modern Uses of Multiple-Valued Logic (D. Reidel, Dordrecht, The Netherlands, 1977) 8–37.
D. Bobrow and T. Winograd, An overview of KRL, a knowledge representation language, Cognitive Science 1(1) (1977) 3–46.
G. Donlon, Using resource limited inference in SNePS, SNeRG Technical Note 10, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1982.
D. Driankov, Towards a many-valued logic of quantified belief, Ph.D. Thesis, Thesis 192, Department of Computer and Information Science, Linköping University, Linköping, Sweden, 1988.
R. Fagin and J. Halpern, Belief, awareness, and limited rea.-soning, Artificial Intelligence 34(1) (1987) 39–76.
O. Garcia and M. Moussavi, A six-valued logic for representing incomplete knowledge, in: Proceedings 20th International Symposium on Multiple-Valued Logic, Charlotte, NC (IEEE, 1990) 110–114.
J. Hintikka, Impossible possible worlds vindicated, Journal of Philosophical Logic 4 (1975) 475–484.
E. Horvitz, Reasoning under a varying and uncertain resource constraints, in: Proceedings AAAI-88, Saint Paul, MN (1988) 111–116.
N. Mamede and J. Martins, Expanding SNePS capabilities with LORE, in: D. Kumar, ed., Proceedings First Annual SNePS Workshop Buffalo, NY (Springer-Verlag, Berlin, 1990) 27–39.
N. Mamede and J. Martins, Bringing resources into logic, in: Proceedings 20th International Symposium on Multiple-Valued Logic, Charlotte, NC (IEEE, 1990) 220–227.
N. Mamede and J. Martins, Resource-bounded abduction, GIA Technical Report 90/4, Technical University of Lisbon, Lisbon, Portugal, 1990.
J. Martins, Reasoning in multiple belief spaces, Ph.D. Thesis, Technical Report 203, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1983.
J. Martins and S. Shapiro, A model for belief revision, Artificial Intelligence 35(1) (1988) 25–79.
E. Minicozzi and R. Reiter, A note on linear resolution strategies in consequence-finding, Artificial Intelligence 3(1–4) (1972) 175–180.
D. Mutchler, Optimal allocation of very limited search resources, in: Proceedings AAAI-86, Philadelphia, PA (1986) 467–471.
Reiter R. and J. de Kleer, Foundations of assumption-based truth maintenance systems: Preliminary Report, in: Proceedings AAAI-87, Seattle, WA (1987) 183–188.
J. Slagle, C. Chang and R. Lee, Completeness theorem-s for semantic resolution in consequence-finding in: Proceedings IJCAI-69, Washington, D.C. (1969) 281–285.
W. Swartout, XPLAIN A system for creating and explaining expert consulting programs, Artificial Intelligence 21(3) (1983) 285–325.
T. Winograd, Extended inference modes in reasoning by computer systems, Artificial Intelligence 13(1) (1980) 5–26.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag London Limited
About this paper
Cite this paper
Mamede, N.J., Martins, J.P. (1991). RR — An Intelligent Resource-Bounded Reasoner. In: Steels, L., Smith, B. (eds) AISB91. Springer, London. https://doi.org/10.1007/978-1-4471-1852-7_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1852-7_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19671-6
Online ISBN: 978-1-4471-1852-7
eBook Packages: Springer Book Archive