From deduction to knowledge representation

Title:

From deduction to knowledge representation
Od odpočtu až po reprezentaci znalostí

Creator:

Šefránek, Ján and Vince, Michal

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:6d42bd5c-10d5-4b04-b4b7-8bfc184a8bdd
uuid:6d42bd5c-10d5-4b04-b4b7-8bfc184a8bdd

Subject:

assumption-based framework, commonsense reasoning, default logic, knowledge representation, non-monotonic logic, update, rámec založený na předpokladu, rozumové uvažování, výchozí logika, reprezentace znalostí, nemonotonická logika, and aktualizace

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

In this paper, we discuss why deduction is not sufficient for knowledge representation of programs with commonsense. Requirements of representation of incomplete, evolutive and conflicting knowledge led to a rise of alternative logic formalisms, dubbed nonmonotonic logics. Important features of nonmonotonic logic were discussed on the example of default logic - a role of assumptions in reasoning, use of fixpoint constructions as a formal tool for building a nonmonotonic semantics and, finally, computational aspects of nonmonotonic reasoning. This overview is completed by a presentation of our approach to updates. Updates are closely connected to nonmonotonic reasoning. We construct our approach for assumption based frameworks (and for default theories, as a consequence)., V tomto příspěvku diskutujeme, proč dedukce není dostatečná pro reprezentaci znalostí programů se zdravým rozumem. Požadavky na reprezentaci neúplných, evolutivních a konfliktních znalostí vedly ke vzniku alternativních logických formalismů, tzv. Nonmonotonic logics. Významné rysy nemonotonické logiky byly diskutovány na příkladu výchozí logiky - role předpokladů v uvažování, použití fixpointových konstrukcí jako formálního nástroje pro budování nemonotonické sémantiky a nakonec výpočetních aspektů nemonotonického uvažování. Tento přehled je doplněn prezentací našeho přístupu k aktualizacím. Aktualizace jsou úzce spojeny s nemonotonickým uvažováním. Náš přístup konstruujeme pro rámce založené na předpokladech (a v důsledku toho i pro standardní teorie)., and Ján Šefránek ; Michal Vince

Language:

Slovak

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Source:

Organon F: filozofický časopis | 2013 Volume:20 | Number:Supplementary Issue, 2

Harvested from:

CDK

Metadata only:

false