ARTIFICIAL-INTELLIGENCE THROUGH LOGIC

The arguments for and against the use of logic in artificial intellige nce are discussed, including the argument on the declarative versus pr ocedural view of knowledge. The author sees that both arguments regard ing the suitability or unsuitability of logic for AI have their merits . A position that integrates both arguments is presented which include s the paradigm of logic programming. Beyond symbolic AI, we have also incorporated connectionism in the integration.