Abstract
Formalization presupposes ‘precisification’. A formal representation, therefore, cannot account for all relevant aspects of imprecise domain knowledge. In this paper we present a methodology for dealing with this problem. In an imprecise domain, part of the expertise is to know the realm within which knowledge may be faithfully specialized. In a computer reasoning system, such expert knowledge can be reproduced as a metatheory for proposing and reasoning with formal object theories, each representing one particular specialization. Metaknowledge of this kind will however most often also be imprecise and the expertise on how it may be specialized resides then at the metametalevel, etc. We show that logic provability and upward reflection are adequate means for representing such hierarchical domain knowledge and the dependencies in it between adjacent levels.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
K. A. Bowen, R. A. Kowalski: Amalgamating Language and Metalanguage in Logic Programming. In: K. Clark and S.-Å. Tärnlund (eds.): Logic Programming. London: Academic Press 1982, pp. 153–172
S. Costantini, G. A. Lanzarone: A Metalogic Programming Language. In: G. Levi, M. Martelli (eds.): Proc. Sixth Intl. Conf. on Logic Programming. Cambridge: MIT Press 1989, pp. 218–233
A. Hamfelt: Metalogic Representation of Multilayered Knowledge. Uppsala Theses in Computing Science 15/92. Uppsala: Uppsala University 1992
A. Hamfelt: The Multilevel Structure of Legal Knowledge and its Representation. Uppsala Theses in Computing Science 8/90. Uppsala: Uppsala University 1990
A. Hamfelt, J. Barklund: An Intelligent Interface to Legal Data Bases-Combining Logic Programming and Hypertext. In: A. M. Tjoa, R. Wagner (eds.): Proc. Database and Expert Systems Applications. Vienna: Springer 1990, pp. 56–61
A. Hamfelt, J. Barklund: Metaprogramming for Representation of Legal Principles. In: M. Bruynooghe (ed.): Proc. Second Workshop on Metaprogramming in Logic. Leuven: Katholieke Universiteit Leuven 1990, pp. 105–122
A. Hamfelt, Å. Hansson: A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. In: Proc. Intl. Conf. on Fifth Generation Computer Systems. Tokyo: OHMSHA 1992. pp. 1107–1114
A. Hamfelt, Å. Hansson: Representation of Fragmentary and Multilayered Knowledge: A Semiformal Metatheory as an Interactive Metalogic Program. UPMAIL TR 68. Uppsala: Comp. Sci. dept., Uppsala University 1991
J. Horovitz: Law and Logic. Vienna: Springer 1972
S. C. Kleene: Introduction to Metamathematics. New York: North Holland 1980
R. A. Kowalski: Problems and Promises of Computational Logic. In: J. W. Lloyd (ed.): Computational Logic. Berlin: Springer 1990, pp. 1–36.
M. J. Sergot: A Query-the-User Facility for Logic Programming. In: P. Degano and E. Sandewall (eds.): Integrated Interactive Computer Systems. Amsterdam: Noth-Holland 1983, pp. 27–41.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hamfelt, A., Hansson, Å. (1992). Representation of fragmentary multilayered knowledge. In: Pettorossi, A. (eds) Meta-Programming in Logic. META 1992. Lecture Notes in Computer Science, vol 649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56282-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-56282-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56282-5
Online ISBN: 978-3-540-47505-7
eBook Packages: Springer Book Archive