A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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  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
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. ...
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. ...
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  nor dependent on special default rules like default logic  .4 While ...dblp:conf/ki/IsmailE15 fatcat:fduffil27bfyji6q3ng4dcuumq
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
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
Section 4 presents the systems of modal logic for vague notions  , graded modalities  , and default modal logic  as subsystems of PNL. ... P Default modal logic Default modal logic was introduced in  . 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
[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. ...
(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 ...
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. ...
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
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
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
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
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