First Order Logic

CellStrat > Research/Blog > First Order Logic
09
Oct
Logic and Reasoning (AGI)

#CellStratAILab #disrupt4.0 #WeCreateAISuperstars #WhereLearningNeverStops Recently, I presented an extensive session on Logic and Reasoning at the CellStrat AI Lab. This topic comes under the broader area of Artificial General Intelligence or AGI. This workshop included the following topics :- Symbolic AI Propositional Logic First Order Logic Program Synthesis Relation Network Symbolic AI Although, Deep Learning […]

Posted in: Artificial General Intelligence (AGI),
Tags: bAbl, CLEVR, domain specific language, Dynamic Physical Systems, First Order Logic, Flash Fill, FOL, genetic algorithms, Logic, Probabilistic logic, program synthesis, Propositional Logic, Prose, Reasoning, reinforcement learning, Relation Network, Scene Understanding, search heuristics, Social Network Modelling, Sort of CLEVR, Symbolic AI, Visual Question Answering,