Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
KI - Künstliche Intelligenz
Erschienen in: KI - Künstliche Intelligenz 3/2019

20.06.2019 | Technical Contribution

Semantics of Analogies from a Logical Perspective

verfasst von: Ahmed M. H. Abdelfattah, Ulf Krumnack

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 3/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

A number of different approaches to model analogies and analogical reasoning in AI have been proposed, applying different knowledge representation and mapping strategies. Nevertheless, analogies still seem to be hard to grasp from a formal perspective, with no known treatment in the literature of, in particular, their formal semantics, though the empirical treatments involving human subjects are abundant. In this paper we present a framework that allows to analyze the syntax and the semantics of analogies in a universal logic-based setting without committing ourselves to a specific type of logic. We show that the syntactic process of analogy-making by finding a generalization can be given a sensible interpretation on the semantic level based on the theory of institutions. We then apply these ideas by considering a framework of analogy-making that is based on classical first-order logic.
Vorheriger Artikel Cognitive Argumentation for Human Syllogistic Reasoning
Nächster Artikel Accentuating Features of Description Logics in High-Level Interpretations of Hand-Drawn Sketches

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Fußnoten
1
In [9], an uncommon, third mode is presented, for which a computational model is difficult to implement.
 
2
The reader can refer to [14] for a more exhaustive elaboration on this particular topic of coverage.
 
3
This concept is based on [16, section 5.3].
 
4
The use of ‘implantation’ here is closest in meaning to the notion of ‘embedding’ (in the sense of seeding).
 
5
Remember that, as stated in Sect. 2.1, we refer by an arbitrary logical framework to a general KRR framework that represents knowledge using a logic-based language.
 
6
To improve readability we omit the sortal specifications of terms in this paper.
 
7
Restricted higher-order anti-unification resembles to a certain extent strategies proposed in the context of ontology repair plans [17].
 
8
In fact, the basic substitutions are special cases of second-order substitutions in first-order logic, which can also be described as derived signature morphisms, cf. [16, 101].
 
Literatur
1.
Schwering A, Kühnberger K-U, Kokinov B (2009) Analogies: integrating multiple cognitive abilities (guest editorial). Special Issue Anal Integr Cogni Abil J Cognit Syst Res 10(3):175–177
2.
Bartha P (2013) Analogy and analogical reasoning. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, fall 2013 edn. The Metaphysics Research Lab, Stanford University, Stanford
3.
Kokinov B, Holyoak K, Gentner D (eds) (2009) New frontiers in analogy research. NBU Press, Sofia
4.
Hofstadter D, the Fluid Analogies Research Group (1995) Fluid concepts and creative analogies. Computer models of the fundamental mechanisms of thought. Basic Books, New York
5.
Falkenhainer B, Forbus K, Gentner D (1989) The structure-mapping engine: algorithm and example. Artif Intell 41:1–63CrossRefMATH
6.
7.
Hummel JE, Holyoak KJ (1996) Lisa: a computational model of analogical inference and schema induction. In: Cottrell GW (ed) Proc. of the 18th annual conference of the cognitive science society, pp 52–357
8.
Kokinov BN, Petrov AA (2001) Integration of memory and reasoning in analogy-making: the AMBR model. In: Gentner D et al (eds) The analogical mind: perspectives from cognitive science. MIT Press, Cambridge, pp 59–124
9.
Indurkhya B (1992) Metaphor and cognition: an interactionist approach. Studies in cognitive systems. Kluwer Academic, DordrechtCrossRef
10.
Goertzel B, Pennachin C (2010) Artificial general intelligence. Cognitive technologies. Springer, BerlinMATH
11.
12.
Gentner D, Holyoak K, Kokinov B (eds) (2001) The analogical mind: perspectives from cognitive science. MIT Press, Cambridge
13.
Clement JJ (2008) Creative model construction in scientists and students: the role of imagery, analogy, and mental stimulation. Springer, LondonCrossRef
14.
Abdel-Fattah A, Besold T, Kühnberger K.-U (2012) Creativity, cognitive mechanisms, and logic. In: Bach J, Goertzel B, Iklé M (eds) Proc. of the 5th conference on AGI, Oxford, vol 7716 of lecture notes in computer science, pp 1–10
15.
16.
Diaconescu R (2008) Institution-independent model theory. Studies in universal logic. Birkhäuser, BaselMATH
17.
McNeill F, Bundy A (2007) Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. Int J Semant Web Inf Syst 3:1–35CrossRef
18.
Fodor JA (1983) The modularity of mind. A Bradford book. MIT Press, CambridgeCrossRef
19.
Bermúdez J (2014) Cognitive science: an introduction to the science of the mind. Cambridge University Press, CambridgeCrossRef
20.
Chan M, Lehmann J, Bundy A (2010) Higher-order representation and reasoning for automated ontology evolution. In: Proceedings of the international conference on knowledge engineering and ontology development, pp 84–93
Metadaten
Titel
Semantics of Analogies from a Logical Perspective
verfasst von
Ahmed M. H. Abdelfattah
Ulf Krumnack
Publikationsdatum
20.06.2019
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 3/2019
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-019-00598-x

Weitere Artikel der Ausgabe 3/2019

KI - Künstliche Intelligenz 3/2019 Zur Ausgabe

Technical Contribution

Why Machines Don’t (yet) Reason Like People

Technical Contribution

Learning Inference Rules from Data

Technical Contribution

Accentuating Features of Description Logics in High-Level Interpretations of Hand-Drawn Sketches

Community

News

Editorial

Bridging the Prototype Gap: On the Evolution of Ugly Ducklings

Interview

Thinking is Founded on Models of Possibilities