Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Propositional Abduction

Dimova, D. (2007). Propositional Abduction. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-21D1-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-21D3-8
Genre: Hochschulschrift

Dateien

einblenden: Dateien
ausblenden: Dateien
:
BaThesis.pdf (beliebiger Volltext), 201KB
 
Datei-Permalink:
-
Name:
BaThesis.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Dimova, Dilyana1, Autor
Affiliations:
1External Organizations, ou_persistent22              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Reasoning can be defined as the process of applying existing knowledge in order to produce new knowledge. In logic, there are at least two fundamentally different sorts of reasoning: the deductive and the abductive. Deductive reasoning (or simply deduction) is the process of deriving consequences from what is known or assumed to be true. On the other hand, abductive reasoning (or simply abduction) infers what needs to be assumed to derive a given consequence. Thus, deduction and abduction differ in the direction in which a rule has been used for inference. In this work, we present a calculus to generate abductive explanations for propositional theories. The formalism is based on propositional resolution with Set-Of-Support strategy. Furthermore, we investigate an extension of this calculus dealing with orderings.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2007
 Publikationsstatus: Erschienen
 Seiten: 30 p.
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Dimova2007
 Art des Abschluß: Bachelor

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: