Filters








997 Hits in 2.5 sec

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 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  ... 
doi:10.1016/0888-613x(90)90018-w fatcat:3opxjnbw7vfg5hpfmmgzr4tg5m

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