<div class="csl-bib-body">
<div class="csl-entry">Haret, A. (2014). <i>Merging in the Horn fragment</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.24791</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2014.24791
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/7809
-
dc.description
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers
-
dc.description
Zsfassung in dt. Sprache
-
dc.description.abstract
Das Problem des Belief Mergings besteht darin Information aus verschiedenen Quellen konsistent zu kombinieren. Eine solche Operation soll diversen intuitven Postulaten genuegen, und darueber hinaus soll die Gesamtheit solcher Operatoren durch sogenannte Repraesentationstheoreme charakterisierbar sein. Waehrend fuer den Fall der klassischen Aussagenlogik entsprechende Resultate bereits existieren, sind diese Fragen fuer die Einschraenkung auf Horn Formeln noch ungeklaert. Eine besondere Herausforderung stellt dabei das Erfuellen der Postulate unter gleichzeitiger Beruecksichtigung der Tatsache, dass das Ergebnis des Mergings in Horn repraesentierbar bleiben muss, dar. Aufbauend auf Arbeiten von James Delgrande and Pavlos Peppas im Bereich der Revision im Hornfragment, beschaeftigen wir uns in dieser Arbeit mit folgenden Aspekten: (i) illustrieren wir warum die existierenden Resultate fuer Merging nicht direkt auf den Hornfall anwendbar sind, (ii) stellen wir ein erweitertes Framework fuer Merging vor, das diese Probleme umgeht und ein allgemeines Repraesentationstheorem erlaubt, (iii) fuehren wir konkrete Operatoren ein, die alle Postulate auch im Hornfall erfuellen.
de
dc.description.abstract
Belief merging is concerned with combining multiple streams of information into a single, consistent stream. In the literature this is modelled through a set of formal postulates, usually given in propositional logic. A representation result is then used to show that the postulates constrain the merging operation in intended ways. In this work we study merging in the context of Horn propositional logic. The main challenge hereby is to define a coherent framework such that the knowledge bases to be merged and the result are restricted to the Horn fragment. This, as far as we know, has not been attempted before. By building on existing work of James Delgrande and Pavlos Peppas on revision in the Horn fragment, we: (i) spell out why the standard results of merging break down in the Horn fragment, (ii) put forth an amended framework to account for this and obtain a representation result, and (iii) present a series of Horn merging operators.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Knowledge Representation and Reasoning
de
dc.subject
Belief Change
de
dc.subject
Belief Merging
de
dc.subject
Horn Logic
de
dc.subject
Knowledge Representation and Reasoning
en
dc.subject
Belief Change
en
dc.subject
Belief Merging
en
dc.subject
Horn Logic
en
dc.title
Merging in the Horn fragment
en
dc.title.alternative
Kombinieren von Wissensbasen im Fragment der Horn-Logik
de
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2014.24791
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Adrian Haret
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Rümmele, Stefan
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC12023312
-
dc.description.numberOfPages
121
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-64565
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.author.orcid
0000-0002-0247-5590
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
item.cerifentitytype
Publications
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
open
-
item.openairetype
master thesis
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.mimetype
application/pdf
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence