نتایج جستجو برای: logical intelligence
تعداد نتایج: 159026 فیلتر نتایج به سال:
Deduction, induction, and analogy pervade all our thinking. In contrast with deduction, understanding logical aspects of induction and analogy is stil l an important and challenging issue of artificial intelligence. This paper describes a logical formalization, called production, of common conjectural reasoning of both induction and analogy. By introduction of preduction, analogical reasoning i...
This paper reviews recent advances in the interdisciplinary area lying between artificial intelligence and the theory of argumentation. The paper has two distinct foci: first, examining the ways in which argumentation has inspired new models of logical and computational intelligence; and second, exploring how AI techniques have been used and extended to model and handle real world argument in a...
Thomas Bolander: Logical Theories for Introspective Agents Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one’s external environment but also oneself and one’s own reasoning. We ...
• Logical AI (artificial intelligence) is based on programs that represent facts about the world in languages of mathematical logic and decide what actions will achieve goals by logical reasoning. A lot has been accomplished with logic as is. • This was Leibniz's goal, and I think we'll eventually achieve it. When he wrote Let us calculate, maybe he imagined that the AI problem would be solved ...
For logical artificial intelligence to be truly useful, its methods must scale to problems of realistic size. An interruptible algorithm enables a logical agent to act in a timely manner to the best of its knowledge, given its reasoning so far. This seems necessary to avoid analysis paralysis, trying to think of every potentiality, however unlikely, beforehand. These considerations prompt us to...
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-bas...
We will discuss the question whether artificial intelligence can contribute to a better understanding of human cognition. We will introduce two examples in which AI models provide explanations for certain cognitive abilities: The first example examines aspects of analogical reasoning and the second example discusses a possible solution for learning first-order logical theories by neural network...
Intelligence By CYRIL BURT, M.A., D.Sc. Psychologists are often asked for a good test of intelligence to be used with adults. Of those at present available none is wholly satisfactory. The harder problems in the Terman-Binet scale sound too much like a teacher's crossquestioning in school : " If two pencils cost fivepence, how many pencils can you buy for fifty pence?"* On the other hand, the b...
gence, in cooperation with Stanford University’s Department of Computer Science, presented the 2011 Spring Symposium Series Monday through Wednesday, March 21–23, 2011, at Stanford University. The titles of the eight symposia were Artificial Intelligence and Health Communication, Artificial Intelligence and Sustainable Design, Artificial Intelligence for Business Agility, Computational Physiolo...
The study aims to identify the types of metacognitive awareness as well as Multiple Intelligences with Taiwanese EFLs (English as Foreign Language) at medical junior colleges. In addition, metacognitive awareness and multiple intelligences were investigated to discover whether or not both factors affect students’ English reading performance, specifically in reading comprehension. A total of 454...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید