|
Moravec's Paradox
Moravec's paradox is the observation by artificial intelligence and robotics researchers that, contrary to traditional assumptions, reasoning requires very little computation, but sensorimotor and perception skills require enormous computational resources. The principle was articulated by Hans Moravec, Rodney Brooks, Marvin Minsky and others in the 1980s. Moravec wrote in 1988, "it is comparatively easy to make computers exhibit adult level performance on intelligence tests or playing checkers, and difficult or impossible to give them the skills of a one-year-old when it comes to perception and mobility". Similarly, Minsky emphasized that the most difficult human skills to reverse engineer are those that are below the level of conscious awareness. "In general, we're least aware of what our minds do best", he wrote, and added "we're more aware of simple processes that don't work well than of complex ones that work flawlessly". Steven Pinker wrote in 1994 that "the main lesson of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artificial Intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech recognition, computer vision, translation between (natural) languages, as well as other mappings of inputs. The ''Oxford English Dictionary'' of Oxford University Press defines artificial intelligence as: the theory and development of computer systems able to perform tasks that normally require human intelligence, such as visual perception, speech recognition, decision-making, and translation between languages. AI applications include advanced web search engines (e.g., Google), recommendation systems (used by YouTube, Amazon and Netflix), understanding human speech (such as Siri and Alexa), self-driving cars (e.g., Tesla), automated decision-making and competing at the highest level in strategic game systems (such as chess and Go). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Vision
Computer vision is an interdisciplinary scientific field that deals with how computers can gain high-level understanding from digital images or videos. From the perspective of engineering, it seeks to understand and automate tasks that the human visual system can do. Computer vision tasks include methods for acquiring, processing, analyzing and understanding digital images, and extraction of high-dimensional data from the real world in order to produce numerical or symbolic information, e.g. in the forms of decisions. Understanding in this context means the transformation of visual images (the input of the retina) into descriptions of the world that make sense to thought processes and can elicit appropriate action. This image understanding can be seen as the disentangling of symbolic information from image data using models constructed with the aid of geometry, physics, statistics, and learning theory. The scientific discipline of computer vision is concerned with the theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
South China Morning Post
The ''South China Morning Post'' (''SCMP''), with its Sunday edition, the ''Sunday Morning Post'', is a Hong Kong-based English-language newspaper owned by Alibaba Group. Founded in 1903 by Tse Tsan-tai and Alfred Cunningham, it has remained Hong Kong's newspaper of record since British colonial rule. Editor-in-chief Tammy Tam succeeded Wang Xiangwei in 2016. The ''SCMP'' prints paper editions in Hong Kong and operates an online news website. The newspaper's circulation has been relatively stable for years—the average daily circulation stood at 100,000 in 2016. In a 2019 survey by the Chinese University of Hong Kong, the ''SCMP'' was regarded relatively as the most credible paid newspaper in Hong Kong. The ''SCMP'' was owned by Rupert Murdoch's News Corporation from 1986 until it was acquired by Malaysian real estate tycoon Robert Kuok in 1993. On 5 April 2016, Alibaba Group acquired the media properties of the SCMP Group, including the ''SCMP''. In January 2017, former D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subsumption Architecture
Subsumption architecture is a reactive robotic architecture heavily associated with behavior-based robotics which was very popular in the 1980s and 90s. The term was introduced by Rodney Brooks and colleagues in 1986.Brooks, R. A., "A Robust Programming Scheme for a Mobile Robot", Proceedings of NATO Advanced Research Workshop on Languages for Sensor-Based Control in Robotics, Castelvecchio Pascoli, Italy, September 1986. Subsumption has been widely influential in autonomous robotics and elsewhere in real-time AI. Overview Subsumption architecture is a control architecture that was proposed in opposition to traditional AI, or GOFAI. Instead of guiding behavior by symbolic mental representations of the world, subsumption architecture couples sensory information to action selection in an intimate and bottom-up fashion. It does this by decomposing the complete behavior into sub-behaviors. These sub-behaviors are organized into a hierarchy of layers. Each layer implements a part ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
History Of Artificial Intelligence
The history of artificial intelligence (AI) began in antiquity, with myths, stories and rumors of artificial beings endowed with intelligence or consciousness by master craftsmen. The seeds of modern AI were planted by philosophers who attempted to describe the process of human thinking as the mechanical manipulation of symbols.This work culminated in the invention of the programmable digital computer in the 1940s, a machine based on the abstract essence of mathematical reasoning. This device and the ideas behind it inspired a handful of scientists to begin seriously discussing the possibility of building an electronic brain. The field of AI research was founded at a workshop held on the campus of Dartmouth College, USA during the summer of 1956. Those who attended would become the leaders of AI research for decades. Many of them predicted that a machine as intelligent as a human being would exist in no more than a generation, and they were given millions of dollars to make ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embodied Cognition
Embodied cognition is the theory that many features of cognition, whether human or otherwise, are shaped by aspects of an organism's entire body. Sensory and motor systems are seen as fundamentally integrated with cognitive processing. The cognitive features include high-level mental constructs (such as concepts and Categorization, categories) and performance on various cognitive tasks (such as reasoning or judgment). The bodily aspects involve the motor system, the perceptual system, the bodily interactions with the environment (situatedness), and the assumptions about the world built into the organism's functional structure. The embodied mind thesis challenges other theories, such as Cognitivism (psychology), cognitivism, computationalism, and Dualism (philosophy of mind), Cartesian dualism. It is closely related to the extended mind thesis, situated cognition, and enactivism. The modern version depends on insights drawn from up to date research in psychology, linguistics, cogni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
AI Effect
:''For the magnitude of effect of a pesticide, see Pesticide application. Of change in farming practices, see Agricultural intensification.'' The AI effect occurs when onlookers discount the behavior of an artificial intelligence program by arguing that it is not ''real'' intelligence. Author Pamela McCorduck writes: "It's part of the history of the field of artificial intelligence that every time somebody figured out how to make a computer do something—play good checkers, solve simple but relatively informal problems—there was a chorus of critics to say, 'that's not thinking'." Researcher Rodney Brooks complains: "Every time we figure out a piece of it, it stops being magical; we say, 'Oh, that's just a computation.'" "The AI effect" is that line of thinking, the tendency to redefine AI to mean: "AI is anything that has not been done yet." This is the common public misperception, that as soon as AI successfully solves a problem, that solution method is no longer within the d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Language Instinct
''The Language Instinct: How the Mind Creates Language'' is a 1994 book by Steven Pinker, written for a general audience. Pinker argues that humans are born with an innate capacity for language. He deals sympathetically with Noam Chomsky's claim that all human language shows evidence of a universal grammar, but dissents from Chomsky's skepticism that evolutionary theory can explain the human language instinct. Thesis Pinker criticizes a number of common ideas about language, for example that children must be taught to use it, that most people's grammar is poor, that the quality of language is steadily declining, that the kind of linguistic facilities that a language provides (for example, some languages have words to describe light and dark, but no words for colors) has a heavy influence on a person's possible range of thoughts (the Sapir–Whorf hypothesis), and that nonhuman animals have been taught language (see Great ape language). Pinker sees language as an ability unique to h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nouvelle AI
Nouvelle artificial intelligence (AI) is an approach to artificial intelligence pioneered in the 1980s by Rodney Brooks, who was then part of MIT artificial intelligence laboratory. Nouvelle AI differs from classical AI by aiming to produce robots with intelligence levels similar to insects. Researchers believe that intelligence can emerge organically from simple behaviors as these intelligences interacted with the "real world," instead of using the constructed worlds which symbolic AIs typically needed to have programmed into them. Motivation The differences between nouvelle AI and symbolic AI are apparent in early robots Shakey and Freddy. These robots contained an internal model (or "representation") of their micro-worlds consisting of symbolic descriptions. As a result, this structure of symbols had to be renewed as the robot moved or the world changed. Shakey's planning programs assessed the program structure and broke it down into the necessary steps to complete the desi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Math
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symbolic Integration
In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or ''indefinite integral'', of a given function ''f''(''x''), i.e. to find a differentiable function ''F''(''x'') such that :\frac = f(x). This is also denoted :F(x) = \int f(x) \, dx. Discussion The term symbolic is used to distinguish this problem from that of numerical integration, where the value of ''F'' is sought at a particular input or set of inputs, rather than a general formula for ''F''. Both problems were held to be of practical and theoretical importance long before the time of digital computers, but they are now generally considered the domain of computer science, as computers are most often used currently to tackle individual instances. Finding the derivative of an expression is a straightforward process for which it is easy to construct an algorithm. The reverse question of finding the integral is much more difficult. Many expressions which are relatively simple do not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_(cropped).png "Click for more on -> Computer Vision")
.PNG "Click for more on -> Theorem")
