reasoning
71Visual reasoning — In a frequently cited paper [Ferguson, Eugene S. 1977. The Minds Eye: Non Verbal Thought in Technology. Science 197 (4306):827 836.] in the journal Science and later book [Ferguson, Eugene S. 1992. Engineering and the mind s eye . Cambridge, Mass …
72The Reasoning — are a rock band from Cardiff, formed in August 2005. They consist of bassist Matthew Cohen, Dylan Thompson (guitar and vocals), Gareth Jones (keyboards and vocals), Owain Roberts (guitar), Vinden Wylde (drums) and the award winning singer Rachel… …
73Mathematics Mechanization and Automated Reasoning Platform — Original author(s) 中国科学院数学机械化重点实验室 Developer(s) 中國 国家基础研究发展规划项目 数学机械化与自动推理平台 软件开发课题组 Stable release 3.0 / April 1, 2006; 5 years ago (2006 04 01) …
74line of reasoning — noun a course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning I can t follow your line of reasoning • Syn: ↑argumentation, ↑logical argument, ↑argument, ↑line • Derivationally related forms:… …
75Attacking Faulty Reasoning — is a textbook on logical fallacies by T. Edward Damer that has been used for many years in a number of college courses on logic, critical thinking, argumentation, and philosophy. It explains 60 of the most commonly committed logical fallacies.… …
76International Conference on Automated Reasoning with Analytic Tableaux and Related Methods — The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it… …
77Procedural Reasoning System — The Procedural Reasoning System (PRS) is a popular agent architecture in artificial intelligence systems. PRS could, for example, be used as a framework when writing a controller for a mobile robot. Some of PRS s features are:* The program that… …
78Circular reasoning — is a formal logical fallacy in which the proposition to be proved is assumed implicitly or explicitly in one of the premises. For example: Only an untrustworthy person would run for office. The fact that politicians are untrustworthy is proof of… …
79Distributed Multi-Agent Reasoning System — In artificial intelligence, the Distributed Multi Agent Reasoning System (dMARS) is a platform for intelligent software agents developed at the AAII that makes uses of the BDI software model. The design for dMARS is an extension of the… …
80Mental model theory of reasoning — Introduction The mental model theory of reasoning was developed by Philip Johnson Laird and Ruth M.J. Byrne (Johnson Laird and Byrne, 1991). It has been applied to the main domains of deductive inference including relational inferences such as… …
