Logic and Knowledge Bases

Abstract

Knowledge bases (KBs) must be able to capture a wide range of situations. One must be able to represent and answer questions regarding indefinite information where it is not clear that there is a unique answer to a question. One must also represent and answer questions about negative information. We discuss a powerful way to represent such information, namely through reasoning about knowledge bases using logic.