Abstract
We define a logical system with four values, the traditional truth values T and F and two “Unknown” values. An inference system based on this logic has the capability to remember all the paths followed during an attempt to answer a question. For each path it records the used hypotheses (the hypotheses that constitute the path), the missing hypothesis (when the path did not lead to an answer), and why it was assumed as missing. The inference system takes special care with missing hypotheses that are contradictory with any hypothesis that is being considered. An inference system with these capabilities can report the answers found and the reasons that prevented the inference of other potential answers. This capability can be used to plan reasoning, to perform default reasoning, and to reason about its own knowledge.
This work was partially supported by Fundação Luso Americana para o Desenvolvimento (FLAD), by Instituto de Engenharia de Sistemas e Computadores (INESC), and by Grant 87–107 of Junta Nacional de Investigação Científica e Tecnológica (JNICT).
This paper describes research done during the months of March, April and May 1989 at the Department of Computer Science, State University of New York at Buffalo.
Preview
Unable to display preview. Download preview PDF.
References
Ackermann R., An Introduction to Many-valued Logics, New York: Dover Publications Inc., 1967.
Belnap N., “A Useful Four-valued Logic”, in Modern Uses of Multi-valued Logic, G. Epstein and M. Dunn (ed.), Dordrecht: Reidel, 1977.
Bochvar D., “On Three-valued Logical Calculus and its Application to the Analysis of Contradictions", Matematiceskij Sbornik 4, pp. 353–369, 1939.
Golshani F., “Growing Certainty with Null Values”, Information Systems 10, No. 3, pp. 289–297, 1985.
Haack S., Philosophy of Logics, Cambridge, UK: Cambridge University Press, 1978.
Kleene S., Introduction to Metamathematics, New York: Van Nostrand, 1952.
Lukasiewicz J., “Many-Valued Systems of Propositional Logic”, in McCall (ed.), Polish Logic: 1920–1939, Oxford, pp. 16–18, 1930.
Mamede N. and Martins J., “Reasoning with the Unknown”, GIA Technical Report 89/3, Instituto Superior Técnico, Technical University of Lisbon, 1989.
Martins J., Reasoning in Multiple Belief Spaces, Ph.D. Dissertation, Technical Report 203, Department of Computer Science, SUNY at Buffalo, 1983.
Martins J. and Shapiro S., “A Model for Belief Revision”, Proceedings Non-Monotonic Reasoning Workshop, Menlo Park, CA: AAAI, pp. 241–294, 1984.
Martins J. and Shapiro S., “A Model for Belief Revision”, Artificial Intelligence 35, No. 1, pp. 25–79, 1988.
McKay D., “Monitors: Structuring Control Information”, Thesis proposal, Department of Computer Science, SUNY at Buffalo, 1981.
Rescher N., “Quasi-Truth-Functional Systems of Propositional Logic”, The Journal of Symbolic Logic, 27, No. 1, pp. 1–10, 1962.
Rescher N., Many-valued Logic, McGraw-Hill, 1969.
Shapiro S., personal communication, 1989
Turner R., Logics for Artificial Intelligence, Chichester, UK: John Wiley & Sons, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mamede, N.J., Pinto-Ferreira, C., Martins, J.P. (1989). Reasoning with the unknown. In: Martins, J.P., Morgado, E.M. (eds) EPIA 89. EPIA 1989. Lecture Notes in Computer Science, vol 390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51665-4_76
Download citation
DOI: https://doi.org/10.1007/3-540-51665-4_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51665-1
Online ISBN: 978-3-540-46743-4
eBook Packages: Springer Book Archive