A formalism of analogical reasoning is presented. The analogical reasoning can be considered as a deduction with a function of transforming logical rules. From this viewpoint, the reasoning is defined in terms of deduction, and is therefore realized in a logic programming system. The reasoning system is described as an extension of Prolog interpreter
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
We analyze the logical form of the domain knowledge that grounds analogical inferences and generaliz...
This paper describes an analogy ontology, a formal representation of some key ideas in analogical pr...
We present in this paper a formal theory of reasoning by analogy. We are mainly concerned with three...
Proc. International Workshop on Inductive Logic Programming (ILP92), 1992The EBG system builds an e...
1 Introduction to the Problem In this paper we consider the conditions under whichpropositions infer...
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive asp...
We describe the Arís (Analogical Reasoning for Implementations and Specifications) system that uses...
Analogical reasoning derives a new fact based on the analogous facts previously known. Inductive inf...
In this paper we provide an overview of a number of fundamental reasoning formalisms in artificial i...
AbstractOur goal is to develop a formal method for analogically deriving programs from past programm...
This is the accepted version of the article (2003) Analogical Reasoning. In: Ganter B., de Moor A.,...
This paper presents a mode! of analogical reasoning for learning. The mode! is based on two main ide...
Although argument by analogy is studied and featured in many computational models, less appreciated ...
Analogies play an important role in many reasoning tasks. The presentation will introduce a recently...
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
We analyze the logical form of the domain knowledge that grounds analogical inferences and generaliz...
This paper describes an analogy ontology, a formal representation of some key ideas in analogical pr...
We present in this paper a formal theory of reasoning by analogy. We are mainly concerned with three...
Proc. International Workshop on Inductive Logic Programming (ILP92), 1992The EBG system builds an e...
1 Introduction to the Problem In this paper we consider the conditions under whichpropositions infer...
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive asp...
We describe the Arís (Analogical Reasoning for Implementations and Specifications) system that uses...
Analogical reasoning derives a new fact based on the analogous facts previously known. Inductive inf...
In this paper we provide an overview of a number of fundamental reasoning formalisms in artificial i...
AbstractOur goal is to develop a formal method for analogically deriving programs from past programm...
This is the accepted version of the article (2003) Analogical Reasoning. In: Ganter B., de Moor A.,...
This paper presents a mode! of analogical reasoning for learning. The mode! is based on two main ide...
Although argument by analogy is studied and featured in many computational models, less appreciated ...
Analogies play an important role in many reasoning tasks. The presentation will introduce a recently...
Analogical reasoning is carried out based on an analogy which gives a similarity between a base doma...
We analyze the logical form of the domain knowledge that grounds analogical inferences and generaliz...
This paper describes an analogy ontology, a formal representation of some key ideas in analogical pr...
DOI
Add to ORKG