LLM2D
知识编译图谱中的布尔最近邻语言
Boolean Nearest Neighbor Language in the Knowledge Compilation Map
作者: Ond\v{r}ej \v{C}epek, Jelena Gli\v{s}i\'c
发布日期: 10/10/2024
arXiv ID: oai:arXiv.org:2410.06332v1

摘要

布尔最近邻 (BNN) 表示是 Hajnal、Liu 和 Turan 最近提出的布尔函数的一种表示形式。$f$ 的 BNN 表示是一个包含布尔向量集 (称为正原型和负原型) 的对 $(P,N)$,其中 $f(x)=1$ 对于所有正原型 $x \in P$,$f(x)=0$ 对于所有负原型 $x \in N$,而 $f(x)$ 的值对于 $x \not\in P \cup N$ 由最近原型的类型决定。本文的主要目的是确定 BNN 语言在知识编译图 (KCM) 中的位置。为此,我们推导出了一些结果,这些结果比较了 BNN 语言的简洁性与 KCM 中几种标准语言的简洁性,并确定了大多数标准查询和 BNN 输入转换的复杂性状态。