Reasoning in every day life
نویسنده
چکیده
To be rational means to be able to reason. Thirty years ago psychologists believed that human reasoning is depending on formal rules of inference akin to those of the logical calculus. This hypothesis ran into difficulties, which led to creating more categories of reasoning. They are trying to describe human reasoning with all pros and cons and to simulate reasoning of human mind. We will describe some of these categories, show some examples and where are they used in a human every day life. We also try to refer the reader to some more comprehensive articles about particular categories.
منابع مشابه
What definition of information would be emancipatory one?
Background and Aim: Human-information interaction, either in every day life or in research approaches, depends on pre-assumptions about “what information is”. Sometimes this pre-assumptions become axiomtic in a way that we must return to primary concerns about them to explore new social phenomenas. Information as an object is one of pre-assumptions. In this paper, the mentioned pre-assumptions ...
متن کاملBridging the Gap Between Semantic Planning and Continuous Control for Mobile Manipulation Using a Graph-Based World Representation
We present our ongoing efforts to create a mobile manipulation database tool, a flexible multi-modal representation supporting persistent life-long adaptation for autonomous service robots in every-day environments. Its application to a prototypical domain illustrates how it provides symbol grounding to a reasoning system capable of learning new concepts, couples semantic planning with whole-bo...
متن کاملAirborne Fungi Identification by Case-Based Reasoning
Human beings are exposed every day to bioaerosols in the various fields of their personal and/or professional daily life. The European Commission has rules protecting employees in the workplace from biological hazards. Airborne fungi can be detected and identified by an image acquisition and interpretation system. In this paper we present our preliminary work on building an automatic cbr-based ...
متن کاملArithmetic Reasoning for Static Analysis of Software
Software and hardware veri cation has shown the ability to prove the correctness of many sophisticated algorithms and to discover many subtle errors. But the veri cation tools are not in every-day use by nonspecialists. This paper describes several of the verication methods in a tool, which is in every-day use by programmers. The paper concentrates on theorem proving and related aspects.
متن کاملThe effect of different feeding rates and restriction on the growth performance of Clarias gariepinus
This study seeks to investigate the effect of restricted feeding regimes at different rate on growth performance of Clarias gariepinus using static and flow through system. Fingerlings were divided into six batches for each systems with the first and second batch fed at 5% body weight (BW) every day and every other day respectively, the third and fourth batch were fed 10% BW every day and every...
متن کامل