Knowledge-Driven Versus Data-Driven Logics

0403983 - UIVT-O 20000123 RIV NL eng J - Journal Article
Dubois, D. - Hájek, Petr - Prade, H.
Knowledge-Driven Versus Data-Driven Logics.
Journal of Logic, Language, and Information. Roč. 9, č. 1 (2000), s. 65-89. ISSN 0925-8531. E-ISSN 1572-9583
R&D Projects: GA AV ČR IAA1030601
Grant - others:CNRS(FR) 4008
Institutional research plan: AV0Z1030915
Keywords : epistemic logic * possibility theory * data-driven reasoning * deontic logic
Subject RIV: BA - General Mathematics

Two distinct traditions in information engineering: knowledge representation and data-driven modelling. Theories of belief. Belief sets in classical logic. Possibility theory for belief representation. Belief functions. Epistemic logic. Modelling observed facts using guaranteed possibility. The logic of accumulated data. Putting data and beliefs together. A completeness theorem. Deontic logic.
Permanent Link: http://hdl.handle.net/11104/0124264