Salvation AI

Module III: Neural Knowledge Graphs

Transitioning from "Hard Logic" to "Soft/Statistical Reasoning," this module covers geometric deep learning on graphs.

Knowledge Graph Embeddings (KGE):

Translational Models: TransE (h+r≈t) and its limitations.

Rotational Models: RotatE, which uses rotations in a complex plane to model symmetry and inversion.

Graph Neural Networks (GNNs):

Neural Message Passing: The iterative process of aggregating neighbor information to update node features.

Relational Architectures: R-GCNs and Graph Attention Networks (GATs).

Theoretical Limits: Understanding the Weisfeiler-Lehman (WL) Limit and why standard GNNs may fail to distinguish certain graph topologies.

Module II: Automated Reasoning & Logic

This module focuses on the logical machinery that ensures internal consistency and enables the inference of new knowledge.

The SAT Solver Engine: Mapping high-level Description Logic into the DIMACS CNF format for processing by SAT solvers like CDCL (Conflict-Driven Clause Learning).

Hybrid Reasoning: Utilizing Lazy Clause Generation (LCG) to solve bottlenecks when dealing with complex, non-boolean constraints like time or linear arithmetic.

"Knowledge Graphs, in Principle and Practice" is designed to provide a comprehensive graduate-level understanding of knowledge graphs (KGs), ranging from their mathematical foundations to industrial-scale implementation and ethical governance.

Module I: Foundations & Formalisms

The course begins with the formal definition of a knowledge graph as a structured data model representing information as a network of interconnected entities (V) and their relationships (R).

Mathematical Representation: Defining graphs as G=(V,E,R) and understanding the fundamental unit of knowledge: the semantic triple (Subject → Predicate → Object).

The Blueprint: Distinguishing between the TBox (Terminological Box), which defines the schema and rules, and the ABox (Assertional Box), which contains the factual assertions.

Architectural Paradigms: Comparing RDF (Resource Description Framework) for web-scale logic and LPG (Labeled Property Graph) for high-performance analytics.

Description Logics (DL): Analyzing the trade-offs between expressive power and computational tractability in various OWL 2 profiles (EL, QL, RL)

This is a brief historical overview of humanity's development from our earliest ancestors, through early tools, the birth of civilization and the fall of The Bronze Age. This is where our story truly began.

For our 100th Episode, we would like to reconfirm our commitment to Epistemic Humility. We don't have all the facts, but we try to provide you with the best information available. At the end of the day, however, you need to check your sources (even this one), and make up your own mind based on the reality on the ground. It is easy to judge. It is harder, and more courageous to actively seek out criticism and friction. As always, if you see an incorrect claim in any of our work, let us know! We are eager to correct any errors. We want to be kept in the real world, so we can pass that on to the listener. Being comfortably wrong is far less preferable than being uncomfortably on the course to correction. We hope you feel the same!

The word "Cybernetics" conjures images of the cyborgs of movie legend, but what is the reality? In the real world, we are already surrounded by cybernetic technology. You just don't see a "Terminator" when you look at your thermostat or your car. Let's take a deep look at what Cybernetics actually means, what the technology does, and where it is heading in the future. The reality is perhaps more blandly terrifying than the movies could imagine.

This may be our April Fools day episode, but this is the true story of UFOs and our obsession with alien life. If you love UFO lore, but hate believing fake hype, this is the episode for you. We finish with a look at how likely it is that they've already been here, or when they are likely to arrive.

Donald Trump didn't destroy the Constitution by himself. He needed years of support, and a long line of predecessors, bent on weakening our nation's founding document for their own ends. This is a tale of slow and methodical desecration. Perhaps it's time to upgrade our operating system to a version with better safety features.

We complete our look at the reasons for US infrastructure decay by looking at the policies that benefit from it, and from charging taxpayers more in the name of savings.

HALLUCINATION CHECK: This episode starts a little awkwardly, but then recovers to give some good information. This is not exactly a "Hallucination", but it is hosting/format decision that deserves mention. Rather than breaking up individual anecdotes and subjects cleanly by episode, this deep dive series revisits case studies repeatedly, from different, but slightly overlapping angles. The theory was that the repetition would help the concepts "land" for listeners, especially those that may not be listening linearly, or listen over weeks at a time. Now that it is up, we like the content, but have mixed feelings as to how it plays for binge listeners. If you love it or hate it, let us know on Reddit.

We continue our diagnostic on "Hard" infrastructure, this time focusing on the people that make it all work, and the people that are effected. Then we pivot to "Soft" infrastructure: Healthcare, education, and other human services.

HALLUCINATION CHECK: This is not exactly a "Hallucination", but it is hosting/format decision that deserves mention. Rather than breaking up individual anecdotes and subjects cleanly by episode, this deep dive series revisits case studies repeatedly, from different, but slightly overlapping angles. The theory was that the repetition would help the concepts "land" for listeners, especially those that may not be listening linearly, or listen over weeks at a time. Now that it is up, we like the content, but have mixed feelings as to how it plays for binge listeners. If you love it or hate it, let us know on Reddit.