The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.

## Filters

##
###
Page 1996 of Mathematical Reviews Vol. , Issue 96d
[page]

1996
*
Mathematical Reviews
*

Max Urchs (Torun)
96d:03038 03B60
Herre, Heinrich (D-LEIP-II; Leipzig)
Generalized compactness of

*nonmonotonic**inference**operations*. (English summary ) J. Appl. ... The results are shown to imply efficient reasoning methods*for*stratified cases of default*logic*,*logic*programs, truth maintenance systems, and*nonmonotonic*modal*logics*.” 96d:03040 03B60 03835 03B45 ...##
###
Page 5556 of Mathematical Reviews Vol. , Issue 94j
[page]

1994
*
Mathematical Reviews
*

*logic*, one ventures outside the scope of (

*fuzzy*)

*logic*

*operations*.” 94j:03059 03B52 Trillas, E. ... the explicit

*operations*of

*logic*alone. ...

##
###
Page 1234 of Mathematical Reviews Vol. , Issue 92c
[page]

1992
*
Mathematical Reviews
*

Finally, the T-

*operators*are extended to the conventional*fuzzy*reasoning methods which are based on the min and max*operators*. ... Helen Skala (Winona, MN) 92c:03031 03B60 68T27 Lin, Fang Zhen (1-STF-C); Shoham, Yoav (1-STF-C) Epistemic semantics*for*fixed-points*nonmonotonic**logics*. ...##
###
Page 3139 of Mathematical Reviews Vol. , Issue 95f
[page]

1995
*
Mathematical Reviews
*

“We postulate axioms

*for**nonmonotonic**fuzzy*propositional*logic*(inspired by Paris and Vencovska’s axioms*for*ampliative probabilistic*inference*). ... 03B52 03B60 03B70 Maung, Ian (4-MANC; Manchester) A note on measures of*fuzziness*applied to*nonmonotonic**fuzzy*propositional*logic*. ...##
###
Page 2541 of Mathematical Reviews Vol. , Issue 95e
[page]

1995
*
Mathematical Reviews
*

Summary: “We analyze the relationship between choice provability (derivability in at least one extension) of

*nonmonotonic**logics*, and the abstract properties of*nonmonotonic**inference*relations proposed ... Summary: “On the basis of a straightforward understanding of set*operations*, a*fuzzy**logic*system is embedded into a Boolean lattice. ...##
###
Page 4534 of Mathematical Reviews Vol. , Issue 96h
[page]

1996
*
Mathematical Reviews
*

Summary: “We analyze the relationship between choice provability (derivability in at least one extension) of

*nonmonotonic**logics*, and the abstract properties of*nonmonotonic**inference*relations pro- posed ... Jean-Yves Béziau (Sao Paulo) 96h:03063 03B60 68T27 Antoniou, Grigoris (5-NEWC-IS; Newcastle) Abstract properties*for*the choice provability relation in*nonmonotonic**logics*. ...##
###
Subject index to volume 4, 1990

1990
*
International Journal of Approximate Reasoning
*

499 Approximate reasoning, 47-68

doi:10.1016/0888-613x(90)90018-w
fatcat:3opxjnbw7vfg5hpfmmgzr4tg5m
*fuzzy*implication*operator*and method-ofcases*inference*rule, 307~318 Artificial intelligence, 283-306 belief functions and belief maintenance in, 319-322 Assumption-based ... truth mainterumce system, Dempster-Shafer theory and, 451-498 Bayes networks, adapting connectionist learning to, 261-282 Bayesian methods, probabilistic*inference*and, 283-306 Bayesian theory, belief ... arithmetic, 89-158*Fuzzy*implication*operators*, method-of-cases*inference*rule and, 307-318*Fuzzy*integral, 69-85*Fuzzy*method of cases, nine forms of*operator*satisfy, 307-318*Fuzzy*number comparison ...##
###
Page 4629 of Mathematical Reviews Vol. , Issue 2002G
[page]

2002
*
Mathematical Reviews
*

They consider a situation in which a set A of propositions is inconsistent under a

*nonmonotonic**inference**operation*C, and study certain strategies*for*getting rid of the contradiction by modifying A. ... trom A from the point of view of a weaker “backup”*inference**operation*C’. ...##
###
Page 4524 of Mathematical Reviews Vol. , Issue 97G
[page]

1997
*
Mathematical Reviews
*

Both of the main

*inference*paradigms*for**nonmonotonic**logic*, credulous and sceptical reasoning, are treated in this paper. ... The advantage of this approach is twofold: (1) deductive planning yields a very natural procedural semantics*for**nonmonotonic**inference*and (2) efficient algorithms*for*deduc- tive planning are available ...##
###
Page 3249 of Mathematical Reviews Vol. , Issue 96f
[page]

1996
*
Mathematical Reviews
*

(IL-HEBR-IC; Jerusalem)

*Nonmonotonic**inference**operations*. (English summary) Bull. IGPL 1 (1993), no. 1, 23-68. A general theory of*nonmonotonic**inference**operations*is de- veloped. ...*inference**operations*, such a generalization in the*nonmonotonic*case is not trivial. ...##
###
Page 754 of Mathematical Reviews Vol. , Issue 99b
[page]

1991
*
Mathematical Reviews
*

Similar results are achieved

*for*the*logic*fK (*fuzzy*K), and*for*some*logics*corresponding to special sub- classes of such frames. ... A*nonmonotonic**inference*relation defined by ampliative transfor- 03 MATHEMATICAL*LOGIC*AND FOUNDATIONS 754 mations derived from deductively cogent, caution dependent, and partition sensitive rules*for*...##
###
Page 5748 of Mathematical Reviews Vol. , Issue 95j
[page]

1995
*
Mathematical Reviews
*

principle

*for**fuzzy**logics*. ... The author first introduces a way to extend any closure*operator*J defined on the class A(S) of the subsets of a given set S to a*fuzzy*closure*operator*defined on the class of*fuzzy*subsets of S. ...##
###
Page 7796 of Mathematical Reviews Vol. , Issue 2002K
[page]

2002
*
Mathematical Reviews
*

closure

*operator*and that,*for*every continuous*fuzzy*closure*operator*ZY, a*fuzzy*H- system exists whose associated deduction*operator*coincides with 2. ... The author calls a*fuzzy*Hilbert*logic*any pair (7, #), where # is a*fuzzy*semantics and Y a*fuzzy*H-system whose deduc- tion*operator*coincides with the*logical*consequence*operator*Le associated with ...##
###
Page 1050 of Mathematical Reviews Vol. , Issue 94b
[page]

1994
*
Mathematical Reviews
*

Summary: “The aim of the paper is to analyse

*nonmonotonic*reasoning*for*universal theories and*logic*programs within the framework of*inference**operations*based on model*operators*. ... local*inference*in*fuzzy*knowledge bases. ...##
###
Page 3647 of Mathematical Reviews Vol. , Issue 94g
[page]

1994
*
Mathematical Reviews
*

The

*fuzzy**operator*is treated formally as a generalized negation*operator*. The authors develop a consistent calculus of formulas with*fuzzy**operators*, called*fuzzy**operator**logic*. ... The authors also construct an*inference*system*for*their*logic*. The*inference*system admits only statements whose confidence level is above a given threshold of acceptability. ...
« Previous

*Showing results 1 — 15 out of 997 results*