Abstract
In this paper, we formalize in logic the dichotomy between kernel (or hard) knowledge versus belt (or soft) knowledge introduced by Popper and Lakatos in the philosophical logic of scientific discovery. The logic we obtain, default ionic logic, generalizes Reiter's default logic to a continuous and monotonic reasoning system. Default ionic logic gives a solution so some well-known non-monotonic reasoning problems: Lottery paradox, weak implication, disjunctive information, default transformation, normal versus non-normal defaults, the Yale shooting problem and several of its variants, Haugh's Assassin problem, Kautz's Vanishing car problem, and Haugh's Robot problem.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Etherington D. Reasoning from incomplete information, Research notes in AI, Pitman, London (1987)
Hanks S., and McDermott D. Nonmonotonic logic and temporal projection, Artificial Intelligence 33, (1987), pp. 379–412
Konolige K. On the relation between default and autoepistemic logic, Artificial Intelligence 35, (1988), pp. 343–382
Lakatos I. Falsification and the methodology of scientific research programmes, in Problems in the Philosophy of Science, Lakatos and Musgrave (eds.), North Holland, Amsterdam (1970), pp. 91–196
Nait Abdallah M. A. The local approach to programming language theory, in Continuous Lattices and Their Applications, Hoffmann and Hofmann (eds.), Marcel Dekker, (1985), pp 219–236
Nait Abdallah M. A. An extended framework for default reasoning, Springer LNCS 380 (1989), pp. 339–348
Nait Abdallah M. A. Default ionic logic: A continuous framework for reasoning with partial information (1990), (University of Western Ontario)
Poole D. A logical framework for default reasoning, U. of Waterloo report CS-87-59 (1987)
Reiter R. A logic for default reasoning, Artificial Intelligence 13, (1980), pp. 81–132
Sombé L. Inférences non-classiques en intelligence artificielle in Actes des Journees Nationales Intelligence Artificielle, D. Pastre ed., Teknea (1988) pp. 137–230
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nati Abdallah, M.A. (1991). Kernel knowledge versus belt knowledge in default reasoning: A logical approach. In: Dehne, F., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '91. ICCI 1991. Lecture Notes in Computer Science, vol 497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54029-6_217
Download citation
DOI: https://doi.org/10.1007/3-540-54029-6_217
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54029-8
Online ISBN: 978-3-540-47359-6
eBook Packages: Springer Book Archive