Logic and AI

Time: 2023 Spring semester. 9:50-12:15 am, every Thursday

Location: Room 1306, Teaching Building 3, Tsinghua campus

Description: This course will introduce the history of AI, and what is happening in several major AI applied areas.
Then we will introduce the latest research in logic that is highly relevant to these applications. Students are encouraged
to think with an interdisciplinary manner. The latest development in AI may inspire logicicians to explore new theoretical
issues, but taking logic and inference into account may provide novel solutions to the challenges that AI currently faces.

Contact: Fenrong Liu (fenrongATtsinghua.edu.cn); TA: Penghao Du (dph21ATmails.tsinghua.edu.cn)

Course Plan

Week 1 The History of AI

Week 2 The History of AI

Supplementary materials:

• Papers: (1) Chris Smith, et al. The History of AI;
  (2) A. M. Turing (1950) Computing Machinery and Intelligence. Mind 49: 433-460;
  (3) The Chinese Room Argument, Stanford Encyclopedia of Philosophy
• Links: https://sitn.hms.harvard.edu/flash/2017/history-artificial-intelligence/
• AlphaGo - The Movie (Full award-winning documentary)

Week 3 Applied area: Recommendation Algorithms

Supplementary materials:

• Paper: Personalized Recommendation via User Preference Matching
• Paper: Automated Product Recommendations with Preference-Based Explanations
• Link:https://sitn.hms.harvard.edu/flash/2017/recommended-machine-learning-helps-choose-consume-next/

Week 4 Applied area: Self-driving car

Supplementary materials:

• Link: https://sitn.hms.harvard.edu/flash/2017/self-driving-cars-technology-risks-possibilities/

  Week 5 Applied area: Chat-GPT

  Supplementary materials:
  
• Link: https://sitn.hms.harvard.edu/flash/2017/dances-chatbots-interviews-forefront-ai-technology/

  Week 6 Applied area: AI policy (ethics, causality)

  Supplementary materials:
  
• Link: https://sitn.hms.harvard.edu/flash/2017/hold-artificial-intelligence-accountable/

  Week 6 Preference and decision making (follow up on week 3)

  Week 7 Preference and decision making (follow up on week 3)

  Week 8 Knowledge Representation (follow up on week 4)

  Week 9 Knowledge Representation (follow up on week 4)

  Week 10 Interactive Communication (follow up on week 5)

  Week 11 Interactive Communication (follow up on week 5)

  Week 10 Norms and Ethics (follow up on week 6)

  Week 11 Norms and Ethics (follow up on week 6)

  Week 12 Causality and explanations (follow up on week 6)

  Week 13 Causality and explanations (follow up on week 6)

  Week 14 Plans come later