资源分类
》 资源 》论文》On the Logical Properties of the Description Logic DLN (Extended abstract)? Piero A. Bonatti and Luigi Sauro

On the Logical Properties of the Description Logic DLN (Extended abstract)? Piero A. Bonatti and Luigi Sauro

2019-11-06 | |  63 |   35 |   0
Abstract DLN is a recent nonmonotonic description logic, designed for satisfying independently proposed knowledge engineering requirements, and for removing some recurrent drawbacks of traditional nonmonotonic semantics. In this paper we study the logical properties of DLN and their relationships with the KLM postulates. We use various versions of the KLM postulates to deepen the comparison with related work, and illustrate the different tradeoffs between opposite expressivity requirements adopted by each approach.

上一篇：A COP Model for Graph-Constrained Coalition Formation (Extended Abstract) Filippo Bistaffa1 and Alessandro Farinelli2

下一篇：Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs? (Extended Abstract)

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Joint Pose and Ex...

    Facial expression recognition (FER) is a challe...