人工知能基礎 Foundations of Artificial Intelligence
 
◇ 担当教員 Instructor : 新保 仁(Masashi Shimbo / しんぼ まさし)
◇ 単位数 Credits : 1単位 ◇ 選択・必修 Required/Elective : 選択 ◇ 講義室 Room : L2
◇ 講義スタイル Style : 講義/公開
◇ 開講時期 Quarter : Ⅰ期 火曜2限

◇ 授業目的 Course goals : This course is intended to introduce students to fundamental concepts and techniques in Artificial Intelligence.
◇ 授業内容 Course description : The topics to be covered include the following:

Lecture 1. Introduction to artificial intelligence. Typology of AI search
Lecture 2. Uninformed search (breadth-first and depth-first searches)
Lecture 3. Uniform-cost search and Dijkstra's algorithm
Lecture 4. Heuristic search: A* and IDA*
Lecture 5. Propositional logic: Syntax
Lecture 6. Propositional logic: Semantics
Lecture 7. Conjunctive normal form
Lecture 8. (Propositional) resolution procedure

Note: the lectures will be given in English (注: 英語による授業)

◇ 教科書 Textbook : None. Lecture slides and hand-outs will be uploaded to the course web page (Follow the link below).
講義スライド・ハンドアウトを講義 web ページ (下のリンク先) で配布します.
◇ 参考書 Reference materials : 1.Nils J. Nilsson. Artificial Intelligence: A New Synthesis. Morgan Kaufmann Publishers, 1998. ISBN13: 978-1558605350
2.Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach, 3rd ed. Prentice Hall, 2010. ISBN: 0 13 604259 7
◇ 履修条件 Prerequisites : This course has no prerequisites, but familiarity with graph-theoretic concepts (such as nodes/vertices and edges/arcs) is assumed.
◇ 成績評価 Grading : Assignments: 100%
◇ オフィスアワー Office Hours : 13:30-15:00 on Tuesdays (Room A703), or by appointment
◇ 講義関連URL URL :
Course Web Page
◇ 配布資料 Handouts : 現在、配布資料はありません。