1. osnaDocs
  2. Fachbereich 08 - Humanwissenschaften
  3. FB08 - E-Dissertationen

On the Logical Formalization of Analogies and Theory Blending in the HDTP Framework

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
https://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2016081114833
Open Access logo originally created by the Public Library of Science (PLoS)
Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.advisorProf. Dr. Kai-Uwe Kühnberger
dc.creatorKrumnack, Ulf
dc.date.accessioned2016-08-11T07:41:22Z
dc.date.available2016-08-11T07:41:22Z
dc.date.issued2016-08-11T07:41:22Z
dc.identifier.urihttps://osnadocs.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2016081114833-
dc.description.abstractAnalogies are considered a cognitive core mechanism, that is applied in many everday reasoning processes. Heuristic-driven theory projection (HDTP) is a logic-based framework that allows to model analogies with the aim of making analogical reasoning techniques available for artificial intelligence systems. The formal properties of HDTP are investigated, refining and extending some of the original ideas. A special form of restricted higher-order anti-unification is proposed as a means for the generalization process, allowing to account for flexibility in the mapping while staying computationally tractable. Concerning the semantics, it is argued that a sensible interpretation can be given to the syntactic processes, based on an understanding of the involved mappings as a decent type of theory morphisms. The logical nature of HDTP also allows for a notion of re-representation that is discussed from a theoretical and algorithmic point of view. Moreover, the framework of HDTP is also analyzed from the abstract perspective of institution theory, suggesting that the main ideas can be spelled out in other logical formalisms as well. To collect support for the practical utility of HDTP, it is applied to different fields in a series of studies. The domain of geometric analogy serves as an arena to demonstrate the operation of HDTP, including the treatment of ambiguous problems based on thoughts from Gestalt psychology. Another line of research explores how the idea of conceptual blending can be related to analogies and a formalization building on HDTP is presented, leading to the notion of theory blending. These ideas are applied to a classical problem of the field, the interpretation of noun-noun compounds, but they proof to be applicable in other areas as well, demonstrated by a framework for counterfactual reasoning. Furthermore, applications of analogical reasoning and theory blending in mathematics are discussed, including the formal modeling of an example from the history of mathematics and a framework to support mathematical discovery.eng
dc.rightsNamensnennung 3.0 Unported-
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/-
dc.subjectAnalogyeng
dc.subjectBlendingeng
dc.subjectLogical Modelingeng
dc.subjectAnalogieger
dc.subjectArtificial Intelligenceeng
dc.subjectKünstliche Intelligenzger
dc.subject.ddc000 - Informatik, Wissen, Systeme
dc.titleOn the Logical Formalization of Analogies and Theory Blending in the HDTP Frameworkeng
dc.typeDissertation oder Habilitation [doctoralThesis]-
thesis.locationOsnabrück-
thesis.institutionUniversität-
thesis.typeDissertation [thesis.doctoral]-
thesis.date2015-07-29-
dc.contributor.refereeProf. Dr. Ute Schmid
dc.contributor.refereePD Dr. Helmar Gust
vCard.ORGFB8
Enthalten in den Sammlungen:FB08 - E-Dissertationen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
thesis_krumnack.pdfPräsentationsformat711,01 kBAdobe PDF
thesis_krumnack.pdf
Miniaturbild
Öffnen/Anzeigen
Zur Kurzanzeige


Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons Creative Commons