On consequence in approximate reasoning
- 1 January 1994
- journal article
- research article
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 4 (1) , 91-103
- https://doi.org/10.1080/11663081.1994.10510820
Abstract
The purpose of this paper is to explore the notion of consequence in Approximate Reasoning. While logical consequence has an standard (semantic and syntactic) definition in Exact Logic, several different definitions of that concept can be considered in the Approximate Reasoning framework. In this paper some definitions are compared with consequences derived from inference methods used in Artificial Intelligence. We will show that some inference methods are not covered by that definitions. Finally a more general concept of Approximate Consequence is introduced covering a wide variety of such inference methods.Keywords
This publication has 6 references indexed in Scilit:
- Logic: Going farther from Tarski?Fuzzy Sets and Systems, 1993
- Theory of Logical CalculiPublished by Springer Nature ,1988
- Probabilistic logicArtificial Intelligence, 1986
- On Fuzzy Logic I Many‐valued rules of inferenceMathematical Logic Quarterly, 1979
- Multiple-Conclusion LogicPublished by Cambridge University Press (CUP) ,1978
- The Notion of Logical Consequence in the Logic of Inexact PredicatesMathematical Logic Quarterly, 1974