Terminological reasoning systems directly support the abstraction mechanisms generalization and classification. But they do not bother about aggregation and have some problems with reasoning demands such as concrete domains, sequences of finite but unbounded size and derived attributes. The paper demonstrates the relevance of these issues in an analysis of a mechanical engineering application a...

Richard Dedekind has had an incredible influence on modern mathematics, largely due to his methodological demands which are still valued by mathematicians today. Through an investigation of some of his works written between 1854 and 1877, I reveal a connection between these methodological demands and features of axiomatic reasoning that he employed. I discuss two foundational/philosophic works ...

The eliminative nature of Constraint Satisfaction over nite domains o ers an interesting potential for robustness in the parsing of spoken language. An approach is presented, which puts unusually ambitious demands on the design of the Constraint Satisfaction procedure by trying to combine preferential reasoning, dynamic scheduling, parallel processing and incremental constraint solving within a...

The ability to draw analogies requires 2 key cognitive processes, relational integration and resolution of interference. The present study aimed to identify the neural correlates of both component processes of analogical reasoning within a single, nonverbal analogy task using event-related functional magnetic resonance imaging. Participants verified whether a visual analogy was true by consider...

OBJECTIVES Although age-related differences in planning ability are well known, their cognitive foundations remain a matter of contention. To elucidate the specific processes underlying planning decrements in older age, the relative contributions of fluid reasoning, working memory (WM) capacity, and processing speed to accuracy on the Tower of London (TOL) planning task were investigated. MET...

Introduction: Clinical reasoning is a vital aspect of physiciancompetence. It has been the subject of academic research fordecades, and various models of clinical reasoning have beenproposed. The aim of the present study was to develop a theoreticalmodel of clinical reasoning.Methods: To conduct our study, we applied the process of theorysynthesis in accordan...

Muhammad Abid Jabari as a leading scholar in studying the historical development of Arab Islam that developed contemporary era. al-Jabri by following modern steps reading history Region Middle East region through his criticism Arabic Reason. This research is approached philosophically historically to be able formulate important ideas SKI material accordance with order attract students. Paradigm...

This study develops and integrates an efficient knowledge-based system and a component-based framework to design an intelligent and flexible home health care system. The proposed knowledge-based system integrates an efficient rule-based reasoning model and flexible knowledge rules for determining efficiently and rapidly the necessary physiological and medication treatment procedures based on so...

The ability to draw numerical inductive reasoning requires two key cognitive processes, identification and extrapolation. This study aimed to identify the neural correlates of both component processes of numerical inductive reasoning using event-related fMRI. Three kinds of tasks: rule induction (RI), rule induction and application (RIA), and perceptual judgment (Jud) were solved by twenty righ...