Skip to main content
SpringerLink
Log in

Declarative semantics for inconsistent database programs

  • Conference paper
  • First Online:
Logics in AI (JELIA 1992)

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

Included in the following conference series:

Abstract

In this paper an ongoing research on inconsistent database programs is presented, which can be viewed as an extension of logic programming. By Literal Database Program (LDP) we mean a finite set of universally closed clauses of the form L0←L1,...,L m where m≥0, L i's are literals. We define a set of intended models MOD(P) for a given program P with the help of interpretations defined on an extension of the Herbrand base. Instead of resolving inconsistency at all costs, our system is aimed to supply an inference control after the appearance of some primitive inconsistent units. It keeps the good conflict knowledge, namely those, that come from different, equally trusted sources and proposes mechanism telling one how to act when the primitive inconsistency arises.

A characterization of the semantics for the proposed literal database programs is given by means of general properties of non-monotonic inference operations. Some points for future considerations are also announced.

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. A. Bauval and L. Cholvy: Automated reasoning in case of inconsistency. In: M. De Glas, D. Gabbay(eds) Proc. of WOCFAI'91, 1–5 july 1991, Paris, France, pp. 81–93

    Google Scholar 

  2. Ph. Besnard: Logic for automated reasoning in the presence of contradictions. In: North-Holland, Ph. Jorrand, V. Sgurev (eds.): Artificial Intelligence IV Methodology, Systems, Applications. Proc. of AIMSA'90, Albena, Bulgaria, 19–22 September, 1990, pp. 33–43

    Google Scholar 

  3. L. Cholvy: Querying an inconsistent database. In: North-Holland, Ph. Jorrand, V. Sgurev (eds.): Artificial Intelligence IV Methodology, Systems, Applications. Proc. of AIMSA'90, Albena, Bulgaria, 19–22 September, 1990, pp. 81–93

    Google Scholar 

  4. J. De Kleer: An assumption-based truth maintenance system. Artificial Intelligence 28(1), 127–162 (1986)

    Article  Google Scholar 

  5. J. Doyle: A truth maintenance system. Artificial Intelligence, 12(3), 231–272(1979)

    Article  Google Scholar 

  6. D. M. Gabbay: Labelled Deductive Systems, draft September 1989.

    Google Scholar 

  7. D. M. Gabbay: Theoretical foundations for nonmonotonic reasoning, Part 2: Structured nonmonotonic theories. In: IOS, B. Mayoh (ed.): Odin's ravens. Proc. of the SCAI'91, Roskilde, Denmark, 21–24 May 1991, pp. 19–40

    Google Scholar 

  8. D. M. Gabbay and A. Hunter: Making inconsistency respectable: a logical framework for inconsistency in reasoning. In: Proc. of the FAIR'91, September 8–12,19991, Smolenice, Czechoslovakia. Lecture Notes in Computer Science 535. Berlin: Springer 1991, pp. 19–32

    Google Scholar 

  9. S. Kraus, D. Lehman and M. Magidor: Non monotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)

    Article  Google Scholar 

  10. F. Lin: Reasoning in the presence of inconsistency. In: Automated Reasoning, 1988.

    Google Scholar 

  11. J. Lloyd: Foundations of Logic Programming. Berlin: Springer-Verlag 1987.

    Google Scholar 

  12. Z. Markov, C. Dichev: Logical inference in a network environment. In: North-Holland, Ph. Jorrand, V. Sgurev (eds.): Artificial Intelligence IV Methodology, Systems, Applications. Proc. of AIMSA'90, Albena, Bulgaria, 19–22 September, 1990, pp. 169–179

    Google Scholar 

  13. J. Martins and S. Shapiro: A model for belief revision. Artificial Intelligence 35(1), 25–79 (1988)

    Article  Google Scholar 

  14. D. Nute: Defeasible reasoning and decision support systems. Decision Support System 4, 97–110 (1988)

    Article  Google Scholar 

  15. I. Popchev, N. Zlatareva, M. Mircheva: A truth maintenance theory: an alternative approach. In: Proc. of ECAI'90, Stockholm, Sweden, pp. 509–515

    Google Scholar 

  16. R. Reiter: A logic for default reasoning. Artificial Intelligence 13(1, 2), 81–132 (1980)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fac. of Mathematics and Computer Science Dep. of Logic, Sofia University, James Bouichier str., 5, 1126, Sofia

    Marion Sarkis Mircheva

Authors
  1. Marion Sarkis Mircheva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. Pearce G. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mircheva, M.S. (1992). Declarative semantics for inconsistent database programs. In: Pearce, D., Wagner, G. (eds) Logics in AI. JELIA 1992. Lecture Notes in Computer Science, vol 633. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023432

Download citation

  • DOI: https://doi.org/10.1007/BFb0023432

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55887-3

  • Online ISBN: 978-3-540-47304-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation