资源分类
》 资源 》论文》Transitively Relational Partial Meet Horn Contraction Zhiqiang Zhuang and Maurice Pagnucco

Transitively Relational Partial Meet Horn Contraction Zhiqiang Zhuang and Maurice Pagnucco

2019-11-12 | |  56 |   40 |   0
Abstract Following the recent trend of studying the theory of belief revision under the Horn fragment of propositional logic this paper develops a fully characterised Horn contraction which is analogous to the traditional transitively relational partial meet contraction [Alchourro?n et al., 1985]. This Horn contraction extends the partial meet Horn contraction studied in [Delgrande and Wassermann, 2010] so that it is guided by a transitive relation that models the ordering of plausibility over sets of beliefs.

上一篇：Translating First-Order Theories into Logic Programs

下一篇：A Competitive Strategy for Function Approximation in Q-Learning Alejandro Agostini and Enric Celaya

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...