35,971 Hits in 2.7 sec

Graded hypothesis theories

Philippe Chatalic, Christine Froidevaux, Camilla Schwind
1997 Theoretical Computer Science  
The proposed framework is a multimodal logic in which uncertainty is represented by means of a set of partially ordered symbolic grades, expressed as modal operators.  ...  We thus obtain a very natural integration of multimodal graded logic and hypothesis theory. We also study various properties of this formalism in presence of partial inconsistency.  ...  been shown in [5] that there are some correspondences between classical graded logic and multimodal graded logic, as well as between graded default theories and graded hypothesis theories.  ... 
doi:10.1016/s0304-3975(96)00131-4 fatcat:iln5w25x4ncf7iri57fdd6653y

Page 2576 of Mathematical Reviews Vol. , Issue 98D [page]

1998 Mathematical Reviews  
Summary: “Default logic is one of the principal formalisms for nonmonotonic reasoning.  ...  The proposed framework is a mul- timodal logic in which uncertainty is represented by means of a set of partially ordered symbolic grades, expressed as modal op- erators.  ... 

Page 7796 of Mathematical Reviews Vol. , Issue 2002K [page]

2002 Mathematical Reviews  
The author applies the results of Chapter 3 to H-systems. (7) Graded consequence relations.  ...  This kind of reasoning is called plausible or default reasoning.  ... 

Algebraic Semantics for Graded Propositions

Haythem O. Ismail, Nourhan Ehab
2015 Deutsche Jahrestagung für Künstliche Intelligenz  
In this paper, we present the syntax and semantics of LogAG, defining an infinite sequence of graded logical consequence relations, each corresponding to accepting graded propositions at some nesting depth  ...  We show the utility of LogAG in default reasoning, reasoning about information provided by a chain of sources with varying degrees of trust, and representing the dilemma one is in when facing paradoxical  ...  Graded consequences of the LogAG theory TSM2 from Example 2 But it is neither second-order like circumscriptive theories [9] nor dependent on special default rules like default logic [7] .4 While  ... 
dblp:conf/ki/IsmailE15 fatcat:fduffil27bfyji6q3ng4dcuumq


Vasily Karasev, Ekaterina Karaseva
2017 Environment Technology Resources Proceedings of the International Scientific and Practical Conference  
In this paper we research the application of logical and probabilistic method to manage risk in socio-economic systems.  ...  Logical and probabilistic method is widely used for estimation of reliability and safety in structural complex technical systems.  ...  Credit default due to concrete parameter or grade is casual event-parameter or event-grade. Eventsgrades of every parameter form a GIE. Events lead to credit default with certain probability.  ... 
doi:10.17770/etr2017vol2.2584 fatcat:wmkibmboczd4zat7mzg7tcumnu

Towards a Unified Algebraic Framework for Non-Monotonicity

Nourhan Ehab, Haythem O. Ismail
2018 Deutsche Jahrestagung für Künstliche Intelligenz  
In this paper, we present an algebraic graded logic we refer to as LogAG capable of encompassing various non-monotonic logics.  ...  One of the most widely studied logics of uncertainty is possibilistic logic tailored for non-monotonic reasoning under incomplete and partially inconsistent knowledge.  ...  In doing so, we can prove that Log A G subsumes default logic, circumscription, and autoepistemic logic.  ... 
dblp:conf/ki/EhabI18 fatcat:qfja2fwrz5dendwikcm3z7u3je

Introducing Polymodal Neighbourhood Logics

Renata de Freitas, Petrucio Viana
2009 Electronical Notes in Theoretical Computer Science  
Section 4 presents the systems of modal logic for vague notions [2] , graded modalities [8] , and default modal logic [1] as subsystems of PNL.  ...  P Default modal logic Default modal logic was introduced in [1] . It is a logic endowed with a binary operator that has the intended meaning of 'if α, then normally β'.  ... 
doi:10.1016/j.entcs.2009.07.048 fatcat:csj7ch6jnzdh3dcfetd4nvdts4

Page 3913 of Mathematical Reviews Vol. , Issue 96g [page]

