We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies
We describe a knowledge representation and inference formalism, based on an intensional propositiona...
The symbol-based, correspondence epistemology used in AI is contrasted with the constructivist, cohe...
There is a gap between two different modes of computation: the symbolic mode and the subsymbolic (ne...
We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, an...
We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, an...
This tutorial discusses some knowledge representation issues in machine learning. The focus is on ma...
Perceptron operators have been recently introduced in Description Logics: they define a concept by l...
AbstractModal logics are amongst the most successful applied logical systems. Neural networks were p...
The paper studies description logics as a method of field of artificial intelligence, describes hist...
We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by ...
Research on Deep Learning has achieved remarkable results in recent years, mainly thanks to the com...
In this paper we report about the relationships between a multi-preferential semantics for defeasibl...
A model of human cognition is proposed in which all concept properties are context de-pendent. Conce...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
One of the most pervading concepts underlying computa- tional models of information processing in t...
We describe a knowledge representation and inference formalism, based on an intensional propositiona...
The symbol-based, correspondence epistemology used in AI is contrasted with the constructivist, cohe...
There is a gap between two different modes of computation: the symbolic mode and the subsymbolic (ne...
We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, an...
We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, an...
This tutorial discusses some knowledge representation issues in machine learning. The focus is on ma...
Perceptron operators have been recently introduced in Description Logics: they define a concept by l...
AbstractModal logics are amongst the most successful applied logical systems. Neural networks were p...
The paper studies description logics as a method of field of artificial intelligence, describes hist...
We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by ...
Research on Deep Learning has achieved remarkable results in recent years, mainly thanks to the com...
In this paper we report about the relationships between a multi-preferential semantics for defeasibl...
A model of human cognition is proposed in which all concept properties are context de-pendent. Conce...
Semantic networks were developed in cognitive science and artificial intelligence studies as graphic...
One of the most pervading concepts underlying computa- tional models of information processing in t...
We describe a knowledge representation and inference formalism, based on an intensional propositiona...
The symbol-based, correspondence epistemology used in AI is contrasted with the constructivist, cohe...
There is a gap between two different modes of computation: the symbolic mode and the subsymbolic (ne...