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 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Volumen: | 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 |
Zur Langanzeige
Seitenaufrufe
2
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 29.05.2024