Videos Sir59K8ZDPU
Why Agentic Systems Need Ontologies — Frank Coyle, UC Berkeley
Scene timeline
51 shot(s).
keyframes kept every frame deduplicated
What was stored
- cues
- 241
- whisperx 241
- chunks
- 37
- from 241 cues
- keyframes
- 22
- kept of 51 captured
- frames with text
- 22
- 480 lines read
- chapters
- 11
- from the source metadata
- keyframe bytes
- 6.4 MB
- word timings on 241 cues
Provenance
| stage | state | model | started | took |
|---|---|---|---|---|
fetch |
done | — | 2026-08-09 20:59 | 0s |
stt |
done | — | 2026-08-08 21:09 | 31s |
chunk |
done | — | 2026-08-08 21:09 | 0s |
text_embed |
done | — | 2026-08-10 19:33 | 0s |
keyframe |
done | — | 2026-08-08 21:09 | 3m 35s |
ocr |
done | — | 2026-08-08 21:13 | 14s |
frame_embed |
done | — | 2026-08-10 19:33 | 4s |
Frames, and what the machine read
-
- AlEngineer0.96
- World's Fair0.98
-
- AlEngineer0.95
- World's Fair0.99
-
- LAB & PLATINUM SPONSORS0.99
- Amazon AGI Lab0.98
- ANTHROP\C1.00
- Google DeepMind1.00
- MINIMAX0.95
- OpenAI0.92
- Akamai1.00
- arize1.00
- aws1.00
- Braintrust bright data0.97
- B1.00
- Browserbase1.00
- docker1.00
- :neo4j0.93
- ORACLE1.00
- PayPal1.00
- qodo1.00
- reducto1.00
- Sonar1.00
- Makers of1.00
- togetherai1.00
- Unblocked1.00
- WorkOS1.00
- SonarQube1.00
-
- AlEngineer0.97
- World'sFair1.00
- AI ENGINEER WORLD'S FAIR · GRAPHS & ONTOLOGIES0.97
- Why Agentic Systems0.98
- PRESENTED BY1.00
- Need Ontologies1.00
- Microsoft1.00
- Probabilistic reasoning inside. Logical guardrails outside.1.00
- Frank P. Coyle, PhD1.00
- University of California, Berkeley1.00
- July 2,20260.99
- Engineering the future of Al1.00
- World'sFair1.00
-
- AlEngineer0.98
- World's Fair0.98
- MY TEACHING PHILOSOPHY0.99
- CC0.64
- Nothing is a mistake.1.00
- PRESENTED BY1.00
- There's no win and no fail.0.99
- Microsoft1.00
- There's only make.0.99
- Sister Corita Kent · Rule 6, Some Rules for Students and Teachers (1967)0.99
- artist, educator, and nun — popularized by composer John Cage0.99
- Experiment freely0.99
- Build to understand1.00
- 80.99
- Iterate without fear0.99
- Run the code, break it, leam from what0.98
- We learn Al by making with it — not just0.99
- No final grade on a first attempt; only the next1.00
- happens.1.00
- reading about it.1.00
- version.1.00
- TRACK 5· JULY 2,20260.96
- Graphs1.00
- World's Fair0.99
-
- Two lineages0.98
- AlEngineer1.00
- World's Fair0.97
- A probabilistic substrate and a symbolic one.0.99
- AGENT1.00
- ONTOLOGY1.00
- the neural lineage1.00
- the symbolic lineage1.00
- origin: the philosophy of being — what exists, and how it's0.99
- McCarthy (1956) — coins "artificial intelligence"0.97
- categorized1.00
- Selfridge (1959) — Pandemonium: competing "demons"0.98
- Aristotle (~350 BC)1.00
- Minsky (1986) — Society of Mind0.98
- Categories — the kinds of being0.98
- Quine (1948)1.00
- Intelligence as many autonomous entities, not one monolith.0.99
- "to be is to be the value of a bound variable"0.99
- RUSSELL & NORVIG - the rational agent0.98
- Gruber (1993)0.97
- a formal spec of a shared conceptualization1.00
- →0.80
- PERCEIVE1.00
- DECIDE1.00
- ACT1.00
- On a probabilistic neural net — proposes what is likely.0.99
- Symbols + inference — declares what is permitted.0.99
- TRACK 5· JULY 2, 20260.96
- Graphs1.00
- World's Fair0.99
-
- AlEngineer0.98
- The convergence: neurosymbolic AI1.00
- World'sFair1.00
- Neither lineage is enough alone — the fracture from Al's founding, finally healed.0.99
- AGENT1.00
- ONTOLOGY1.00
- Probabilistic engine. Powerful but uncertain —1.00
- Formalized guardrails. Trustworthy but rigid —1.00
- reasons over a domain it only partly understands.1.00
- symbols and logic over a bounded domain.1.00
- It proposes.1.00
- It permits.1.00
- NEUROSYMBOLIC — the probabilistic agent operating inside formalized1.00
- guardrails1.00
- The agent proposes. The ontology permits. That is the synthesis.1.00
- Probabilistic reasoning inside.1.00
- Logical constraints outside.0.98
- TRACK 5· JULY 2, 20260.95
- Graphs1.00
- World'sFair1.00
-
- AlEngineer0.98
- The convergence: neurosymbolic AI1.00
- World'sFair1.00
- Neither lineage is enough alone — the fracture from Al's founding, finally healed.0.99
- AGENT1.00
- ONTOLOGY1.00
- PRESENTED BY1.00
- Probabilistic engine. Powerful but uncertain —0.99
- Formalized guardrails. Trustworthy but rigid —0.99
- reasons over a domain it only partly understands.1.00
- symbols and logic over a bounded domain.1.00
- Microsoft1.00
- It proposes.1.00
- It permits.0.99
- NEUROSYMBOLIC — the probabilistic agent operating inside formalized1.00
- guardrails1.00
- The agent proposes. The ontology permits. That is the synthesis.0.99
- Probabilistic reasoning inside.0.98
- Logical constraints outside.1.00
- TRACK 5• JULY 2, 20260.95
- Graphs1.00
- World's Fair0.98
-
- AlEngineer0.98
- Ontology → Data as Graphs0.98
- World's Fair0.99
- Entities become nodes, relationships become edges, properties live inside.1.00
- PRESENTED BY0.98
- Microsoft1.00
- PLACED1.00
- Customer1.00
- Order1.00
- name email1.00
- REFUNDED1.00
- CONTAINS1.00
- 自0.72
- Refund1.00
- Product1.00
- amount, reason1.00
- sku, price1.00
- nodes = entities (typed)0.98
- edges=relationships1.00
- text inside = properties0.99
- TRACK 5· JULY 2, 20260.95
- Graphs1.00
- World's Fair1.00
-
- How to build an ontology for your organization1.00
- AlEngineer0.98
- World'sFair1.00
- Two approaches — not in conflict. Meet in the middle, and reuse what already exists.0.99
- TOP DOWN· experts define entities, properties, relations &0.99
- "Expert Systems 2.0"1.00
- constraints1.00
- PLACED1.00
- Customer1.00
- Order1.00
- REFUNDED1.00
- CONTAINS1.00
- 自0.94
- Refund1.00
- Product1.00
- BOTTOM UP · extract from docs & reviews — NER / LLM mining0.98
- TRACK 5· JULY 2, 20260.94
- Graphs1.00
- World'sFair1.00
-
- AlEngineer0.99
- RDFS infers. OWL constrains.0.99
- World's Fair0.96
- The graph isn't a drawing — it derives facts and enforces rules.0.99
- RDFS1.00
- OWL1.00
- Domain & range → inference0.97
- Transitive + functional0.99
- teaches rdfs:domain Teacher1.00
- TRANSITIVE — chains close0.98
- teaches rdfs:range Student0.98
- ancestor a TransitiveProperty1.00
- Sue ancestor Mary0.98
- Bob teaches Scooter1.00
- Mary ancestor Anne1.00
- → Sue ancestor Anne0.98
- ↓ the reasoner derives, unasked:0.99
- FUNCTIONAL — at most one0.98
- Bob1.00
- a Teacher1.00
- hasFather a FunctionalProperty1.00
- Scooter a Student1.00
- Stewie hasFather Peter1.00
- Stewie hasFather Peter_G1.00
- = Peter owl:sameAs Peter_G0.97
- These derivations and constraints don't just sit in the graph — they become the guardrails an agentic loop must0.99
- obey. Next: the loop, and where it goes wrong.0.99
- TRACK 5· JULY 2,20260.97
- Graphs1.00
- World's Fair0.98
Transcript
241 cues· 2,897 words· 15,610 chars
- 0:13 Okay, we're going to launch here.
- 0:15 So my name is Frank Coyle.
- 0:18 I'm an educator.
- 0:20 I'm teaching at Berkeley now.
- 0:21 I've been doing this computer science stuff for, oh, 30, 35 years.
- 0:29 Right now, it's kind of a critical time for poor computer science students.
- 0:34 It used to be the only game in town, degree was a guaranteed job, and now, thanks to AI, it's not.
- 0:40 But then again, 5,000 people are here, so AI and agents seem to be the way to go.
- 0:48 So the question is, how do we leverage this new universe
- 0:52 that we are moving quickly into.
- 0:54 And so I want to talk about how agents and ontologies, big word, fit together.
- 1:00 But before I do that, I wanted to give you my educational philosophy.
- 1:09 And this comes from someone called Sister Corita Kent, and it was made popular by John Cage, who was an avant-garde musician.
- 1:21 You've got to think about this a little bit.
- 1:23 Nothing is a mistake.
- 1:25 There is no win.
- 1:26 There's no fail.
- 1:28 There's only make.
- 1:30 And more and more today, that's what's important.
- 1:33 Get down and make stuff, and that's how you're going to learn, not by necessarily reading.
- 1:38 I'm also a big fan of writing.
- 1:41 My early career was in neuroscience.
- 1:43 I'm kind of coming back into it now that agentic AI is bringing kind of cognitive science back.
- 1:51 But engage your senses.
- 1:53 Get a notebook.
- 1:54 Get a pen, a pencil.
- 1:57 Draw pictures.
- 1:58 Write stuff down.
- 2:00 Just don't type, because when you're typing, your brain is thinking about the letters on the keyboard.
- 2:06 When you're writing in a book, your whole brain, all your sensory systems are engaged, and you're gonna learn faster that way.
- 2:16 Okay, on to our talk.
- 2:21 Agents and ontology.
- 2:22 So there are two lineages here, and I wanna talk about both, give you a little philosophical background.
- 2:29 Agents, when did we start talking about agents?
- 2:32 Well, it goes back to the early initial days of AI.
- 2:36 People like John McCarthy, Selfridge, Marvin Minsky, Society of Mind, people started thinking about the fact that this new computing technology
- 2:48 was going to lead us into some kind of artificial intelligence, which is a term that came in 1956 when all these characters got together and tried to figure out where the future was going.
- 3:01 And the concept of an agent finally evolved, things that
- 3:05 perceive and decide and then act, and that's what we're seeing now.
- 3:09 Now, what about ontologies?
- 3:10 Well, it turns out ontologies are not that new, okay?
- 3:14 It was actually Aristotle who first came up with the concept of we need a philosophy of being, like, ooh, kind of heavy,
- 3:24 but came up with categories of being.
- 3:26 And this kind of relates to what people are doing now with graph databases and knowledge representation.
- 3:33 And there are a couple of other people who kind of formalized it.
- 3:37 Von Quine was a philosopher and then this guy Gruber, 1993.
- 3:42 And I think this captures what knowledge and
- 3:48 graph technology really represents.
- 3:51 It is a formal specification of a shared conceptualization.
- 3:57 And that's what we want to give to our agents.
loading
Chapters
- 0:00 Intro and an educator's philosophy
- 2:21 Two lineages: agents and ontologies
- 4:04 Neurosymbolic AI: guardrails around a probabilistic model
- 5:23 What an ontology actually is
- 6:14 Building one, and the expert systems era
- 7:55 Reusing existing taxonomies
- 9:12 RDFS and OWL: inference and constraints
- 12:12 Agents, loops, and how they break
- 14:22 A Claude tool use loop with an ontology validator
- 17:47 Pydantic at the door, ontology at the ledger
- 18:52 The errors an ontology catches that English cannot