Skip to main content
SpringerLink
Log in

Annotated revision specification programs

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 928))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fitting, M. C. Bilattices in logic programming. In The Twentieth International Symposium on Multiple-Valued Logic (1990), G. Epstein, Ed., IEEE, pp. 238–246.

    Google Scholar 

  2. Fitting, M. C. Bilattices and the semantics of logic programming. Journal of Logic Programming 11 (1991), 91–116.

    Google Scholar 

  3. Fitting, M. C. The family of stable models. Journal of Logic Programming 17 (1993), 197–225.

    Google Scholar 

  4. Fitting, M. C. Kleene's three-valued logics and their children. Fundamenta Informaticae 20 (1994), 113–131.

    Google Scholar 

  5. Fitting, M. C. On prudent bravery and other abstractions. Submitted, 1994.

    Google Scholar 

  6. Ginsberg, M. L. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence 4 (1988), 265–316.

    Google Scholar 

  7. Kifer, M., and Subrahmanian, V. S. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12 (1992), 335–367.

    Google Scholar 

  8. Marek, V. W., and Truszczyński, M. Revision specifications by means of programs. Presented at LPNMR workshop, Lexington, KY, 1994., 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Mathematics and Computer Science, Lehman College (CUNY), 10468, Bronx, NY

    Melvin Fitting

Authors
  1. Melvin Fitting
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. Wiktor Marek Anil Nerode M. Truszczyński

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation