Formalizing English

Stuart C. Shapiro

Formalizing English

Stuart C. Shapiro

Department of Computer Science and Engineering

Research output: Contribution to conference › Paper › peer-review

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.

Original language	English
Pages	112-119
Number of pages	8
State	Published - 1994
Event	1994 AAAI Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems - New Orleans, United States Duration: Nov 4 1994 → Nov 6 1994

Conference

Conference	1994 AAAI Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems
Country/Territory	United States
City	New Orleans
Period	11/4/94 → 11/6/94

Cite this

@conference{e39aeaea77694f4b8e321421cc538d01,

title = "Formalizing English",

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.",

author = "Shapiro, \{Stuart C.\}",

note = "Publisher Copyright: copyright {\textcopyright} 1994, AAAI (www.aaai.org). All rights reserved.; 1994 AAAI Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems ; Conference date: 04-11-1994 Through 06-11-1994",

year = "1994",

language = "English",

pages = "112--119",

}

TY - CONF

T1 - Formalizing English

AU - Shapiro, Stuart C.

PY - 1994

Y1 - 1994

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85169585815

M3 - Paper

AN - SCOPUS:85169585815

SP - 112

EP - 119

T2 - 1994 AAAI Fall Symposium on Knowledge Representation for Natural Language Processing in Implemented Systems

Y2 - 4 November 1994 through 6 November 1994

ER -

Formalizing English

Abstract

Conference

Other files and links

Fingerprint

Cite this