PhD Proposal: Encoding and Exploiting Context in Logic-Based AI Systems
David Sekora
IRB-4107
Wednesday, October 2, 2024, 2:00-3:30 pm 
Abstract
Traditional symbolic approaches to AI suffer from a scaling problem: as the amount of facts in a knowledge base increases, the number of possible inferences that can be drawn by a reasoner grows at a much faster rate. One strategy to address this problem is to incorporate contextual metadata so that the reasoner can evaluate the relevance of its facts to the current situation and prioritize consideration of the most relevant facts. For my dissertation, I will explore and classify available forms of context, paying special attention to spatial context. I will investigate how context can be acquired and encoded, and describe a procedure for augmenting a formal logic with contextual metadata (resulting in what I have termed a "C-Logic''). Finally, I will design an architecture for a logical reasoner that directs inference using context. I plan to produce a demo implementation of such a reasoner as a proof-of-concept, but this is not the focus of the work. The specific method I propose for encoding context is to embed facts in a vector space, whose dimensions correspond to different forms of context; this enables the use of nearest-neighbor queries to retrieve the facts closest to the embedding of the agent's current context. Time permitting, I would also like to experiment with potential roles for machine learning in the acquisition and quantification of contextual information.
Bio
David is a PhD student at UMD, studying under Prof. Yiannis Aloimonos. He studies formal logic and its applications to real-time embodied AI. His current work is on the use of contextual metadata to mitigate the intractability of formal logic at scale.
This talk is organized by Migo Gui