Filters








32 Hits in 2.9 sec

Defeasibility applied to Forrester's paradox

Julian Chingoma, Thomas Meyer
2020 South African Computer Journal  
KLM-style defeasible reasoning is a logic system that employs defeasibility while Propositional Typicality Logic (PTL) is a logic that does the same for the notion of typicality.  ...  This motivates the enrichment of deontic logic with not only the notion of defeasibility, which allows for reasoning about exceptions, but a stronger notion of typicality that is based on defeasibility  ...  We then detail the following logic systems: KLM-style defeasible reasoning, deontic logic and propositional typicality logic.  ... 
doi:10.18489/sacj.v32i2.848 fatcat:xhdsvkxy6jfcrdoethrnmjgfca

A framework for a modular multi-concept lexicographic closure semantics [article]

Laura Giordano, Daniele Theseider Dupré
2020 arXiv   pre-print
We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality.  ...  The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic  ...  logics of minimal knowledge and negation as failure [24] , on circumscriptive DLs [7, 6] , the generalization of rational closure to all description logics [4] . as well as the combination of description  ... 
arXiv:2009.00964v2 fatcat:zlhzj3epynavpear2yghztr7ne

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

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 arXiv   pre-print
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.  ...  On the one hand, we have seen that self-organising maps can be given a logical semantics in terms of KLM-style preferential interpretations; the model can be used to learn or to validate conditional knowledge  ... 
arXiv:2008.13278v1 fatcat:ppvnpbtmjfa7rp3d6z4y7sjpvy

Defeasible Modalities [article]

Katarina Britz, Ivan Varzinczak
2013 arXiv   pre-print
The resulting family of modal logics allow for the elegant expression of defeasible modalities.  ...  Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents.  ...  Any opinion, findings and conclusions or recommendations expressed in this material are those of the authors and therefore the NRF do not accept any liability in regard thereto.  ... 
arXiv:1310.6409v1 fatcat:xxbgo543njdftmyyy2322ga7pq

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps [article]

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 arXiv   pre-print
on a concept-wise multipreference semantics, which takes into account preferences with respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics  ...  In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based  ...  On the one hand, we have seen that self-organising maps can be given a logical semantics in terms of KLM-style preferential interpretations.  ... 
arXiv:2103.06854v2 fatcat:df5kf433xbbajbc7n7ndrerj6m

On rational entailment for propositional typicality logic

Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019 Artificial Intelligence  
The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferential reasoning and therefore KLM-style rational consequence relations can be embedded in PTL.  ...  for KLM-style conditionals, and constructed using different notions of minimality. * This technical report presents an extended and elaborated version of a paper presented at  ...  However, a consequence of their restricted use of typicality is that a propositional version of their logic would correspond to a KLM-style conditional logic in which rational closure behaves well, and  ... 
doi:10.1016/j.artint.2019.103178 fatcat:6wtakpxhyza2bomgyllnpqxoka

A KLM Perspective on Defeasible Reasoning for Description Logics [chapter]

Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019 Lecture Notes in Computer Science  
In this paper we present an approach to defeasible reasoning for the description logic ALC.  ...  We consider versions of a preferential semantics for two forms of defeasible subsumption, and link these semantic constructions formally to KLM-style syntactic properties via representation results.  ...  semantics for description logics.  ... 
doi:10.1007/978-3-030-22102-7_7 fatcat:jqmd6rc2pbbk5lz2guo2lugete

On Rational Entailment for Propositional Typicality Logic [article]

Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2018 arXiv   pre-print
for KLM-style conditionals, and constructed using different notions of minimality.  ...  The semantics of PTL is in terms of ranked models as studied in the well-known KLM approach to preferential reasoning and therefore KLM-style rational consequence relations can be embedded in PTL.  ...  However, a consequence of their restricted use of typicality is that a propositional version of their logic would correspond to a KLM-style conditional logic in which rational closure behaves well, and  ... 
arXiv:1809.10946v1 fatcat:ie4gy5swkfg7jarmrwcc2l67oi

Rational Defeasible Belief Change

Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2020 Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning  
In this paper we consider the classical AGM belief change operators, contraction and revision, applied to a defeasible setting in the style of Kraus, Lehmann, and Magidor.  ...  of logic-based ontologies.  ...  KLM-style defeasible reasoning can therefore be viewed as an extension of propositional logic.  ... 
doi:10.24963/kr.2020/22 dblp:conf/kr/CasiniMV20 fatcat:gj7sruxl7jbvrm2pwftpeaww4u

Theoretical Foundations of Defeasible Description Logics [article]

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2019 arXiv   pre-print
We extend description logics (DLs) with non-monotonic reasoning features.  ...  In particular, we consider a natural and intuitive semantics for defeasible subsumption, and investigate KLM-style syntactic properties for both preferential and rational subsumption.  ...  Defeasible subsumption relations and their KLM-style properties In a sense, class subsumption (alias concept inclusion) of the form C ⊑ D is the main notion in DL ontologies.  ... 
arXiv:1904.07559v1 fatcat:icpvjvw6izctjd7uhirgyifxji

Weighted Conditional EL^bot Knowledge Bases with Integer Weights: an ASP Approach

Laura Giordano, Daniele Theseider Dupré
2021 Electronic Proceedings in Theoretical Computer Science  
logical semantics of Multilayer Perceptrons.  ...  Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a  ...  The description logic E L ⊥ We consider the description logic E L ⊥ of the E L family [2] . Let N C be a set of concept names, N R a set of role names and N I a set of individual names.  ... 
doi:10.4204/eptcs.345.19 fatcat:fhegn6vdcral5ed4b4jio72kta

From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview [article]

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 arXiv   pre-print
We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics to take into account preferences with respect to different concepts, as a tool for providing a  ...  It allows for logical properties of the network to be checked (by model checking) over an interpretation capturing the input-output behavior of the network.  ...  We consider the description logic ALC Let N C be a set of concept names, N R a set of role names and N I a set of individual names.  ... 
arXiv:2107.04870v1 fatcat:qxz55dvfibaabffni7pwawdm3q

Situated Conditional Reasoning [article]

Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2021 arXiv   pre-print
Formally, they are shown to generalise the conditional setting in the style of Kraus, Lehmann, and Magidor.  ...  We then propose an intuitive semantics for these conditionals, and present a representation result which shows that our semantic construction corresponds exactly to the description in terms of postulates  ...  KLM-style rational defeasible consequence A defeasible consequence relation |∼ is a binary relation on L.  ... 
arXiv:2109.01552v1 fatcat:pfj7chc4nnef7bxmfaztrndgma

A reconstruction of the multipreference closure [article]

Laura Giordano, Valentina Gliozzi
2020 arXiv   pre-print
The paper describes a preferential approach for dealing with exceptions in KLM preferential logics, based on the rational closure.  ...  It is well known that the rational closure does not allow an independent handling of the inheritance of different defeasible properties of concepts.  ...  description logic EL, which considers defeasible information for quantified concepts [51] .  ... 
arXiv:1905.03855v2 fatcat:pcyihz765jebrdlit2b5a2lyxq

Adaptively applying modus ponens in conditional logics of normality

Christian Straßer
2012 Journal of Applied Non-Classical Logics  
This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals.  ...  In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing.  ...  Acknowledgements Research for this paper was supported by the Research Fund of Ghent University by means of Research Project 01G01907.  ... 
doi:10.1080/11663081.2012.682450 fatcat:rpdxxnsb5na7doj7x7l4ip7wse
« Previous Showing results 1 — 15 out of 32 results