Refinements of restricted higher-order anti-unification for heuristic-driven theory projection

Autor(en): Schmidt, M.
Gust, H.
Kühnberger, K.-U. 
Krumnack, U. 
Stichwörter: Anti-unification; Empirical research; Higher order; Two domains, Mapping; Multi agent systems; Ontology; Potassium iodide, Intelligent agents
Erscheinungsdatum: 2011
Enthalten in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band: 7006 LNAI
Startseite: 289
Seitenende: 300
Zusammenfassung: 
Empirical research supports the belief that structural commonalities between two domains are the main guidance for the construction of analogies. Restricted higher-order anti-unification has been shown suitable to find structural commonalties and generate mappings between domains in the symbolic analogy model Heuristic-Driven Theory Projection (HDTP). This paper will describe how to enforce and integrate restrictions on mappings between symbols from a many-to-many up to a one-to-one symbol correspondence. We will also discuss how sorts together with sortal ontologies can be incorporated into anti-unification within HDTP and thereby restrict possible mappings between domains. © 2011 Springer-Verlag.
Beschreibung: 
Conference of 34th Annual German Conference on Artificial Intelligence, KI 2011, in Co-location with the 41st Annual Meeting of the Gesellschaft fur Informatik, INFORMATIK 2011 and the 9th German Conference on Multi-Agent System Technologies, MATES 2011 ; Conference Date: 4 October 2011 Through 7 October 2011; Conference Code:86895
ISBN: 9783642244544
ISSN: 03029743
DOI: 10.1007/978-3-642-24455-1_28
Externe URL: https://www.scopus.com/inward/record.uri?eid=2-s2.0-80053946313&doi=10.1007%2f978-3-642-24455-1_28&partnerID=40&md5=4803e282a7a14671374da485248d1b18

Show full item record

Page view(s)

3
Last Week
0
Last month
1
checked on Jun 25, 2024

Google ScholarTM

Check

Altmetric