Filters








37,270 Hits in 3.2 sec

Normal Modal Preferential Consequence [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2012 Lecture Notes in Computer Science  
In recent work we provided the semantic foundation for extending defeasible consequence relations to modal logics and description logics.  ...  One of the most successful approaches to the formalization of commonsense reasoning is the work by Lehmann and colleagues, known as the KLM approach, in which defeasible consequence relations with a preferential  ...  It is easy to check that P = S, , ≺ is a preferential model and that P p but P 2p. Hence the preferential semantics for modal consequence is not, strictly speaking, truly normal in the modal sense.  ... 
doi:10.1007/978-3-642-35101-3_43 fatcat:gzjwcuhxmze67oqvpuhncvwdku

Preferential Reasoning for Modal Logics

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Electronical Notes in Theoretical Computer Science  
In this paper we fill this gap by providing a natural and intuitive semantics for preferential and rational modal consequence.  ...  We also prove representation results for both preferential and rational consequence, which paves the way for effective decision procedures for modal preferential reasoning.  ...  The core of epistemic logic is the normal multi-modal logic K m .  ... 
doi:10.1016/j.entcs.2011.10.006 fatcat:4bhmdz76ufa7rh7dho3zlpm3uq

Defeasible Modalities [article]

Katarina Britz, Ivan Varzinczak
2013 arXiv   pre-print
We also propose a tableau calculus which is sound and complete with respect to our preferential semantics.  ...  The resulting family of modal logics allow for the elegant expression of defeasible modalities.  ...  allowing us to talk about normality in the consequent.  ... 
arXiv:1310.6409v1 fatcat:xxbgo543njdftmyyy2322ga7pq

Chapter 6 Nonmonotonic Reasoning [chapter]

Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński
2008 Foundations of Artificial Intelligence  
We note that modal logics offer consequence operators which are stronger than the operator Cn.  ...  equation, Cn S represents the consequence relation in the modal logic S. If E satisfies (1.5), then E is closed under the propositional consequence relation.  ... 
doi:10.1016/s1574-6526(07)03006-4 fatcat:7r4l7tqgn5hfjok7yqbuxj5xwa

A Multisensory fMRI Investigation of Nociceptive-Preferential Cortical Regions and Responses

Xiaoxia Zhang, Linling Li, Gan Huang, Li Zhang, Zhen Liang, Li Shi, Zhiguo Zhang
2021 Frontiers in Neuroscience  
By comparing the evoked fMRI responses across four sensory modalities, we found a series of brain regions specifically or preferentially involved in nociceptive sensory input.  ...  sensory stimulation, could help identify nociceptive-specific brain regions, but previous studies are limited by sample size and they did not differentiate nociceptive-specific regions and nociceptive-preferential  ...  As a consequence, the modality-specific and modalitypreferential regions identified in the present study are not directly comparable.  ... 
doi:10.3389/fnins.2021.635733 pmid:33935632 pmcid:PMC8079658 fatcat:4i3cf3ebifdd3cbv5e2ifqbzwq

Page 4913 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
Sections 6— 7 define the notions of preferential theory, preferential extension, and general preferential theory.  ...  Circumscription as a preferential theory is analysed. Section 9 takes a look at Y. Shoham’s preferential entailment and its relationship to condi- tional logics.  ... 

Page 2748 of Mathematical Reviews Vol. , Issue 97E [page]

1997 Mathematical Reviews  
more acceptable” and “more normal”.  ...  The dilemma is that modal logic forces us to choose a single world in which to evaluate certain for- mulae.  ... 

Nonmonotonic Logics and Their Algebraic Foundations [chapter]

Mirosław Truszczyński
2006 Lecture Notes in Computer Science  
Inference relations determined by ranked preferential models were shown in [9] to be precisely those preferential inference relations that satisfy Rational Monotony.  ...  Finally we have the default rule saying that normally Dr. Jones teaches.  ... 
doi:10.1007/11874683_4 fatcat:u7klqrtejfe43c67l2vm2ga5x4

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics [article]

Sarit Kraus, Daniel Lehmann, Menachem Magidor
2002 arXiv   pre-print
One of the families of interest, that of preferential relations, turns out to have been studied by E. Adams.  ...  We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen. Both proof-theoretic and semantic points of view are developed in parallel.  ...  It is clear that efforts to understand normally as some unary notion, e.g. translating if α, normally β as N (α → β) or as α → N β for some unary modal operator cannot be expressive enough.  ... 
arXiv:cs/0202021v1 fatcat:rnf6yj3dobcebaata3vdb6p5ei

A Minimal Model Semantics for Nonmonotonic Reasoning [chapter]

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012 Lecture Notes in Computer Science  
This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor.  ...  The correspondence between rational closure and minimal model semantics suggests the possibility of defining variants of rational closure by changing either the underlying modal logic or the comparison  ...  in logic P/R of a set of conditionals if and only if it belongs to all preferential/rational consequence relations extending that set of conditionals, or (in semantic terms), it is valid in all preferential  ... 
doi:10.1007/978-3-642-33353-8_18 fatcat:x5rhh6p26bht3plyrw355sjvcy

Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations [article]

Dov Gabbay, Karl Schlechta
2010 arXiv   pre-print
Our system in a modal framework The language of obligations has usually the flavour of modal languages, whereas the language describing preferential structures is usually different in decisive aspects.  ...  for X, Y, Z ⊆ W (5-a) ∅ ∈ ob(X) (5-b) if Y ∩ X = Z ∩ X, then Y ∈ ob(X) ⇔ Z ∈ ob(X) (5-c) if Y, Z ∈ ob(X), then Y ∩ Z ∈ ob(X) (1) 2 p is a normal modal operator of type KT (5-d) if Y ⊆ X ⊆ Z, Y ∈ ob(X)  ...  In modal logic, even if two states have the same valid classical formulas, they might still be distinguishable by their valid modal formulas.  ... 
arXiv:1002.3021v1 fatcat:w7nvukd4trgrxppx25wo56djde

Page 3225 of Psychological Abstracts Vol. 85, Issue 8 [page]

1998 Psychological Abstracts  
Modal register refers to the range of Fy) used in the “normal mode” of speaking and singing.  ...  Vocal fry is a voice register approximately one octave below the frequencies noted for the normal male modal register.  ... 

