Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF RG1 Publications :: Thesis :: Dimova, Dilyana

MPI-INF RG1 Publications
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update  Library locked

Thesis - Bachelor thesis | | Bachelorarbeit

Author(s)*:Dimova, Dilyana
BibTeX citekey*:Dimova2007

Title, School
Title*:Propositional Abduction
School:Universität des Saarlandes
Type of Thesis*:Bachelor thesis

Note, Abstract, Copyright
LaTeX Abstract: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.
Personal Comments:Bachelor's Thesis
Download Access Level:Intranet

Referees, Status, Dates
1. Referee:Christoph Weidenbach
2. Referee:Uwe Waldmann
Date Kolloquium:18 September 2019

MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Automation of Logic
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

AUTHOR = {Dimova, Dilyana},
TITLE = {Propositional Abduction},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2007},
TYPE = {Bachelor thesis}
MONTH = {September},

Entry last modified by Manuel Lamotte-Schubert, 08/06/2014
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

01/18/2008 03:40:37 PM

Manuel Lamotte-Schubert
Roxane Wetzel
Roxane Wetzel

Edit Dates
20.04.2009 13:48:31
21.01.2008 09:51:39
18.01.2008 15:42:30