'The Logic of Knowledge Bases '
The idea of a knowledge base lies at the heart of symbolic or "good old-fashioned" artificial intelligence (GOFAI). A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledg