Quantified logic programs, revisited

Rachel Ben-Eliyahu-Zohary

Research output: Contribution to conferencePaperpeer-review

Abstract

We consider again quantified logic programs (QLP). QLP is a logic program where a positive number not greater than 1 called dominance is associated with each rule in the program. The intuition is that rules with higher dominance are more plausible or more reliable. Literals in the answer sets of QLPs are also annotated with weights, with the intuition that a literal with a higher weight is more likely to be true. We present three different applications of QLPs: Ontology Matching, Ranking of search results, and Inheritance Networks. We also address the problem of computing answer sets of QLPs. We show that we can compute the answer sets by first using existing state of the art tools for answer set generation, and then applying a polynomial time forward-chaining like algorithm, called the Proof-Rank Algorithm in order to compute the weight of each literal in the answer set.

Original languageEnglish
Pages61-74
Number of pages14
StatePublished - 1 Jan 2008
Event1st Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008, collocated with the 24th International Conference on Logic Programming, ICLP 2008 - Udine, Italy
Duration: 13 Dec 2008 → …

Conference

Conference1st Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008, collocated with the 24th International Conference on Logic Programming, ICLP 2008
Country/TerritoryItaly
CityUdine
Period13/12/08 → …

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Software
  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Quantified logic programs, revisited'. Together they form a unique fingerprint.

Cite this