Chapter
Training Ontological Engineers
2:13:10 - 2:26:57 (13:46)
The Knowledge Accumulation Institute aims to identify talented individuals with the ability to understand the fundamentals of the world and trains them as ontological engineers. Lisp was the programming language which was based on logic and was developed for effectively making a programming language based on formalisms that were given by philosophers and other logicians.
Clips
Updating legacy programs involves a 50-50 split between finding efficient ways to deal with technical debt and incorporating the necessary updates of the system, which are automatically translated into Java or C for efficiency.
2:13:10 - 2:15:25 (02:14)
Summary
Updating legacy programs involves a 50-50 split between finding efficient ways to deal with technical debt and incorporating the necessary updates of the system, which are automatically translated into Java or C for efficiency.
ChapterTraining Ontological Engineers
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
This podcast discusses the history and nature of the Lisp programming language, its compatibility with reasoning and theorem proving, and its relevance to hiring programmers interested in automated theorem proving.
2:15:25 - 2:18:19 (02:54)
Summary
This podcast discusses the history and nature of the Lisp programming language, its compatibility with reasoning and theorem proving, and its relevance to hiring programmers interested in automated theorem proving.
ChapterTraining Ontological Engineers
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
Turning commonly occurring types or schemas of rules into new predicates speeds up inference processes by avoiding the need for complicated graph walks or theorem proving.
2:18:19 - 2:21:04 (02:44)
Summary
Turning commonly occurring types or schemas of rules into new predicates speeds up inference processes by avoiding the need for complicated graph walks or theorem proving. Redundantly storing the transitive closure of transitive relations in a table can also speed up the process significantly.
ChapterTraining Ontological Engineers
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
The Knowledge Accumulation Institute aims to offer scholarships to those with latent talent in ontological engineering and help place them in companies that need more trained professionals.
2:21:04 - 2:24:28 (03:23)
Summary
The Knowledge Accumulation Institute aims to offer scholarships to those with latent talent in ontological engineering and help place them in companies that need more trained professionals. The traditional education system is largely irrelevant to this field, as empirical evidence suggests.
ChapterTraining Ontological Engineers
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
Some of the qualities required to be a good AI includes having a good sense of humor, being able to make and understand jokes, as well as being able to introspect and answer simple questions.
2:24:28 - 2:25:14 (00:46)
Summary
Some of the qualities required to be a good AI includes having a good sense of humor, being able to make and understand jokes, as well as being able to introspect and answer simple questions.
ChapterTraining Ontological Engineers
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
Ontological engineering is a technical field that focuses on creating classifications of objects in the world.
2:25:14 - 2:26:57 (01:42)
Summary
Ontological engineering is a technical field that focuses on creating classifications of objects in the world. Introspection is an important skill for those working in this field to effectively understand how we are able to differentiate between objects and concepts in the world around us.