Change search
ReferencesLink to record
Permanent link

Direct link
Två system för default-resonemang, en studie av Kurt Konoliges artikel: On the relation between default and autoepistemic logic
Number of Authors: 1
1989 (Swedish)Report (Refereed)
Abstract [sv]

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.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1989, 1. , 14 p.
Series
SICS Technical Report, ISSN 1100-3154 ; T89:06
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21418OAI: oai:DiVA.org:ri-21418DiVA: diva2:1041454
Note
Original report number T89009. Report is written in Swedish.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(1134 kB)5 downloads
File information
File name FULLTEXT01.pdfFile size 1134 kBChecksum SHA-512
d96f40fe6fbfe787d3b8e39a1eada46f4ae7d1f3d7bdfbd1d43296c1d60bd5e8b5ad26a6d9a5ae2f1b953084fa084d562e2af894ee8b2e1a44a4cc933749910c
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 5 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link