판 이력 — Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL | AIChainDay