资源论文A Strongly-Local Contextual Logic Michael James Gratton

A Strongly-Local Contextual Logic Michael James Gratton

2019-11-11 | |  69 |   45 |   0
Abstract A novel contextual logic is presented that combines features of both multi-context systems and logics of context. Broadly, contextual logics are those with a formal notion of context — knowledge that is true only under specific assumptions. Multi-context systems use discrete logistic systems as individual contexts, related by meta-level rules, whereas logics of context partition a single knowledge base into contexts, related using object-level rules. The contextual logic presented here is strongly-local, in that knowledge and inference is discrete for individual contexts, but which are nevertheless part of a single logistic system that relates contexts at the objectlevel, so combining advantages of both. A deductive system of contextual inference and a possibleworlds based semantics is given, with formal results including soundness and completeness, and a number of properties are examined.

上一篇:Advanced Conflict-Driven Disjunctive Answer Set Solving

下一篇:Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols

用户评价
全部评价

热门资源

  • 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...