The Logic of Knowledge Bases H 300 p. 01
内容
The idea of knowledge bases lies at the heart of symbolic, or"traditional", artificial intelligence. This book focuses on the logic ofknowledge-based systems, which run formal reasoning procedures over aknowledge base - given basic information, they are expected to infer the rest.