This paper presents a mathematical theory of analogy, which should be a basis in developing analogical reasoning by a computer. The analogy is a partial identity between two sets of facts. In order to compare several analogies, we introduce an ordering of analogies, and we define two types of optimal analogies, maximal analogies and greatest ones. We show a condition under which the greatest analogy exists, and also present a top-down procedure to find the maximal analogies
In this paper, we outline a comprehensive approach to composed analogies based on the theory of conc...
Analogical reasoning is a central problem both for human cognition and for artificial learning. Many...
This thesis is concerned with reasoning by analogy within the context of auto-mated problem solving...
This paper examines the existing research concerning both formal and computational approaches to ana...
In recent years several computational systems and techniques fortheorem proving by analogy have been...
Analogy is a mode of reasoning that is employed in problem solving, logic, science and art. The sche...
AbstractThis paper proposes an analogical type system based on MITT. First, we talk about intuitive ...
AbstractAn analogy calculus (LKA) is proposed in this paper. Some important theorems, such as cut-el...
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
In this paper I discuss the relative merits of the logical and similarity-based approaches to reason...
Analogy-making is finding analogies between different situations. In this paper, we provide a new mo...
International audienceReasoning by analogy is an important component of common sense reasoning whose...
We survey the literature of Artificial Intelligence, and other related work, pertaining to the mode...
International audienceReasoning by analogy plays an important role in human thinking, in exploring p...
We use analogy when we say something is a Cinderella story and when we learn about resistors by th...
In this paper, we outline a comprehensive approach to composed analogies based on the theory of conc...
Analogical reasoning is a central problem both for human cognition and for artificial learning. Many...
This thesis is concerned with reasoning by analogy within the context of auto-mated problem solving...
This paper examines the existing research concerning both formal and computational approaches to ana...
In recent years several computational systems and techniques fortheorem proving by analogy have been...
Analogy is a mode of reasoning that is employed in problem solving, logic, science and art. The sche...
AbstractThis paper proposes an analogical type system based on MITT. First, we talk about intuitive ...
AbstractAn analogy calculus (LKA) is proposed in this paper. Some important theorems, such as cut-el...
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
In this paper I discuss the relative merits of the logical and similarity-based approaches to reason...
Analogy-making is finding analogies between different situations. In this paper, we provide a new mo...
International audienceReasoning by analogy is an important component of common sense reasoning whose...
We survey the literature of Artificial Intelligence, and other related work, pertaining to the mode...
International audienceReasoning by analogy plays an important role in human thinking, in exploring p...
We use analogy when we say something is a Cinderella story and when we learn about resistors by th...
In this paper, we outline a comprehensive approach to composed analogies based on the theory of conc...
Analogical reasoning is a central problem both for human cognition and for artificial learning. Many...
This thesis is concerned with reasoning by analogy within the context of auto-mated problem solving...