Formalizing English

Formalizing English (1996)

Cached

Download Links

by Stuart C. Shapiro

Venue:	International Journal of Expert Systems
Citations:	4 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Formalizing English	SVM HeaderParse 0.1
AUTHOR NAME	Stuart C. Shapiro	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; and Center for Cognitive Science; State University of New York at Buffalo	SVM HeaderParse 0.2
AUTHOR ADDR	226 Bell Hall; Buffalo, NY 14260-2000; U.S.A.	SVM HeaderParse 0.1
ABSTRACT	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...	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	International Journal of Expert Systems	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	17--1	INFERENCE
VOLUME	9	INFERENCE
CITATIONS	31 found	ParsCit 1.0