661 Hits in 3.5 sec

Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches

Alvaro del Val
1997 Journal of Applied Non-Classical Logics  
KEYWORDS: non monotonic reasoning, belief revision. Parts of this paper appeared in preliminary form in dV 94], and are based on research done while the author was a postdoc at Stanford University.  ...  The major approaches to belief revision and non monotonic reasoning proposed in the literature di er along a number of dimensions, including whether they are \syntax-based" or \semantic-based", \foundational  ...  Acknowledgements Thanks to Andrea Herzig, Hans Rott, and Mary-Anne Williams for useful discussions in Barcelona, and to the anonymous referees for their constructive suggestions and criticisms.  ... 
doi:10.1080/11663081.1997.10510906 fatcat:qtwrpkcvgza23bgfuyaihosoqe

Belief Change in a Preferential Non-monotonic Framework

Giovanni Casini, Thomas Meyer
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
In this paper we show that it also makes sense to analyse belief change within a (preferential) non-monotonic framework.  ...  We consider belief change operators in a non-monotonic propositional setting with a view towards preserving consistency.  ...  Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  ... 
doi:10.24963/ijcai.2017/129 dblp:conf/ijcai/CasiniM17 fatcat:6eokul4kxjdqffx5bo55njrm6i

Semantic Foundation for Preferential Description Logics [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Lecture Notes in Computer Science  
Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90's, would therefore constitute a natural extension  ...  We argue that our semantics paves the way for extending preferential and rational consequence, and therefore also rational closure, to a whole class of logics that have a semantics defined in terms of  ...  Both approaches propose specific non-monotonic consequence relations, and hence their semantic constructions are special cases of the more general framework we have provided here.  ... 
doi:10.1007/978-3-642-25832-9_50 fatcat:yqsn7tbff5aizh7zedinz5jlvu

Enriching a CP-Net by Asymmetric Merging [article]

Stijn Henckens, Mostafa Mohajeri Parizi, Giovanni Sileno
2021 arXiv   pre-print
In many use cases, when the preferential structure of an agent is incomplete, information from other preferential structures (e.g. that of other users) preferences can be used to fill in the gaps.  ...  This paper proposes an asymmetric merging (or enriching) method to obtain and fill-in preference relations of a user's CP-net from another CP-net in a way that preserves the original preference relations  ...  Acknowledgments This paper results from work partially done within the NWO-funded project Data Logistics for Logistics Data (DL4LD, in the Commit2Data program (grant no: 628.001.001  ... 
arXiv:2109.10110v1 fatcat:ngynpsonhbcipga4qjyvl57ika

Resolving conflicts in knowledge for ambient intelligence

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Šefránek, Alexander Šimko, Jozef Frtús, Dimitra Zografistou, Martin Baláž
2015 Knowledge engineering review (Print)  
We take a look at a number of KR approaches that may be applied: context modelling, multi-context systems, belief revision, ontology evolution and debugging, argumentation, preferences, and paraconsistent  ...  In this survey, we relate AmI to the area of knowledge representation and reasoning (KR), where conflict resolution has been studied for a long time.  ...  Acknowledgements This work resulted from the Slovak-Greek bilateral project "Multi-context Reasoning in Heterogeneous environments", registered on the Slovak side under no.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

Defeasible Modalities [article]

Katarina Britz, Ivan Varzinczak
2013 arXiv   pre-print
In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models.  ...  We also propose a tableau calculus which is sound and complete with respect to our preferential semantics.  ...  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 Plausibility Semantics for Abstract Argumentation Frameworks [article]

Emil Weydert
2014 arXiv   pre-print
We propose and investigate a simple ranking-measure-based extension semantics for abstract argumentation frameworks based on their generic instantiation by default knowledge bases and the ranking construction  ...  In this context, we consider the path from structured to logical to shallow semantic instantiations. The resulting well-justified JZ-extension semantics diverges from more traditional approaches.  ...  The monotonic semantics of our conditionals ։, ❀ is based on the satisfaction relation |= rk .  ... 
arXiv:1407.4234v1 fatcat:szqs67eml5hnjigcm4rxkdprmm

A preference semantics for imperatives

William B. Starr
2020 Semantics and Pragmatics  
Disjunction Some work in dynamic semantics has treated disjunction as the union of In R 1 , there is only one preferential and informational perspective, while in R 2 there are two.  ...  capture on a non-representational semantics.  ... 
doi:10.3765/sp.13.6 fatcat:jk3ovsfspfemzayufj26tmnhli

Defaults and Infinitesimals: Defeasible Inference by Nonarchimedean Entropy-Maximization [article]

Emil Weydert
2013 arXiv   pre-print
We develop a new semantics for defeasible inference based on extended probability measures allowed to take infinitesimal values, on the interpretation of defaults as generalized conditional probability  ...  constraints and on a preferred-model implementation of entropy maximization.  ...  ACKNOWLEDGEMENTS Thanks to the anonymous referees, who have helped to make this paper a less obscure one.  ... 
arXiv:1302.4988v1 fatcat:q55wyeuvcberde6hkrp6zelqey

Preferences in artificial intelligence

Gabriella Pigozzi, Alexis Tsoukiàs, Paolo Viappiani
2015 Annals of Mathematics and Artificial Intelligence  
The semantics of P is based on the notion of preferential model.  ...  One may view all major formalisms for non monotonic reasoning as different approaches to the problem of identifying belief sets preferred for reasoning, once the world is assumed to be as normal as possible  ... 
doi:10.1007/s10472-015-9475-5 fatcat:3wspv5ycirgapjv6u2bxpcd6p4


Hans Rott
2008 Philosophy of Information  
It is just that qualitative approaches using preferential structures have played a major role in belief change theories, and they easily offer enough material for a chapter of their own.  ...  Revision may consist in a relatively trivial change operation on the data base level, or alternatively, in a relatively sophisticated change operation on the belief state level.  ... 
doi:10.1016/b978-0-444-51726-5.50016-9 fatcat:4ilayqei3rb6jnfhhgp6i3k32e

Preferential Multi-Context Systems [article]

Kedian Mu and Kewen Wang and Lian Wen
2015 arXiv   pre-print
In this paper, we propose preferential multi-context systems (PMCS), which provide a framework for incorporating a total preorder relation over contexts in a multi-context system.  ...  In a given PMCS, its contexts are divided into several parts according to the total preorder relation over them, moreover, only information flows from a context to ones of the same part or less preferred  ...  For example, as stated in [4] , there is growing interest in combining ontologies based on description logics with non-monotonic formalisms in semantic web applications.  ... 
arXiv:1504.06700v1 fatcat:b6ww6tsstjbpfd7aebfd24z5gi

Dynamic Expressivism about Deontic Modality [chapter]

William B. Starr
2016 Deontic Modality  
Willer, (this volume, Chapter ) elaborates on the relationship between this kind of non-monotonic approach and one based on default logic.  ...  Willer (), for example, shows that a dynamic non-monotonic consequence relation relieves the pressures placed on modus ponens in deontic settings by Chisholm's Paradox (Chisholm, ) , the Miner's  ... 
doi:10.1093/acprof:oso/9780198717928.003.0013 fatcat:detmnes2mnbffd55hwdz5rxpry

Weighted logics for artificial intelligence – an introductory discussion

Didier Dubois, Lluís Godo, Henri Prade
2014 International Journal of Approximate Reasoning  
There are two traditions in AI for representing uncertainty, that still need to be reconciled to a large extent: • The non-graded Boolean tradition of (monotonic) epistemic logics that rely on the modal  ...  formalism, and include some exception-tolerant non-monotonic logics. • The graded tradition typically relying on degrees of probability.  ...  Lastly, let us also mention that apart from reasoning about similarity, what may be termed reasoning with similarity has been also proposed as a semantic basis in non-monotonic reasoning [65] , information  ... 
doi:10.1016/j.ijar.2014.08.002 fatcat:hri6ffyszzernoyexdemade37m

PTL: A Propositional Typicality Logic [chapter]

Richard Booth, Thomas Meyer, Ivan Varzinczak
2012 Lecture Notes in Computer Science  
The semantics is in terms of ranked models as studied in KLM-style preferential reasoning. This allows us to show that rational consequence relations can be embedded in our logic.  ...  Building on the existing link between propositional rational consequence and belief revision, we show that the same correspondence holds for rational consequence and belief revision on PTL.  ...  Finally they also offer an alternative perspective on belief change [9] .  ... 
doi:10.1007/978-3-642-33353-8_9 fatcat:mwucomtwcfe3vcp7nwaqa34bui
« Previous Showing results 1 — 15 out of 661 results