filmov
tv
Introduction to Logic Programming and Open World Reasoning
Показать описание
Covers logic programming and open world reasoning using a simple propositional logic to illustrate concepts. Covers fixpoint operators, negation, and consistency among other topics.
00:00:00 Module introduction
00:01:50 A simple logic used throughout the module
00:09:11 Logic Programming
00:18:25 Fixpoint operators
00:29:40 Open world vs. closed world reasoning
00:38:42 Negation
00:46:19 Inference in open world reasoning
00:50:48 Consistency
About the channel:
The Neuro Symbolic Channel provides the tutorials, courses, and research results on one of the most exciting areas in artificial intelligence and machine learning. With content originally from the AI course taught at Arizona State University, this channel brings you the latest at the intersection of symbolic methods (e.g., logic programming) and deep learning. Learn about the latest algorithms, Python packages, and progress toward larger goals such as artificial general intelligence (AGI).
00:00:00 Module introduction
00:01:50 A simple logic used throughout the module
00:09:11 Logic Programming
00:18:25 Fixpoint operators
00:29:40 Open world vs. closed world reasoning
00:38:42 Negation
00:46:19 Inference in open world reasoning
00:50:48 Consistency
About the channel:
The Neuro Symbolic Channel provides the tutorials, courses, and research results on one of the most exciting areas in artificial intelligence and machine learning. With content originally from the AI course taught at Arizona State University, this channel brings you the latest at the intersection of symbolic methods (e.g., logic programming) and deep learning. Learn about the latest algorithms, Python packages, and progress toward larger goals such as artificial general intelligence (AGI).
0:38:44
0:37:34
0:19:00
0:05:20
0:56:33
0:05:39
0:32:09
0:00:45
0:20:21
0:47:21
0:23:44
0:11:14
0:13:51
1:24:06
0:00:43
0:07:57
0:07:40
0:06:19
0:08:19
0:15:46
0:05:15
0:40:46
1:42:32
0:00:24