人工智慧:搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)

Start Date: 07/05/2020

Course Type: Common Course

Course Link: https://www.coursera.org/learn/rengong-zhineng

About Course

本課程分為人工智慧(上)、人工智慧(下)兩部份,第一部分除了人工智慧概論外,著重在目標搜尋、meta heuristic、電腦對弈、演繹學習(包含證言邏輯、一階邏輯及 planning )等技術。這些技術主要發展時機為人工智慧的第一波及第二波熱潮,也就是 1950 年代至 1990 年代附近的主流發展,即使到現在也在各個領域廣為應用。 課程教學目標: 使同學對人工智慧有基礎概念 同學能夠理解如何運用目標搜尋技術及演繹學習方式達成人工智慧 同學能將相關技術應用到自己的問題上

Coursera Plus banner featuring three learners and university partner logos

Course Introduction

本課程有兩大課程目標: 1. 使同學了解如何以搜尋達成人工智慧 2. 使同學能將相關技術應用到自己的問題上

Course Tag

Artificial Intelligence (AI) Search Algorithm A.I. Artificial Intelligence Algorithms

Related Wiki Topic

Article Example
Symbolic artificial intelligence Symbolic artificial intelligence is the collective name for all methods in artificial intelligence research that are based on high-level "symbolic" (human-readable) representations of problems, logic and search. Symbolic AI was the dominant paradigm of AI research from the mid-1950s until the late 1980s.
Artificial intelligence The central problems (or goals) of AI research include reasoning, knowledge, planning, learning, natural language processing (communication), perception and the ability to move and manipulate objects. General intelligence is among the field's long-term goals. Approaches include statistical methods, computational intelligence, and traditional symbolic AI. Many tools are used in AI, including versions of search and mathematical optimization, logic, methods based on probability and economics. The AI field draws upon computer science, mathematics, psychology, linguistics, philosophy, neuroscience and artificial psychology.
Logic for Programming, Artificial Intelligence and Reasoning The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.
Logic Today, logic is extensively applied in the fields of Artificial Intelligence and Computer Science, and these fields provide a rich source of problems in formal and informal logic. Argumentation theory is one good example of how logic is being applied to artificial intelligence. The ACM Computing Classification System in particular regards:
History of artificial intelligence At the conference Newell and Simon debuted the "Logic Theorist" and McCarthy persuaded the attendees to accept "Artificial Intelligence" as the name of the field.
Norm (artificial intelligence) With the arrival of computer applications into the legal domain, and especially artificial intelligence applied to it, logic has been used as the major tool to formalize legal
Fuzzy logic Fuzzy logic has been applied to many fields, from control theory to artificial intelligence.
Glossary of artificial intelligence This glossary of artificial intelligence terms is about artificial intelligence, its sub-disciplines, and related fields.
Logic for Programming, Artificial Intelligence and Reasoning It grew out of the Russian Conferences on Logic Programming 1990 and 1991; the idea to organize the conference was largely due to Robert Kowalski who proposed to create the Russian Association for Logic Programming. The conference was renamed in 1992 to "Logic Programming "and Automated Reasoning"" (LPAR) to reflect its extended scope, due to considerable interest in automated reasoning in the Former Soviet Union. After a break from 1995 to 1998, LPAR continued in 1999 under the name "Logic "for" Programming and Automated Reasoning", to indicate an extension of its logic part beyond logic programming. In 2001, the name changed to "Logic for Programming, Artificial "Intelligence and" Reasoning".
Logic Theorist In 1955, when Newell and Simon began to work on the Logic Theorist, the field of artificial intelligence did not yet exist. Even the term itself ("artificial intelligence") would not be coined until the following summer.
Artificial intelligence Deep learning in artificial neural networks with many layers has transformed many important subfields of artificial intelligence, including computer vision, speech recognition, natural language processing and others.
Artificial intelligence (disambiguation) Artificial intelligence is the intelligence exhibited by machines and software.
Artificial Intelligence System Artificial Intelligence System (AIS) was a distributed computing project undertaken by Intelligence Realm, Inc. with the long-term goal of simulating the human brain in real time, complete with artificial consciousness and artificial general intelligence. They claimed to have found, in research, the "mechanisms of knowledge representation in the brain which is equivalent to finding artificial intelligence", before moving into the developmental phase.
Dynamic logic (modal logic) These concerns of concurrency would appear to be less central to linguistics, philosophy, and artificial intelligence, the areas in which dynamic logic is most often encountered nowadays.
Artificial imagination Artificial imagination research uses tools and insights from many fields, including computer science, rhetoric, psychology, creative arts, philosophy, neuroscience, affective computing, Artificial Intelligence, Artificial intuition, cognitive science, linguistics, operations research, creative writing, probability and logic.
Artificial intelligence in fiction Artificial intelligence (AI) is a common topic of science fiction. Science fiction sometimes emphasizes the dangers of artificial intelligence, and sometimes its positive potential.
Artificial Intelligence II Artificial Intelligence II was a compilation album released on Warp Records on 30 May 1994. The album is the eighth and final release in Warp's "Artificial Intelligence" series.
Artificial general intelligence Artificial general intelligence (AGI) is the intelligence of a machine that could successfully perform any intellectual task that a human being can. It is a primary goal of artificial intelligence research and a common topic in science fiction and futurism. Artificial general intelligence is also referred to as "strong AI", "full AI" or as the ability of a machine to perform "general intelligent action".
Outline of artificial intelligence Competitions and prizes in artificial intelligence
Distributed artificial intelligence Distributed Artificial Intelligence (DAI) is a subfield of artificial intelligence research dedicated to the development of distributed solutions for complex problems regarded as requiring intelligence. DAI is closely related to and a predecessor of the field of Multi-Agent Systems.