Abstract
The crucial part of uncertain reasoning is not the process of forming a best conclusion from the facts known so far, but rather of knowing where to turn when those facts fall short. When confronted by a paradox such as the Nixon Diamond, or the Yale shooting problem, commonsense dictates that more information is required. We argue that while the concept of minimal knowledge is in some sense fundamental, adherence to it does not reflect the real world in which additional knowledge is always available. That is, knowledge outside the formal theory can always be obtained and brought to bear in decision-making. A question such as the Nixon Diamond has no ‘commonsense’ solution without appealing to further relevant information. Commonsense logic systems should therefore incorporate techniques which can ‘ask for more information’.
This paper presents a reasoning architecture which would enable established techniques such as automated deduction to be integrated with search to provide a commonsense reasoning capability. Standard inferencing methods are enhanced by the ability to identify, seek and incorporate new knowledge needed to bring the problem solving process to a successful close. Our proposed information architecture performs problem solving in conjunction with the user by detecting inadequacies or inconsistencies in the information being used and by asking directed questions for more information when such detections are made.
Preview
Unable to display preview. Download preview PDF.
References
J. E. Aisbett and G. G. Gibbon, “An Information Architecture for Problem Solving” Proc 8th Aust. Joint Conf. on AI, World Scientific, (1995), pp 427–434.
T. Axling and S. Haridi, “A tool for developing interactive configuration applications” J. Logic Programming, 26, (1996) pp 147–168.
J. Bachant and J. McDermott, R1 revisited: four years in the trenches. The Artificial Intelligence Magazine, 5 (3), Fall 1984.
A. Bundy, A science of reasoning. In Computational logic: Essays in Honour of Alan Robinson, ed. J-L Lassez and G. Plotkin. MIT Press, (1991) 178–197.
N. Friedman and J.Y. Halpern, Modeling belief in dynamic systems, Part I: Foundations, Artificial Intelligence, 95, (1997) 257–316.
P. Gärdenfors, Knowledge in flux: Modeling the dynamics of epistemic states, MIT Press (1988).
A. Garvey and V. Lesser, A Survey of Research in Deliberative Real-Time Artificial Intelligence. J. of Real-Time Systems, 6(3) (1994) 317–347.
G. G. Gibbon and N. Y. Foo,“Predicate Invention in a Model Identification Framework” Proc 6th Aust. Joint Conf. on AI, World Scientific, (1993), pp 65–70.
J. Grass and S. Zilberstein. Value-Driven Information Gathering. AAAI Workshop on Building Resource-Bounded Reasoning Systems, Providence, Rhode Island, (1997).
S. Hanks and D. V. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence., 33, (1987) 379–412.
Bill Havens, School of Computing Science, Simon Fraser University, Canada, IRIS Project IC-6: Intelligent Scheduling http://www.cs.ualberta.ca/~ai/IC-6/IC-6.html
K. Konolige, Circumscriptive ignorance. Proc. AAAI (1982) 202–204.
R. Guha and D. B. Lenat, “CYC: a midterm report” AI Magazine, Fall (1990) 33–59.
J. McCarthy, Applications of circumscription to formalizing common sense knowledge, Artificial Intelligence, 28, (1986) 89–116.
R. Moore, Semantical considerations on nonmonotonic logic, Art. Int., 25, 1 (1985) 75–94.
A. Newell and H. Simon, Computer science as empirical inquiry: symbols and search. Comm ACM 19, 3 (1976) 113–126.
J. Pearl, Heuristics: Intelligent strategies for computer problem solving. Reading Massachusetts Addison-Wesley. (1984).
R. Reiter, A logic for default reasoning, Artificial Intelligence., 13, 1, (1980) 81–132.
E. Y. Shapiro, Inductive Inference of theories from facts. TR 192. Dept. Comp. Sc, Yale University, Connecticut, 1981.
Y. Shoham, Reasoning about Change, MIT Press, Cambridge, Massachusetts (1988).
J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984.
D. A. Waterman, A guide to Expert Systems, Addison-Wesley, Reading, MA. (1986).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gibbon, G., Aisbett, J. (1998). Switching between reasoning and search. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. DAI 1997. Lecture Notes in Computer Science, vol 1441. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055022
Download citation
DOI: https://doi.org/10.1007/BFb0055022
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64769-0
Online ISBN: 978-3-540-68722-1
eBook Packages: Springer Book Archive