DC FieldValueLanguage
dc.contributor.advisorTompits, Hans-
dc.contributor.authorPkhakadze, Sopo-
dc.date.accessioned2020-06-28T03:21:33Z-
dc.date.issued2019-
dc.date.submitted2019-09-
dc.identifier.urihttps://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-129420-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/2691-
dc.description.abstractSequenzenkalküle sind eine wichtige Beweismethode in der automatischen Deduktion. In dieser Arbeit führen wir solche Kalküle für zwei Versionen von Default Logik ein, nämlich einerseits für eine dreiwertige Form der Default Logik, eingeführt von Radzikowska, und der Disjunktiven Default Logik nach Gelfond, Lifschitz, Przymusinska und Truszczyński. Die erste Variante von Default Logik verwendet die bekannte dreiwertige Logik von Łukasiewicz als zugrundeliegenden logischen Apparat, während in der Disjunktiven Default Logik verallgemeinerte Default Regeln verwendet werden, die eine Auswahl von Konklusionen erlauben. Beide Kalküle wurden eingeführt um gewisse Probleme der üblichen Default Logik zu adressieren. Die Kalküle die wir beschreiben axiomatisieren das sogenannte Brave Reasoningund folgen der Methode von Bonatti, der solche Kalküle im Bereich des Nichtmonotonen Schließens postulierte. Ein besonderes Merkmal der Kalküle von Bonatti ist die Verwendung eines komplementären Kalküls der Ungültigkeit formalisiert und der für die Axiomatisierung der Konsistenzbedingungen von Defaults zuständig ist.de
dc.description.abstractSequent-type proof systems constitute an important and widely used class of calculi well-suited for analyzing proof search. In this thesis, we introduce sequential-type calculi for two variants of default logic, namely, on the one hand, for disjunctive default logic, due to Gelfond et al., And, on the other hand, for three-valued default logic, due to Radzikowska. Lukasiewicz's well-known three-valued logic as the underlying base logic. In particular, our calculus axiomatises brave reasoning for these versions of default logic, following the sequential method first introduced in the context of nonmonotonic reasoning by Bonatti, which employs a complementary calculus for axiomatising invalid formulas, taking care of expressing the consistency condition of defaults.en
dc.formatxiii, 64 Seiten-
dc.languageEnglish-
dc.language.isoen-
dc.subjectNonmonotonic Reasoningen
dc.subjectSequent-Type Calculien
dc.subjectProof Theoryen
dc.subjectCompuational Logicen
dc.subjectArtificial Intelligenceen
dc.titleSequent-type calculi for variants of default logicen
dc.typeThesisen
dc.typeHochschulschriftde
dc.publisher.placeWien-
tuw.thesisinformationTechnische Universität Wien-
tuw.publication.orgunitE192 - Institut für Logic and Computation-
dc.type.qualificationlevelDiploma-
dc.identifier.libraryidAC15478665-
dc.description.numberOfPages64-
dc.identifier.urnurn:nbn:at:at-ubtuw:1-129420-
dc.thesistypeDiplomarbeitde
dc.thesistypeDiploma Thesisen
item.fulltextwith Fulltext-
item.grantfulltextopen-
item.languageiso639-1en-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.cerifentitytypePublications-
item.openairetypeThesis-
item.openairetypeHochschulschrift-
Appears in Collections:Thesis

Files in this item:

Show simple item record

Page view(s)

11
checked on Apr 6, 2021

Download(s)

13
checked on Apr 6, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.