Saved in:
Bibliographic Details
Main Authors: Čepek, Ondřej, Glišić, Jelena
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2410.06332
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910673873666048
author Čepek, Ondřej
Glišić, Jelena
author_facet Čepek, Ondřej
Glišić, Jelena
contents The Boolean Nearest Neighbor (BNN) representation of Boolean functions was recently introduced by Hajnal, Liu and Turan. A BNN representation of $f$ is a pair $(P,N)$ of sets of Boolean vectors (called positive and negative prototypes) where $f(x)=1$ for every positive prototype $x \in P$, $f(x)=0$ for all every negative prototype $x \in N$, and the value $f(x)$ for $x \not\in P \cup N$ is determined by the type of the closest prototype. The main aim of this paper is to determine the position of the BNN language in the Knowledge Compilation Map (KCM). To this end, we derive results which compare the succinctness of the BNN language to several standard languages from KCM, and determine the complexity status of most standard queries and transformations for BNN inputs.
format Preprint
id arxiv_https___arxiv_org_abs_2410_06332
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Boolean Nearest Neighbor Language in the Knowledge Compilation Map
Čepek, Ondřej
Glišić, Jelena
Artificial Intelligence
68T30
I.2.4
The Boolean Nearest Neighbor (BNN) representation of Boolean functions was recently introduced by Hajnal, Liu and Turan. A BNN representation of $f$ is a pair $(P,N)$ of sets of Boolean vectors (called positive and negative prototypes) where $f(x)=1$ for every positive prototype $x \in P$, $f(x)=0$ for all every negative prototype $x \in N$, and the value $f(x)$ for $x \not\in P \cup N$ is determined by the type of the closest prototype. The main aim of this paper is to determine the position of the BNN language in the Knowledge Compilation Map (KCM). To this end, we derive results which compare the succinctness of the BNN language to several standard languages from KCM, and determine the complexity status of most standard queries and transformations for BNN inputs.
title Boolean Nearest Neighbor Language in the Knowledge Compilation Map
topic Artificial Intelligence
68T30
I.2.4
url https://arxiv.org/abs/2410.06332