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://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2016081114833
Titel: On the Logical Formalization of Analogies and Theory Blending in the HDTP Framework
Autor(en): Krumnack, Ulf
Erstgutachter: Prof. Dr. Kai-Uwe Kühnberger
Zweitgutachter: Prof. Dr. Ute Schmid
PD Dr. Helmar Gust
Zusammenfassung: Analogies 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.
URL: https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-2016081114833
Schlagworte: Analogy; Blending; Logical Modeling; Analogie; Artificial Intelligence; Künstliche Intelligenz
Erscheinungsdatum: 11-Aug-2016
Enthalten in den Sammlungen:FB08 - E-Dissertationen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
thesis_krumnack.pdfPräsentationsformat711,01 kBAdobe PDFMiniaturbild

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