NDLI: Knowledge-Driven versus Data-Driven Logics

Content Provider	Springer Nature Link
Author	Dubois, Didier Hájek, Petr Prade, Henri
Copyright Year	2000
Abstract	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.
Starting Page	65
Ending Page	89
Page Count	25
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	9
Issue Number	1
e-ISSN	15729583
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2000-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Logic Artificial Intelligence (incl. Robotics) Semantics
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

Kripke Semantics for Modal Substructural Logics

Foreword: Logics of Uncertainty

Labelled Modal Logics: Quantifiers

Substructural Logics with Mingle

Fibring Logics, Dov M. Gabbay

Logics for Classes of Boolean Monoids

A Knowledge Based Semantics of Messages

Fibring Non-Truth-Functional Logics: Completeness Preservation

Knowledge-Driven versus Data-Driven Logics

Similar Documents

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

Kripke Semantics for Modal Substructural Logics

Foreword: Logics of Uncertainty

Labelled Modal Logics: Quantifiers

Substructural Logics with Mingle

Fibring Logics, Dov M. Gabbay

Logics for Classes of Boolean Monoids

A Knowledge Based Semantics of Messages

Fibring Non-Truth-Functional Logics: Completeness Preservation

Knowledge-Driven versus Data-Driven Logics