Journal of Logic, Language and Information 9 (1):65--89 (2000)
The starting point of this work is the gap between two distinct traditions in information engineering: knowledge representation and data - driven modelling. The first tradition emphasizes logic as a tool for representing beliefs held by an agent. The second tradition claims that the main source of knowledge is made of observed data, and generally does not use logic as a modelling tool. However, the emergence of fuzzy logic has blurred the boundaries between these two traditions by putting forward fuzzy rules as a Janus-faced tool that may represent knowledge, as well as approximate non-linear functions representing data. This paper lays bare logical foundations of data - driven reasoning whereby a set of formulas is understood as a set of observed facts rather than a set of beliefs. Several representation frameworks are considered from this point of view: classical logic, possibility theory, belief functions, epistemic logic, fuzzy rule-based systems. Mamdani's fuzzy rules are recovered as belonging to the data - driven view. In possibility theory a third set-function, different from possibility and necessity plays a key role in the data - driven view, and corresponds to a particular modality in epistemic logic. A bi-modal logic system is presented which handles both beliefs and observations, and for which a completeness theorem is given. Lastly, our results may shed new light in deontic logic and allow for a distinction between explicit and implicit permission that standard deontic modal logics do not often emphasize
|Keywords||data-driven reasoning deontic logic epistemic logic possibility theory|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
The Strength of Desires: A Logical Approach.Didier Dubois, Emiliano Lorini & Henri Prade - 2017 - Minds and Machines 27 (1):199-231.
A Modal Theorem-Preserving Translation of a Class of Three-Valued Logics of Incomplete Information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
Similar books and articles
An Introduction to Fuzzy Logic for Practical Applications.Kazuo Tanaka - 1997 - Springer.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
New Trends and Open Problems in Fuzzy Logic and Approximate Reasoning.Henri Prade - 1996 - Theoria 11 (3):109-121.
Added to index2009-01-28
Total downloads48 ( #107,981 of 2,164,237 )
Recent downloads (6 months)3 ( #128,955 of 2,164,237 )
How can I increase my downloads?