PL EN


2013 | 20 | suppl. 2 | 216 – 234
Article title

FROM DEDUCTION TO KNOWLEDGE REPRESENTATION

Content
Title variants
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).
Contributors
author
  • Katedra aplikovanej informatiky, UK, Mlynská dolina, 842 48 Bratislava, Slovak Republic
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-ac754816-07b2-4fcc-85f5-62395eb81e62
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.