The Rise and Fall of Symbolic AI Philosophical presuppositions of AI by Ranjeet Singh
A perceptual account of symbolic reasoning Satplan is an approach to planning where a planning problem is reduced to a Boolean satisfiability problem. Programs were themselves data structures that other programs could operate on, allowing the easy definition of higher-level languages. Early work covered both applications of formal reasoning emphasizing first-order logic, along with attempts …
The Rise and Fall of Symbolic AI Philosophical presuppositions of AI by Ranjeet Singh Read More »