An Algorithmic Study of Kernel Contraction in EL

@inproceedings{Fraser2017AnAS,
  title={An Algorithmic Study of Kernel Contraction in EL},
  author={Simon Fraser},
  year={2017}
}
Kernel contraction is an interesting problem that can be considered a step towards belief revision. Kernels were introduced as a tool to determine why a given belief is accepted by the knowledge base. The aim of using kernels is to invalidate the reasons why that given belief is accepted, and hence rejecting that belief. We use Description Logic EL for two reasons: it is used in some large knowledge base applications, and it has a polynomialtime reasoning algorithm. In this study we introduce… CONTINUE READING

Citations

Publications citing this paper.

A Study of Kernel Contraction in EL

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

Kernel Contraction in EL

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

What’s new in Description Logics

  • Informatik-Spektrum
  • 2011
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Handbook of Knowledge Representation, chapter 8, pages 317–359

Pavlos Peppas
  • Foundations of Artificial Intelligence. Elsevier B.V., first edition,
  • 2008
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

A Textbook of Belief Dynamics: Theory Change and Database Updating. Number v. 2 in Applied logic series

S. O. Hansson
  • 1999
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Knowledge in Flux. Modelling the Dymanics of Epistemic States

P. Gärdenfors
  • 1988
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Handbook of Knowledge Representation, chapter 8, pages 317–359

Pavlos Peppas
  • Foundations of Artificial Intelligence. Elsevier B.V., first edition,
  • 2008
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

The cost of consistency: information economy in paraconsistent belief revision

Rafael R. Testa
  • South American Journal of Logic,
  • 2015
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…