Automated reasoning

Douglas Lenat and Lex Fridman discuss introduction.

Douglas Lenat and Lex Fridman discuss what is cyc?.

Douglas Lenat and Lex Fridman discuss how to form a knowledge base of the universe.

Douglas Lenat and Lex Fridman discuss how to train an ai knowledge base.

Douglas Lenat and Lex Fridman discuss global consistency versus local consistency.

Douglas Lenat and Lex Fridman discuss direct uses of ai and machine learning.

Douglas Lenat and Lex Fridman discuss the semantic web.

Douglas Lenat and Lex Fridman discuss tools to help cyc interpret data.

Douglas Lenat and Lex Fridman discuss the most beautiful idea about cyc.

Douglas Lenat and Lex Fridman discuss love and consciousness in ai.

Douglas Lenat and Lex Fridman discuss the greatness of marvin minsky.

Douglas Lenat and Lex Fridman discuss is cyc just a beautiful dream?.

Douglas Lenat and Lex Fridman discuss what is opencyc and how was it born?.

Douglas Lenat and Lex Fridman discuss the open source community and opencyc.

Douglas Lenat and Lex Fridman discuss the inference problem.

Douglas Lenat and Lex Fridman discuss cyc's programming language.

Douglas Lenat and Lex Fridman discuss ontological engineering.

Douglas Lenat and Lex Fridman discuss do machines think?.

Douglas Lenat and Lex Fridman discuss death and consciousness.

Douglas Lenat and Lex Fridman discuss what would you say to ai?.

Douglas Lenat and Lex Fridman discuss advice to young people.

Douglas Lenat and Lex Fridman discuss mortality.