FROM DEDUCTION TO KNOWLEDGE REPRESENTATION

• Authors: Michal Vince , Ján Šefránek
• Languages of publication: EN

Abstracts

EN

In this paper, we discuss why deduction is not sufficient for knowledge representation of programs with common sense. Requirements of representation of incomplete, evolutive and conflicting knowledge led to a rise of alternative logic formalisms, dubbed non-monotonic logics. Important features of non-monotonic logic were discussed on the example of default logic – a role of assumptions in reasoning, use of fix point constructions as a formal tool for building a non-monotonic semantics and, finally, computational aspects of non-monotonic reasoning. This overview is completed by a presentation of our approach to updates. Updates are closely connected to non-monotonic reasoning. We construct our approach for assumption based frameworks (and for default theories, as a consequence).

Keywords

EN

COMMON SENSE; REASONING; DEFAULT LOGIC; KNOWLEDGE; NON-MONOTONIC LOGIC

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2013
• Volume: 20
• Issue: suppl. 2
• Pages: 216 – 234

Contributors

author

Michal Vince

• Katedra aplikovanej informatiky, UK, Mlynská dolina, 842 48 Bratislava, Slovak Republic

author

Ján Šefránek