SODA

Två system för default-resonemang, en studie av Kurt Konoliges artikel: On the relation between default and autoepistemic logic

Kreuger, Per (1989) Två system för default-resonemang, en studie av Kurt Konoliges artikel: On the relation between default and autoepistemic logic. [SICS Report]

[img]
Preview
PDF
1134Kb

Abstract

Denna artikel presenterar, sammanfattar och granskar kritiskt en teori som läggs fram av Kurt Konolige i hans artikel "On the Relation between Default and Autoepistemic Logic." Detta material presenterades ursprungligen som examination på doktorandkursen "Logik for AI" som gavs under 1988 av Rune Gustavsson på SICS. Konoliges artikel tar upp förhållandet mellan två typer av logiker som använts för att föra default-resonemang, en typ av resonemang under ofullständig kunskap. De två system han tar upp är dels Reiters Default-logik, dels Moores Autoepistemiska logik. Det huvudsakliga resultatet i Konoliges artikel är att dessa tvä system kan visas vara ekvivalenta i en viss mening.

Item Type:SICS Report
Additional Information:Original report number T89009. Report is written in Swedish.
ID Code:2167
Deposited By:Vicki Carleson
Deposited On:29 Oct 2007
Last Modified:18 Nov 2009 16:00

Repository Staff Only: item control page