Logic of Knowledge Bases

This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning.

Aceasta carte descrie in detaliu relatia dintre reprezentarile simbolice ale cunoasterii si starile abstracte ale cunoasterii, explorand pe parcurs bazele cunoasterii, bazele cunoasterii, sistemele bazate pe cunoastere si reprezentarea si rationamentul cunostintelor.