REVISE: Logic programming and diagnosis | SpringerLink
Skip to main content
Springer Nature Link
Log in

REVISE: Logic programming and diagnosis

  • System-Descriptions
  • Conference paper
  • First Online:
Logic Programming And Nonmonotonic Reasoning (LPNMR 1997)

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

  • 108 Accesses

Abstract

In this article we describe the non-monotonie reasoning system REVISE that revises contradictory extended logic programs. We sketch the REVISE algorithm and evaluate it in the domain of digital circuits.

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.

Similar content being viewed by others

References

  1. J. J. Alferes, C. V. Damásio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Conn, editor, Proc. of the European Conference on Artificial Intelligence'94, pages 140–144. John Wiley & Sons, August 1994.

    Google Scholar 

  2. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium'94, pages 424–438. MIT Press, November 1994.

    Google Scholar 

  3. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93–147, 1995.

    Google Scholar 

  4. F. Brglez, P. Pownall, and R. Hum. Accelerated ATPG and fault grading via testability analysis. In Proceedings of IEEE Int. Symposium on Circuits and Systems, pages 695–698, 1985. The ISCAS85 benchmark netlists are available via ftp mcnc.mcnc.org.

    Google Scholar 

  5. J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127–162, 1986.

    Google Scholar 

  6. Carlos Viegas Damásio, Wolfgang Nejdl, and Lu's Moniz Pereira. REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall, and P. Torasso, editors, Knowledge Representation and Reasoning, pages 607–618, Bonn, Germany, May 1994. Morgan Kaufmann.

    Google Scholar 

  7. C. V. Damásio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis preferences and strategies representation with meta logic programming. In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 11, pages 269–311. The MIT Press, 1995.

    Google Scholar 

  8. J. Doyle. A truth maintenace system. Artificial Intelligence, 12:231–272, 1979.

    Article  Google Scholar 

  9. K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In 6th Int. Conf. on LP. MIT Press, 1989.

    Google Scholar 

  10. Peter Fröhlich, Wolfgang Nejdl, and Michael Schroeder. A formal semantics for preferences and strategies in model-based diagnosis. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 106–113, New Paltz, NY, October 1994.

    Google Scholar 

  11. Allen Van Gelder, Kenneth Ross, and John S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proceeding of the 7th ACM Symposium on Principles of Databse Systems, pages 221–230. Austin, Texas, 1988.

    Google Scholar 

  12. I. A. Móra and J. J. Alferes. Diagnosis of distributed systems using logic programming. In C. Pinto-Ferreira and N.J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence EPIA95, volume LNAI990, pages 409–428. Springer-Verlag, Funchal, Portugal, 1995.

    Google Scholar 

  13. Igor Mozetic and Christian Holzbauer. Controlling the complexity in model-based diagnosis. Annals of Mathematics and Artificial Intelligence, 1993.

    Google Scholar 

  14. Wolfgang Nejdl, Peter Fröhlich, and Michael Schroeder. A formal framework for representing diagnosis strategies in model-based diagnosis systems. In International Joint Conference on Artificial Intelligence, Montreal, August 1995.

    Google Scholar 

  15. Lu's Moniz Pereira and José Júlio Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed.), European Conference on Artificial Intelligence, pages 102–106. John Wiley & Sons, 1992.

    Google Scholar 

  16. Lu's Moniz Pereira, José Júlio Alferes, and Joaquim Apar'cio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Nonmonotonic Reasoning, pages 105–119, Washington, USA, June 1991. MIT Press.

    Google Scholar 

  17. L. M. Pereira, J. N. Apar'cio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3 & 4), 1993.

    Google Scholar 

  18. L. M. Pereira, C. V. Damásio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 334–348, Lisboa, Portugal, June 1993. MIT Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. F.C.T., Universidade Nova de Lisboa, 2825, Monte de Caparica, Portugal

    Carlos Viegas Damásio & Luis Moniz Pereira

  2. Universidade Aberta, Rua da Escola Politécnica 141-147, 1250, Lisboa, Portugal

    Carlos Viegas Damásio

  3. Institut für Rechnergestützte Wissensverarbeitung, University of Hannover, Lange Laube 3, 30159, Hannover, Germany

    Michael Schroeder

Authors
  1. Carlos Viegas Damásio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Schroeder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jürgen Dix Ulrich Furbach Anil Nerode

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Damásio, C.V., Pereira, L.M., Schroeder, M. (1997). REVISE: Logic programming and diagnosis. In: Dix, J., Furbach, U., Nerode, A. (eds) Logic Programming And Nonmonotonic Reasoning. LPNMR 1997. Lecture Notes in Computer Science, vol 1265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63255-7_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-63255-7_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63255-9

  • Online ISBN: 978-3-540-69249-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation