布尔最近邻语言在知识编译图中的位置
人工智能
2024-10-30 v2
摘要
布尔最近邻 (BNN) 表示法是由 Hajnal、Liu 和 Turan 最近引入的，用于表示布尔函数的一种方法。f 的 BNN 表示形式为一对 (P, N)，其中 P 和 N 为布尔向量集合（称为正原型和负原型），其中每个正原型 x ∈ P 满足 f(x)=1，所有负原型 x ∈ N 满足 f(x)=0，而 x ∉ P ∪ N 时的函数值由最近原型的类型决定。本文的主要目标是确定 BNN 语言在知识编译图 (KCM) 中的位置。为此，我们推导了将 BNN 语言与 KCM 中几个标准语言进行简洁性比较的结果，并确定了大多数标准查询和转换对于 BNN 输入的复杂度状态。
引用
@article{arxiv.2410.06332,
title = {Boolean Nearest Neighbor Language in the Knowledge Compilation Map},
author = {Ondřej Čepek and Jelena Glišić},
journal= {arXiv preprint arXiv:2410.06332},
year = {2024}
}
备注
19 pages, 5 figures, 2 tables