Related papers: On a plausible concept-wise multipreference semantics and its relations with self-organising maps

On a plausible concept-wise multipreference semantics and its relations with self-organising maps

URL: http://arxiv.org/abs/2008.13278v1
Date: Sun, 30 Aug 2020 21:06:06 GMT
Title: On a plausible concept-wise multipreference semantics and its relations with self-organising maps
Authors: Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupr\'e
Abstract summary: We argue that this proposal satisfies some desired properties, such as KLM, and avoids the drowning problem. We motivate the plausibility of the concept-wise multi-preference semantics by developing a logical semantics of self-organising maps.
Score: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying some desired properties, such as KLM postulates, and avoiding the drowning problem, also defines a plausible notion of semantics. We motivate the plausibility of the concept-wise multi-preference semantics by developing a logical semantics of self-organising maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation, in terms of multi-preference interpretations.

Related papers

Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
We propose a novel approach for learning visual representations that conform to a specified semantic structure. Our approach is based on a new nuclear norm-based loss. We show that its minimum encodes the spectral geometry of the semantics in a subspace lattice.
arXiv Detail & Related papers (2024-05-25T12:51:38Z)
A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
We show that team-based propositional logics naturally give rise to cumulative non-monotonic entailment relations. Motivated by the non-classical interpretation of disjunction in team semantics, we give a precise characterization for preferential models for propositional dependence logic.
arXiv Detail & Related papers (2024-05-11T09:53:15Z)
A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
'Inferentialism' is the view that meaning is given in terms of inferential behaviour. This paper shows how 'inferentialism' enables a versatile and expressive framework for resource semantics.
arXiv Detail & Related papers (2024-05-10T14:13:21Z)
Inferentialist Resource Semantics [48.65926948745294]
This paper shows how inferentialism enables a versatile and expressive framework for resource semantics. How inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications. This integration enables reasoning about shared and separated resources in intuitive and familiar ways.
arXiv Detail & Related papers (2024-02-14T14:54:36Z)
An Axiomatic Approach to Model-Agnostic Concept Explanations [67.84000759813435]
We propose an approach to concept explanations that satisfy three natural axioms: linearity, recursivity, and similarity. We then establish connections with previous concept explanation methods, offering insight into their varying semantic meanings.
arXiv Detail & Related papers (2024-01-12T20:53:35Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
This approach allows for the computer-assisted analysis of abstract dialectical frameworks. Exemplary applications include the formal analysis and verification of meta-theoretical properties.
arXiv Detail & Related papers (2023-12-08T09:32:26Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
We use a novel semantic approach to achieve decidability. Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity. We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
arXiv Detail & Related papers (2023-07-28T11:26:26Z)
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps [0.0]
We establish a link between preferential semantics for description logics and self-organising maps. We show that a concept-wise multipreference semantics can be used to provide a logical interpretation of SOMs.
arXiv Detail & Related papers (2021-03-11T18:31:00Z)
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model [0.0]
We investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model. Weighted knowledge bases for description logics are considered under a "concept-wise" multipreference semantics.
arXiv Detail & Related papers (2020-12-24T19:04:51Z)
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL [0.0]
We develop a concept aware multi-preferential semantics for dealing with typicality in description logics. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences.
arXiv Detail & Related papers (2020-06-08T07:15:38Z)
Reasoning about Typicality and Probabilities in Preferential Description Logics [0.15749416770494704]
We describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T. This extension is based on a minimal model semantics corresponding to a notion of rational closure. We consider other strengthening of the rational closure semantics and construction to avoid the so-called blocking of property inheritance problem.
arXiv Detail & Related papers (2020-04-20T14:50:31Z)

This list is automatically generated from the titles and abstracts of the papers in this site.