A Formal Approach to the Problem of Logical Non-Omniscience.

Scott Garrabrant Tsvi Benson-Tilsen Andrew Critch Nate Soares Jessica Taylor

Published in: TARK (2017)

Keyphrases

logical reasoning
real time
learning algorithm
expert systems
formal model
database
neural network
multimedia
case study
formal semantics
formal models
mathematical theory
model theoretic