Search Results for author:
Found 5 papers, 0 papers with code
Outlier detection using flexible categorisation and interrogative agendas
Building on formal concept analysis (FCA), the starting point of the present work is that different ways to categorize a given set of objects exist, which depend on the choice of the sets of features used to classify them, and different such sets of features may yield better or worse categorizations, relative to the task at hand.
Causal Kripke Models
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment.
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory
The framework developed in this paper provides a formal ground to obtain and study explainable categorizations from the data represented as bipartite graphs according to the agendas of different agents in an organization (e. g.~an audit firm), and interaction between these through deliberation.
Vector spaces as Kripke frames
In this paper, we build on this observation and extend it to a `vector space semantics' for the \emph{general} Lambek calculus, based on \emph{algebras over a field} $\mathbb{K}$ (or $\mathbb{K}$-algebras), i. e. vector spaces endowed with a bilinear binary product.
Toward a Dempster-Shafer theory of concepts
In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts.
