规则与SE-Models之间的来回（扩展版）

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要翻译：
逻辑程序设计中的规则编码有关字元之间的相互依赖关系的信息，这些信息不是由任何常用的语义捕获的。一旦程序需要修改或进一步操作，这些信息就变得至关重要。我们认为，在这些情况下，一个程序不应该仅仅被视为它的模型集。相反，它应该被视为其中每个规则的模型集，并被操作。考虑到这一点，我们研究并强调了SE-模型语义和个别规则之间的关系。我们识别了由SE-模型诱导的规则等价类的一组代表，从而精确地指出了这个语义相对于单个规则的精确表达性。我们还刻画了可由单一规则表示的自我解释集合类。最后，我们讨论了两个等价概念的引入，两个等价概念都强于强等价[1]和弱于强更新等价[2]，当规则中发现的依赖信息是感兴趣的时，这两个等价概念似乎更适合。
---
英文标题：
《Back and Forth Between Rules and SE-Models (Extended Version)》
---
作者：
Martin Slota and Jo\~ao Leite
---
最新提交年份：
2011
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--

---
英文摘要：
  Rules in logic programming encode information about mutual interdependencies between literals that is not captured by any of the commonly used semantics. This information becomes essential as soon as a program needs to be modified or further manipulated.   We argue that, in these cases, a program should not be viewed solely as the set of its models. Instead, it should be viewed and manipulated as the set of sets of models of each rule inside it. With this in mind, we investigate and highlight relations between the SE-model semantics and individual rules. We identify a set of representatives of rule equivalence classes induced by SE-models, and so pinpoint the exact expressivity of this semantics with respect to a single rule. We also characterise the class of sets of SE-interpretations representable by a single rule. Finally, we discuss the introduction of two notions of equivalence, both stronger than strong equivalence [1] and weaker than strong update equivalence [2], which seem more suitable whenever the dependency information found in rules is of interest.
---
PDF链接：
https://arxiv.org/pdf/1102.5385

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：models model mode del ELS 语义 equivalence 修改 视为 semantics