Knowledge-Driven Versus Data-Driven Logics

0403983 - UIVT-O 20000123 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA1030601
Grant ostatní: CNRS(FR) 4008
Výzkumný záměr: AV0Z1030915
Klíčová slova: epistemic logic * possibility theory * data-driven reasoning * deontic logic
Kód oboru RIV: BA - Obecná matematika

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.
Trvalý link: http://hdl.handle.net/11104/0124264