.png){kind=icon}
返回
Augmenting Negation Normal Form With Irrelevant Variables
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2927041.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Irrelevant variables are always omitted in knowledge compilation languages since their assignments do not change the satisfiability of sentences. In order to identify new knowledge compilation languages and reduce the scale of compiling result of d-DNNF, we augment NNF with irrelevant variables in this paper. The NNFPNI, NNFPI, and NNFNI are proposed based on different combinations of positive literals, negative literals, and irrelevant variables. Each sentence in NNF, NNFPI, NNFNI, or NNF(PNI)can be translated to an equivalent sentence in another language in polynomial time. We also define d-DNNFNI, d-DNNFPI, and d-DNNFPNI based on decomposability and determinism in NNF, which are subclasses of NNFPI, NNFNI, and NNFPNI, respectively. A number of querying and transforming methods for d DNNFPNI, d-DNNFPI, and d-DNNPNI are designed to solve relevant reasoning problems in knowledge compilation map. Overall, d-DNNFPI and d-DNNFNI do not reduce the tractability of d-DNNF, so we propose a compressing method for d-DNNF based on d-DNNFPI and d-DNNFNI. The experimentally, the compiling results of the d-DNNFPI and d-DNNFNI are better with respect to d-DNNF for most instances, and our compressing method is significantly effective for all instances.
Keyword:
Knowledge compilation
negation normal form
d-DNNF
irrelevant variables
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
Thrombotic Microangiopathy (TMA): A potential adverse reaction post Zolgensma (onasemnogene abeparvovec-xioi) therapy for Spinal Muscular Atrophy (SMA) (5483).png)
Neurology
NeurologyIF0
PREAI
分享收藏
没有更多内容
没有更多内容