… I begin with describing a basic mechanism of interaction between TD and BU signals between
two adjacent hierarchical layers. At each layer, output signals are concepts recognized in (…

… submodular functions of … monotonic Boolean functions, allowing us to obtain a compact
transformation using as few auxiliary variables as possible. The transformed quadratic function …

… A Boolean function is said to be monotone if for any x, y ∈ Bn… We define Dn as the set of all
monotone Boolean functions of n … Monotone Boolean functions are instrumental in the design …

… maximum is achieved by Boolean functions with the maximal degree… monotone function,
and in particular, among balanced Boolean functions, the maximum is achieved by any function …

… We can easily see that the Boolean function (2) is monotone. … An upper zero b of a monotone
Boolean function f is a vertex … upper zero of associated Boolean function. See Figure 1 for a …

… Throughout the paper, when referring to a monotonic classifier, this signifies a fully monotonic
classifier. In addition, the interaction with a classifier is restricted to computing the value of …

… To achieve the goal, we utilize techniques for learning monotone Boolean functions. While
there … the problem of interactive learning of a monotone Boolean function from the complexity …

… Boolean functions … monotonic Boolean functions, the Dedekind number [14], currently
known up to d = 8 [15]1. Whenever the specified k is lower than the maximum, Boolean functions …

… representation, reasoning, and interactive learning, and exploits the complementary strengths
of deep learning, non-monotonic logical reasoning with commonsense knowledge, and …

… Second, for the broad class of Fourier-sparse boolean functions, we show a multi-round (IP-…
class Td, in which each function is a concatenation of d monotone increasing thresholds. A …