Title | ||
---|---|---|
Refinements of restricted higher-order anti-unification for heuristic-driven theory projection |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-24455-1_28 | KI |
Keywords | Field | DocType |
heuristic-driven theory projection,structural commonalty,restricted higher-order anti-unification,structural commonality,sortal ontology,one-to-one symbol correspondence,main guidance,empirical research,symbolic analogy model,possible mapping | Ontology (information science),Anti-unification,Discrete mathematics,Heuristic,Symbol,Theoretical computer science,Analogy,Empirical research,restrict,Mathematics,Sortal | Conference |
Volume | ISSN | Citations |
7006 | 0302-9743 | 2 |
PageRank | References | Authors |
0.39 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Schmidt | 1 | 21 | 3.05 |
Helmar Gust | 2 | 143 | 22.86 |
Kai-uwe Kühnberger | 3 | 211 | 28.67 |
Ulf Krumnack | 4 | 87 | 13.03 |