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

DC FieldValueLanguage
dc.contributor.authorSchmidt, M.
dc.contributor.authorGust, H.
dc.contributor.authorKühnberger, K.-U.
dc.contributor.authorKrumnack, U.
dc.date.accessioned2021-12-23T16:31:18Z-
dc.date.available2021-12-23T16:31:18Z-
dc.date.issued2011
dc.identifier.isbn9783642244544
dc.identifier.issn03029743
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/17003-
dc.descriptionConference 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
dc.description.abstractEmpirical 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.
dc.language.isoen
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.subjectAnti-unification
dc.subjectEmpirical research
dc.subjectHigher order
dc.subjectTwo domains, Mapping
dc.subjectMulti agent systems
dc.subjectOntology
dc.subjectPotassium iodide, Intelligent agents
dc.titleRefinements of restricted higher-order anti-unification for heuristic-driven theory projection
dc.typeconference paper
dc.identifier.doi10.1007/978-3-642-24455-1_28
dc.identifier.scopus2-s2.0-80053946313
dc.identifier.urlhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-80053946313&doi=10.1007%2f978-3-642-24455-1_28&partnerID=40&md5=4803e282a7a14671374da485248d1b18
dc.description.volume7006 LNAI
dc.description.startpage289
dc.description.endpage300
dc.publisher.placeBerlin
dcterms.isPartOf.abbreviationLect. Notes Comput. Sci.
crisitem.author.deptInstitut für Kognitionswissenschaft-
crisitem.author.deptInstitut für Kognitionswissenschaft-
crisitem.author.deptidinstitute28-
crisitem.author.deptidinstitute28-
crisitem.author.orcid0000-0003-1626-0598-
crisitem.author.parentorgFB 08 - Humanwissenschaften-
crisitem.author.parentorgFB 08 - Humanwissenschaften-
crisitem.author.grandparentorgUniversität Osnabrück-
crisitem.author.grandparentorgUniversität Osnabrück-
crisitem.author.netidKuKa032-
crisitem.author.netidKrUl568-
Show simple item record

Page view(s)

5
Last Week
2
Last month
1
checked on Jul 16, 2024

Google ScholarTM

Check

Altmetric