Search Results for author:
Found 4 papers, 0 papers with code
A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making
To enable decision-making under uncertainty and partial observability, we developed a novel probabilistic neuro-symbolic framework, Probabilistic Logical Neural Networks (PLNN), which combines the capabilities of logical reasoning with probabilistic graphical models.
E-PDDL: A Standardized Way of Defining Epistemic Planning Problems
Epistemic Planning (EP) refers to an automated planning setting where the agent reasons in the space of knowledge states and tries to find a plan to reach a desirable state from the current state.
A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?
There is a problem with the foundations of classical mathematics, and potentially even with the foundations of computer science, that mathematicians have by-and-large ignored.
Analysis of Watson's Strategies for Playing Jeopardy!
After giving a detailed description of each of our game-strategy algorithms, we then focus in particular on validating the accuracy of the simulators predictions, and documenting performance improvements using our methods.
