Daily Arxiv

This page organizes papers related to artificial intelligence published around the world.
This page is summarized using Google Gemini and is operated on a non-profit basis.
The copyright of the paper belongs to the author and the relevant institution. When sharing, simply cite the source.

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective

Created by
  • Haebom

Author

Nicholas Leisegang, Giovanni Casini, Thomas Meyer

Outline

This paper compares weighted knowledge bases (KBs) and cost-based semantics, recent formalisms for ontology-mediated data querying of inconsistent knowledge bases (KBs), with c-representations, a form of non-monotonic reasoning first introduced by Kern-Isberner. Weighted knowledge bases assign weights to each proposition in the KB and assign a cost to each DL interpretation based on the frequency with which it violates the KB's rules. c-representations assign numerical ranks to each interpretation by penalizing violated conditions to interpret weakenable concept inclusions in first-order logic. This paper compares these two approaches at the semantic level, showing that, under certain conditions, weighted knowledge bases and sets of weakenable conditions produce equivalent orderings in interpretations and exhibit semantic structural equivalence based on their relative costs. We also compare the implications in both cases, suggesting that certain concepts can be expressed identically in both formalisms.

Takeaways, Limitations

Through a semantic comparison of the weighted knowledge base and c-representation, we reveal the relationship between the two approaches.
We demonstrate their interrelationship by proving that under certain conditions the two formalisms can produce the same interpretation order.
Shows the equivalent expressibility of implications in the two formalisms.
Suggests potential contributions to further research on cost-based semantics and c-representations.
There is no explicit mention of specific conditions and Limitations in the paper.
👍