Semantic Foundation for Preferential Description Logics [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Lecture Notes in Computer Science  
We present representation results for the description logic ALC for both preferential and rational consequence relations.  ...  Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in description logics.  ...  notion of normal worlds satisfying a given proposition.  ... 
doi:10.1007/978-3-642-25832-9_50 fatcat:yqsn7tbff5aizh7zedinz5jlvu

On the Decidability of a Fragment of preferential LTL

Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, Martin Theobald, Emilio Muñoz-Velasco, Ana Ozaki
2020 International Symposium/Workshop on Temporal Representation and Reasoning  
We do so by investigating a preferential semantics for defeasible LTL along the lines of that extensively studied by Kraus et al. in the propositional case and recently extended to modal and description  ...  The main contribution of the paper is a decidability result for a meaningful fragment of preferential LTL that can serve as the basis for further exploration of defeasibility in temporal formalisms.  ...  These are given an intuitive semantics in terms of preferential temporal interpretations in which time points are ordered according to their likelihood (or normality).  ... 
doi:10.4230/lipics.time.2020.19 dblp:conf/time/ChafikACV20 fatcat:vatkiy5e4vdwjhcwl37jdejsum

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.  ...  We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a formula holds.  ...  [3] investigate another embedding of propositional preferential reasoning in modal logic.  ... 
doi:10.1007/978-3-642-33353-8_9 fatcat:mwucomtwcfe3vcp7nwaqa34bui
« Previous Showing results 1 — 15 out of 37,270 results