Fuzzy sets in approximate reasoning, Part 2: logical approaches

Adlassnig, 1986, Fuzzy medical diagnosis in a hospital, Vol. 86, 275 Akdag, 1989, Treillis distributifs et degrés de vérité linguistiques, 37, 10 Akdag, 1989, Incertitude et logique multivalente — Première partie: Etude théorique, BUSEFAL, 38, 122 Akdag, 1989, Incertitude et logique multivalente — Deuxième partie: Application aux systèmes experts, BUSEFAL, 39, 75 Appelbaum, 1985, ARIES: an approximate reasoning inference engine, 745 Aronson, 1980, A note on fuzzy deduction, J. Assoc. Comput. Mach., 27, 599, 10.1145/322217.322218 Atanassov, 1986, Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 20, 87, 10.1016/S0165-0114(86)80034-3 Badard, 1984, Reinforcement semantics, 260 Baldwin, 1987, Evidential support logic programming, Fuzzy Sets and Systems, 24, 1, 10.1016/0165-0114(87)90110-2 Bandler, 1985, Probabilistic versus fuzzy production rules in expert systems, Internat. J. Man-Machine Stud., 22, 347, 10.1016/S0020-7373(85)80008-0 Bénéjam, 1986, La méthode de Beth pour la construction de modèles en logique à valeurs réelles, 393 Biacino, 1989, Necessities generated by an initial valuation, BUSEFAL, 41, 7 Biacino, 1990, The lattice of the necessities, BUSEFAL, 42, 12 Bonissone, 1987, Summarizing and propagating uncertain information with triangular norms, Internat. J. Approximate Reasoning, 1, 71, 10.1016/0888-613X(87)90005-3 Bonissone, 1987, RUM: a layered architecture for reasoning with uncertainty, 891 Buchanan, 1984 Buckley, 1986, A fuzzy expert system, Fuzzy Sets and Systems, 20, 1, 10.1016/S0165-0114(86)80027-6 Buckley, 1987, A parallel rule firing production system with resolution of memory conflicts by weak fuzzy monotonicity, applied to the classification of objects characterized by multiple uncertain features, Internat. J. Man-Machine Stud., 26, 321, 10.1016/S0020-7373(87)80066-4 Buckely, 1989, Second generation fuzzy expert system, Fuzzy Sets and Systems, 31, 271, 10.1016/0165-0114(89)90200-5 Carnap, 1949, The two concepts of probability, Philosophy and Phenomenological Research, 513 Cattaneo, 1986, Semantical structures for fuzzy logics: an introduction approach, 33 De Glas, 1988, A few critical remarks on possibility theory De Glas, 1989, Knowledge representatio in a fuzzy setting Di Zenzo, 1986, A new many-valued logic and its application to approximate reasoning, 421 Ding, 1989, Fuzzy linear resolution as the inference engine of intelligent systems, Vol. 4, 1 Dubois, 1987, Theorem proving under uncertainty — A possibility theory-based approach, 984 Dubois, 1989, Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights, 81 Lang, 1991, Logique possibiliste: aspects formels, déduction automatique et applications Dubois, 1990, Poslog, an inference system based on possibilistic logic, 177 Dubois, 1979, Operations in a fuzzy-valued logic, Inform. and Control, 43, 224, 10.1016/S0019-9958(79)90730-7 Dubois, 1980, Fuzzy Sets and Systems: Theory and Applications Dubois, 1984, The management of uncertainty in expert systems: the possibilistic approach, 949 Dubois, 1986, Possibilistic inference under matrix form, 112 Dubois, 1987, The management of uncertainty in fuzzy expert systems and some applications, 39 Dubois, 1987, necessity measures and resolution principle, IEEE Trans. Systems Man Cybernet., 17, 474, 10.1109/TSMC.1987.4309063 Dubois, 1988, Truth, vagueness and uncertainty — On a frequent misunderstanding in approximate reasoning, 52 Dubois, 1988 Dubois, 1988, Representation and combination of uncertainty with belief functions and possibility measures, Computational Intelligence, 4, 244, 10.1111/j.1467-8640.1988.tb00279.x Dubois, 1988, An introduction to possibilistic and fuzzy logics (with discussions and a reply), 287 Dubois, 1988, An introduction to possibilistic and fuzzy logics (with discussions and a reply), 321 Dubois, 1988, Modeling uncertain and vague knowledge in possibility and evidence theories, 81 1990, 4, 303 Dubois, 1989, Handling uncertainty in expert systems — Pitfalls, difficulties, remedies, 65 Dubois, 1990, Resolution principles in possibilistic logic, Internat. J. Approximate Reasoning, 4, 1, 10.1016/0888-613X(90)90006-N Dubois, 1990, A discussion of uncertainty handling in support logic programming, Internat. J. Intelligent Systems, 5, 15, 10.1002/int.1990.5.1.15 Dubois, 1990, Fuzzy sets in approximate reasoning — Part 1: Inference with possibility distributions, Fuzzy Sets and Systems, 40, 143, 10.1016/0165-0114(91)90050-Z Dubois, 1988, In search of a modal system for possibility theory, 501 Duda, 1981, Model design in the Prospector consultant system for mineral exploration, 153 Fariñas del Cerro, 1988, Quantified modal logic and unification theory Farreny, 1986, Default and inexact reasoning with possibility degrees, IEEE Trans. Systems Man Cybernet., 16, 270, 10.1109/TSMC.1986.4308948 Farreny, 1986, Approximate reasoning in a rule-based expert system using possibility theory: a case study, 407 Freksa, 1981, Linguistic Pattern Characterization and Analysis Gaines, 1978, Fuzzy and probability uncertainty logics, Inform. and Control, 38, 154, 10.1016/S0019-9958(78)90165-1 Gerla, 1988, Fuzzy natural deduction, 58 Georgiev, 1990, Logic programming with intuitionistic fuzziness Giles, 1979, A formal system for fuzzy reasoning, Fuzzy Sets and Systems, 2, 233, 10.1016/0165-0114(79)90029-0 Giles, 1980, A computer program for fuzzy reasoning, Fuzzy Sets and Systems, 4, 221, 10.1016/0165-0114(80)90012-3 Giles, 1985, A resolution logic for fuzzy reasoning, 60 Giles, 1988, The concept of grade of membership, Fuzzy Sets and Systems, 25, 297, 10.1016/0165-0114(88)90017-6 Ginsberg, 1988, Multi-valued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, 4, 265, 10.1111/j.1467-8640.1988.tb00280.x Gochet, 1988, An introduction to possibilistic and fuzzy logics (with discussions and a reply), 318 Godo, 1987, Managing linguistically expressed uncertainty in milord — Application to medical diagnosis, 571 Godo, 1989, milord: the architecture and the management of linguistically expressed uncertainty, Internat. J. Intelligent Systems, 4, 471, 10.1002/int.4550040405 Gouguen, 1969, The logic of inexact concepts, Synthese, 19, 325, 10.1007/BF00485654 Gottwald, 1980, Fuzzy propositional logics, Fuzzy Sets and Systems, 3, 181, 10.1016/0165-0114(80)90053-6 Gottwald, 1986, Fuzzy set theory with T-norms and S-operators, 143 Graham, 1988 Haack, 1979, Do we need ‘fuzzy logic’?, Internat. J. Man-Machine Stud., 11, 437, 10.1016/S0020-7373(79)80036-X Heckerman, 1988, The myth of modularity in rule-based systems for reasoning with uncertainty, 2, 23 Hinde, 1986, Fuzzy Prolog, Internat. J. Man-Machine Stud., 24, 569, 10.1016/S0020-7373(86)80009-8 Hisdal, 1978, Conditional possibilities. Independence and non-interactivity, Fuzzy Sets and Systems, 1, 283, 10.1016/0165-0114(78)90019-2 Ishizuka, 1985, Prolog-Elf incorporating fuzzy logic, 701 Ivánek, 1988, Inference in expert systems based on complete multivalued logic, 25 Kaufmann, 1988 Kikuchi, 1988, profil: fuzzy interval logic Prolog, 205 Sombé, 1990, Raisonnements sur des Informations Incomplètes en Intelligence Artificielle —Comparison de Formalismes à partir d'un Exemple Lee, 1972, Fuzzy logic and the resolution principle, J. Assoc. Comput. Mach., 19, 109, 10.1145/321679.321688 Lee, 1971, Some properties of fuzzy logic, Inform. and Control, 19, 417, 10.1016/S0019-9958(71)90684-X LeFaivre, 1974, The representation of fuzzy knowledge, J. Cybernet., 4, 57, 10.1080/01969727408546066 LeFaivre, 1974, Fuzzy problem-solving Lesmo, 1985, Evidence combination in expert systems, Internat. J. Man-Machine Stud., 22, 307, 10.1016/S0020-7373(85)80006-7 Leung, 1989, A fuzzy expert system shell using both exact and inexact reasoning, J. Automated Reasoning, 5, 207, 10.1007/BF00243003 Li, 1990 Liau, 1988, Fuzzy logic with equality, Internat. J. Pattern Recognition and Artificial Intelligence, 2, 351, 10.1142/S0218001488000212 Liu, 1989, Lock, linear λ-paramodulation in operator fuzzy logic, 435 Liu, 1985, Operator fuzzy logic and fuzzy resolution, 68 Lloyd, 1984 López de Mántaras, 1990 Łukasiewicz, 1970, Selected Works — Studies in Logic and the Foundations of Mathematics Magrez, 1989, Fuzzy modus ponens: a new model suitable for applications in knowledge-based systems, Internat. J. Intelligent Systems, 4, 181, 10.1002/int.4550040205 Martin, 1987, The implementation of FProlog — A fuzzy Prolog interpreter, Fuzzy Sets and Systems, 23, 119, 10.1016/0165-0114(87)90104-7 Martin-Clouaire, 1985, On the problems of representation and propagation of uncertainty in expert systems, Internat. J. Man-Machine Stud., 22, 251, 10.1016/S0020-7373(85)80002-X R. Martin-Clouaire and H. Prade, SPII-1: a simple inference engine for accommodating both inprecision and uncertainty imprecision and uncertainty, in: G. Mitra, Ed., Computer-Assisted Decision Making (North-Holland Amsterdam, 117–131). mattila, 1986, On some logical points of fuzzy conditional decision making, Fuzzy Sets and Systems, 20, 137, 10.1016/0165-0114(86)90073-4 Moisil, 1972, La logique des concepts nuancés, 157 Morgan, 1977, Some notes concerning fuzzy logics, Linguistics and Philosophy, 1, 79, 10.1007/BF00351937 Mukaidono, 1982, Fuzzy inference in resolution style, 224 Mukaidono, 1989, Fundamentals of fuzzy Prolog, Internat. J. Approximate reasoning, 3, 179, 10.1016/0888-613X(89)90005-4 Negoita, 1985 Nilsson, 1986, Probabilistic logic, Artificial Intelligence, 28, 71, 10.1016/0004-3702(86)90031-7 Niskanen, 1988, An alternative approach for specifying fuzzy linguistic truth values: truth as a distance, 627 Novák, 1989 Novák, 1990, On the syntactico-semantical completeness of first-order fuzzy logic, Part 1, 2, Kybernetika, 26, 47 Novák, 1990, On the syntactico-semantical completeness of first-order fuzzy logic, Part 1, 2, Kybernetika, 26, 134 Novák, 1988, Fuzzy sets and T-norms in the light of fuzzy logic, Internat. J. Man-Machine Stud., 29, 113, 10.1016/S0020-7373(88)80041-5 Ogawa, 1985, An inexact inference for damage assessment of existing structures, Internat. J. Man-Machine Stud., 22, 295, 10.1016/S0020-7373(85)80005-5 Orci, 1985, Programming in fuzzy logic for expert systems design, 1179 Orci, 1989, Programming in possibilistic logic, Internat. J. Expert Systems, 2, 79 Orlowska, 1985, Mechanical reasoning in fuzzy logics, Logique et Analyse, 110–111, 193 Pacholczyk, 1989, Incertitude et logique multivalente — Interprétation et complétude, BUSEFAL, 40, 80 Pavelka, 1979, On fuzzy logic I — Many-valued rules of inference, Zeitschr. f. Math. Logik and Grundlagen d. Math., 25, 45, 10.1002/malq.19790250304 Pavelka, 1979, On fuzzy logic II — Enriched residuated lattices and semantics of propositional calculi, Zeitschr. f. Math. Logik und Grundlagen d. Math., 25, 119, 10.1002/malq.19790250706 Pavelka, 1979, On fuzzy logic III — Semantical completeness of some many-valued propositional calculi, Zeitschr. f. Math. Logik und Grundlagen d. Math., 25, 447, 10.1002/malq.19790252510 Pearl, 1988 Prade, 1983, Data bases with fuzzy information and approximate reasoning in expert systems, 113 Prade, 1985, A computational approach to approximate and plausible reasoning with applications to expert systems, IEEE Trans. Pattern Anal. Machine Intelligence, 7, 260, 10.1109/TPAMI.1985.4767656 Prade, 1985, Corrections, IEEE Trans. Pattern Anal. Machine Intelligence, 7, 747, 10.1109/TPAMI.1985.4767736 Ray, 1990, Bottom-up inferences using fuzzy reasoning, BUSEFAL, 42, 81 Rosser, 1952 Ruspini, 1989, The semantics of vague knowledge, Rev. Internat. Systémique, 3, 387 Schefe, 1980, On foundations of reasoning with uncertain facts and vague concepts, Internat. J. Man-Machine Stud., 12, 35, 10.1016/S0020-7373(80)80053-8 Schotch, 1975, Fuzzy modal logic, 176 Schwartz, 1985, The case for an interval-based representation of linguistic truth, Fuzzy Sets and Systems, 17, 153, 10.1016/0165-0114(85)90053-3 Schwartz, 1987, Axioms for a theory of semantic equivalence, Fuzzy Sets and Systems, 21, 319, 10.1016/0165-0114(87)90133-3 Schwartz, 1989, Outline of a naive semantics for reasoning with qualitative linguistic information, 1068 Shen, 1988, Fuzzy resolution principle, 210 Shen, 1988, A theoretical framework of fuzzy Prolog machine, 89 Shen, 1988, Designing fuzzy expert systems by fuzzy prolog, 207 Shortliffe, 1975, A model of inexact reasoning in medicine, Math. Biosci., 23, 351, 10.1016/0025-5564(75)90047-4 Skala, 1978, On many-valued logics, fuzzy sets, fuzzy logics and their applications, Fuzzy Sets and Systems, 1, 129, 10.1016/0165-0114(78)90013-1 Smets, 1988, The measure of the degree of truth and the grade of membership, Fuzzy Sets and Systems, 25, 297, 10.1016/0165-0114(88)90100-5 Soula, 1986, Protis: A fuzzy expert system with medical applications, Vol. 86, 295 Subrahmanian, 1989, Mechanical proof procedures for many-valued lattice-based logic programming Suppes, 1966, Probabilistic inference and the concept of total evidence, 49 Takeuti, 1984, Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, J. Symbolic Logic, 49, 851, 10.2307/2274139 Takeuti, 1986, Global intuitionistic fuzzy set theory, 291 Todt, 1983, Fuzzy logic and modal logic, 213 Tong, 1988, Experiments with interval-valued uncertainty, 2, 63 Tong, 1985, Experimental investigations of uncertainty in a rule-based system for information retrieval, Internat. J. Man-Machine Stud., 22, 265, 10.1016/S0020-7373(85)80003-1 Tsukamoto, 1979, An approach to fuzzy reasoning method, 137 Umano, 1986, A Fuzzy production system, Vol. 86, 194 Umano, 1987, Fuzzy set Prolog, 750 Umano, 1989, Implementation of fuzzy production system, 450 Weston, 1987, Approximate truth, J. Philos. Logic, 16, 203, 10.1007/BF00257839 Whiter, 1984, PI-QL: nearer to the ideals of logic programming via fuzzy logic? Wu, 1988, A multivalued logic system with respect to T-norms, 101 Yager, 1985, Inference in a multivalued logic system, Internat. J. Man-Machine Stud., 23, 27, 10.1016/S0020-7373(85)80022-5 Yager, 1990, Connectives and quantifiers in fuzzy sets, Fuzzy Sets and Systems, 40, 39, 10.1016/0165-0114(91)90046-S Zadeh, 1965, Fuzzy sets, Inform. and Control, 8, 338, 10.1016/S0019-9958(65)90241-X Zadeh, 1975, Fuzzy logic and approximate reasoning (in memory of Grigore Moisil), Synthase, 30, 407, 10.1007/BF00485052 Zadeh, 1978, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems, 1, 3, 10.1016/0165-0114(78)90029-5 Zadeh, 1979, A theory of approximate reasoning, Vol. 9, 149 Zadeh, 1982, Test score semantics for natural languages and meaning representation via PRUF, Vol. 1, 281 Zadeh, 1983, The role of fuzzy logic in the management of uncertainty in expert systems, Fuzzy Sets and Systems, 11, 199, 10.1016/S0165-0114(83)80081-5 Zadeh, 1987, A computational theory of dispositions, Internat. J. Intelligent Systems, 2, 39 Giles, 1988, A utility-valued logic for decision-making, Internat. J. Approximate Reasoning, 2, 113, 10.1016/0888-613X(88)90104-1 Giles, 1990, An introduction to a logic of assertions, 361