Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

ion over analog and new model Spawning of adaptation goals Adaptation strategy 1 SBF model of GTM Adaptation strategy n Adaptation goal GTM Evaluation of new model Retrieval of GTMs Instantiation of GTMs Composition of behaviors Analog Analogical transfer New model New model GTM Figure 3. Model-based analogy in Ideal. .

The ability to make informative comparisons is central to human cognition. Comparison involves aligning two representations and placing their elements into correspondence. Detecting correspondences is a necessary component of analogical inference, recognition, categorization, schema formation, and similarity judgment. Connectionist Analogy Builder (CAB) determines correspondences through a simp...

This paper presents the integrated AMBR model of analogy and memory based on the cognitive architecture DUAL. This model was also able to predict new phenomena such as context effects on problem solving and memory distortions as result of double analogies, which effects were then tested and confirmed in psychological experiments.

This paper introduces the various forms of analogy in NARS, a generalpurpose reasoning system. NARS is an AI system designed to be adaptive and to work with insufficient knowledge and resources. In the system, multiple types of inference, including analogy, deduction, induction, abduction, comparison, and revision, are unified both in syntax and in semantics. The system can also carry out relat...

The article is devoted to the identification of subject-object relations in text song by V.R. Tsoy. aim this work analyze drafts Tsoy and characteristics based on “Game” included rock album “Night”. To achieve goal, following methods were used work: bibliographic analysis literary works writer, comparative method, method analogy descriptive method. Based three versions lyrics “Game”, author not...

This study taps the potential of forms defence family rights and interests in Ukraine. It speaks favour establishment Family Court Ukraine by adopting best foreign practices. also presents an updated systematics terms ways to defend contains amendments Civil Codes harmonize law with civil ones, improve them correctly name defending interests. points at offers remove legal impediments that preve...

ABSTRACTPurpose: to suggest the ways improve quality of production and logistics processes baby food from standpoint administrative legal regulation. The methodological basisis use general scientific methods (observation, experiment, analysis, synthesis, induction, deduction, analogy, systematization, classification) special (comparative, etc.). Results:seven areas improving have been identifie...

People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic) whose truth was not even known prior to the existence of the explanation (proof). What do the cognitive operations underlying the inference that t...