Lecture Multiagent systems - Chapter 3: Deductive reasoning agents
Lecture Multiagent systems - Chapter 3: Deductive reasoning agents
The 'traditional' approach to building artificially intelligent systems, known as symbolic AI, suggests that intelligent behaviour can be generated in a system by giving that system a symbolic representation of its environment and its desired behaviour, and syntactically manipulating this representation. This chapter focus on the apotheosis of this tradition, in which these symbolic representations are logical formulae, and the syntactic manipulation corresponds to logical deduction, or theorem-