1996 Mathematical Reviews  
[Chakraborty, Mihir Kumar] (6-CALC-PM;; Calcutta) Graded consequence: further studies. (English summary) J. Appl. Non-Classical Logics 5 (1995), no. 2, 227-237.  ...  ) default assertions are not placed in the object language but rather in its metalanguage, thus impeding iteration of defaults and their embedding in truth-functional contexts.  ... 

Page 3480 of Mathematical Reviews Vol. , Issue 94f [page]

1994 Mathematical Reviews  
(53-57); Christine Froidevaux, Philippe Chatalic and Jér6me Mengin, Graded default logics (70-75); Gerhard Brewka, Assertional default theories (120-124); Antonio Di Nola, Witold Pedrycz and Salvatore  ...  , A preferential model semantics for default logic (344-351); Emil Weydert, Elementary hyperentailment—nonmonotonic reasoning about defaults (352-359). 94f:68032 68-06 68U05 * Selected papers from the  ... 

Page 6798 of Mathematical Reviews Vol. , Issue 2000j [page]

2000 Mathematical Reviews  
This logical system is enriched with a graded notion of entailment, and then accompanied by a complete axiomatization, which itself has to refer to a graded notion of derivability.  ...  The expressive power of the priority logic of X. Wang, J.-H. You and L. Y. Yuan is also analyzed and shown to coincide with that of default logic.  ... 

Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models [chapter]

Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe, Jan Ramon
2005 Lecture Notes in Computer Science  
Probabilistic Logical Models Probabilistic logical models are models combining aspects of probability theory with aspects of Logic Programming, first-order logic or relational languages.  ...  We review Logical Bayesian Networks, a language for probabilistic logical modelling, and discuss its relation to Probabilistic Relational Models and Bayesian Logic Programs.  ...  Second, because no logical predicates exist in BLPs, BLPs do not have the concept on non-monotonic negation (useful for default reasoning, for instance).  ... 
doi:10.1007/11536314_8 fatcat:x5dnancj55fs5nhenhtnsc4eoy

Modal Constructions in Sociological Arguments

Laszlo Polos, Michael Hannan, Greta Hsu
2009 Social Science Research Network  
Abstract This paper introduces modal logics to a sociological audience.  ...  To do this, we define our multi-modal language and then add substantive constraints that specify the inferential behavior of modalities for perception, default, and belief.  ...  In a parallel to the grade of membership defined for extensions of labels, µ i (l ) (x, y, t ) denotes the grade of membership of x in the "meaning" (intension) of the label l from y's perspective at time  ... 
doi:10.2139/ssrn.1331665 fatcat:ifk3j4dwifeehadlolbypsvaym

Usuality, regularity, and fuzzy set logic

Thomas Whalen, Brian Schott
1992 International Journal of Approximate Reasoning  
We review material implication under three major logical systems: propositional logic, predicate logic, and set logic.  ...  This approach resembles nonmonotonic logic schemes such as circumscription but differs in focusing on degrees of regularity and abnormality rather than using a two-valued logic.  ...  If we were to take the absolutely typical value of Zp as a default, this would make PR(P) equal to 1, returning us to the previous case of standard strict logic.  ... 
doi:10.1016/0888-613x(92)90001-g fatcat:or35jrdmmnbjxlbjx4237zi5ou

The man who wasn't there: The problem of partially missing data

Stephen Henley
2005 Computers & Geosciences  
seem to be little different from the 'default values' previously condemned by Codd) .  ...  This might include the creation and use of special values (default values) as advocated by Date.  ... 
doi:10.1016/j.cageo.2005.01.010 fatcat:7rf56k7sifft3nll4kosfc6ree

Credit ratings and the BIS capital adequacy reform agenda

Edward I Altman, Sreedhar T Bharath, Anthony Saunders
2002 Journal of Banking & Finance  
However, the split chosen is A+ to A-, BBB+ to BB-and below BB-, rather than the more logical investment grade versus non-investment grade split of A+ to BBB-, BB+ to B-and below B-that we suggested in  ...  We reiterate our recommendation that a more logical bucketing approach would be to separate the "lower" investment grade ratings (A+ and BBB-) from the upper, main strata of lower grade credits (BB and  ... 
doi:10.1016/s0378-4266(01)00269-2 fatcat:uvuxsg3khbdibka6noy5rrzuo4
« Previous Showing results 1 — 15 out of 35,971 results