Department of Computer Science; and Center for Cognitive Science; State University of New York at Buffalo
SVM HeaderParse 0.2
226 Bell Hall; Buffalo, NY 14260-2000; U.S.A.
SVM HeaderParse 0.1
The use of logic for knowledge representation and reasoning systems is controversial. There are, indeed, several ways that standard First Order Predicate Logic is inappropriate for modelling natural language understanding and commonsense reasoning. However, a more appropriate logic can be designed. This paper presents several aspects of such a logic. Keywords: Knowledge representation; reasoning; natural language; commonsense reasoning; logic. 1 Introduction My colleagues, students, and I have been engaged in a long-term project to build a natural language using intelligent agent. While our approach to natural language understanding (NLU) and commonsense reasoning (CSR) has been logic-based, we have thought that the logics developed for metamathematics are not, necessarily, the best ones for our purpose. Instead, we have designed new logics, better suited for NLU and CSR. The current version of these logics constitutes the formal language and inference mechanism of the knowledge repr...