Abstract
Marek and Truszczyński have introduced an interesting mechanism for specifying revisions of knowledge bases by means of logic programs. Here we extend their idea to allow for confidence factors, multiple experts, and so on. The appropriate programming mechanism turns out to be annotated logic programs and the appropriate semantic tool, bilattices. This may be the first example of a setting in which both notions arise naturally, and complement each other. We also show that several of the results of Marek and Truszczyński turn out to be essentially algebraic, once the proper setting has been formulated.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Fitting, M. C. Bilattices in logic programming. In The Twentieth International Symposium on Multiple-Valued Logic (1990), G. Epstein, Ed., IEEE, pp. 238–246.
Fitting, M. C. Bilattices and the semantics of logic programming. Journal of Logic Programming 11 (1991), 91–116.
Fitting, M. C. The family of stable models. Journal of Logic Programming 17 (1993), 197–225.
Fitting, M. C. Kleene's three-valued logics and their children. Fundamenta Informaticae 20 (1994), 113–131.
Fitting, M. C. On prudent bravery and other abstractions. Submitted, 1994.
Ginsberg, M. L. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence 4 (1988), 265–316.
Kifer, M., and Subrahmanian, V. S. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12 (1992), 335–367.
Marek, V. W., and Truszczyński, M. Revision specifications by means of programs. Presented at LPNMR workshop, Lexington, KY, 1994., 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fitting, M. (1995). Annotated revision specification programs. In: Marek, V.W., Nerode, A., Truszczyński, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 1995. Lecture Notes in Computer Science, vol 928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59487-6_11
Download citation
DOI: https://doi.org/10.1007/3-540-59487-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59487-1
Online ISBN: 978-3-540-49282-5
eBook Packages: Springer Book Archive