Embeddings as Epistemic States: Limitations on the Use of Pooling Operators for Accumulating Knowledge

10/11/2022
by   Steven Schockaert, et al.
0

Various neural network architectures rely on pooling operators to aggregate information coming from different sources. It is often implicitly assumed in such contexts that vectors encode epistemic states, i.e. that vectors capture the evidence that has been obtained about some properties of interest, and that pooling these vectors yields a vector that combines this evidence. We study, for a number of standard pooling operators, under what conditions they are compatible with this idea, which we call the epistemic pooling principle. While we find that all the considered pooling operators can satisfy the epistemic pooling principle, this only holds when embeddings are sufficiently high-dimensional and, for most pooling operators, when the embeddings satisfy particular constraints (e.g. having non-negative coordinates). We then study the implications of these constraints, starting from the idea that we should be able to verify whether an arbitrary propositional formula is satisfied in the epistemic state encoded by a given vector. We find that when the epistemic pooling principle is satisfied, in most cases it is impossible to verify the satisfaction of propositional formulas using linear scoring functions, with two exceptions: (i) max-pooling with embeddings that are upper-bounded and (ii) Hadamard pooling with non-negative embeddings. Finally, we also study an extension of the epistemic pooling principle to weighted epistemic states, where max-pooling emerges as the most suitable operator.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/14/2016

Impossibility in Belief Merging

With the aim of studying social properties of belief merging and having ...
research
07/27/2019

Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover

We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic ...
research
03/26/2022

Model Transformations for Ranking Functions and Total Preorders

In the field of knowledge representation, the considered epistemic state...
research
09/29/2022

Enumeration of max-pooling responses with generalized permutohedra

We investigate the combinatorics of max-pooling layers, which are functi...
research
05/13/2022

Proving Unsolvability of Set Agreement Task with Epistemic mu-Calculus

This paper shows, in the framework of the logical method,the unsolvabili...
research
11/02/2021

LogAvgExp Provides a Principled and Performant Global Pooling Operator

We seek to improve the pooling operation in neural networks, by applying...
research
05/28/2020

Robust Modeling of Epistemic Mental States

This work identifies and advances some research challenges in the analys...

Please sign up or login with your details

Forgot password? Click here to reset