Paraconsistent logic programming

Howard A Blair, V. S. Subrahmanian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Scopus citations

Abstract

This paper makes two contributions. Firstly, we give a semantics for sets of clauses of the form L0 ⇐ L1&.. &Ln where each Li is a literal. We call such clauses generally-Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic). Thus, as a second contribution, we give a robust semantics for generally-Horn programs that allows us to “make sense” of sets of generally-Horn clauses that are inconsistent (in the two-valued logic sense). This applies to the design of very large knowledge bases where inconsistent information is often present.

Original languageEnglish (US)
Title of host publicationFoundations of Software Technology and Theoretical Computer Science - 7th Conference, Proceedings
PublisherSpringer Verlag
Pages340-360
Number of pages21
Volume287 LNCS
ISBN (Print)9783540186250
DOIs
StatePublished - Jan 1 1987
Event7th Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1987 - Pune, India
Duration: Dec 17 1987Dec 19 1987

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume287 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th Conference on Foundations of Software Technology and Theoretical Computer Science, FST and TCS 1987
CountryIndia
CityPune
Period12/17/8712/19/87

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Paraconsistent logic programming'. Together they form a unique fingerprint.

  • Cite this

    Blair, H. A., & Subrahmanian, V. S. (1987). Paraconsistent logic programming. In Foundations of Software Technology and Theoretical Computer Science - 7th Conference, Proceedings (Vol. 287 LNCS, pp. 340-360). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 287 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-18625-5_59