Pentru mai multe informații despre programele profesionale și postuniversitare de inteligență artificială de la Stanford, vizitați: https://stanford.io/ai
Profesor asociat Percy Liang
Profesor asociat de informatică și statistică (față de amabilitatea)
https://profiles.stanford.edu/percy-liang
Asistent profesor Dorsa Sadigh
Profesor asistent la Departamentul de Informatică și Departamentul de Inginerie Electrică
https://profiles.stanford.edu/dorsa-sadigh
Pentru a urma programul cursului și programa, vizitați:
https://stanford-cs221.github.io/autumn2021/#schedule
0:00 Introducere
0:06 Logica: logica de ordinul întâi
0:36 Limitările logicii propoziționale
5:08 Logica de ordinul întâi: exemple
6:19 Sintaxa logicii de ordinul întâi
12:55 Cuantificatori de limbaj natural
15:47 Câteva exemple de logică de ordinul întâi
20:01 Reprezentarea grafică a unui model Dacă au doar predicate unare și binare, un model w poate fi reprezentat ca un grafic direcționat
22:09 O restricție asupra modelelor
24:16 Propoziționalizare Dacă maparea unu-la-unu între simboluri și obiecte constante (nume unice și închidere de domeniu)
Cursuri interesante:
- Logica 2 – Logica de ordinul întâi | Stanford CS221: AI (toamna 2019)
- Logica 1 – Logica propozițională | Stanford CS221: AI (toamna 2019)
- Logic 9 – Rezoluție de primă ordine | Stanford CS221: AI (toamna 2021)
- Machine Learning 1 – Clasificatori liniari, SGD | Stanford CS221: AI (toamna 2019)
- Procesele de decizie Markov 2 – Învățare prin consolidare | Stanford CS221: AI (toamna 2019)
- Probleme de satisfacție a constrângerilor (CSP) 5 – Consistența arcului | Stanford CS221: AI (toamna 2021)
- Prezentare generală Curs de inteligență artificială | Stanford CS221: Learn AI (toamna 2019)
- Probleme de satisfacție cu constrângeri (CSP) 1 – Prezentare generală | Stanford CS221: AI (toamna 2021)
- Căutare 1 – Programare dinamică, Căutare costuri uniforme | Stanford CS221: AI (toamna 2019)
- Rețele Bayesiene 3 – Probabilitate maximă | Stanford CS221: AI (toamna 2019)