论文信息 - Logic and Natural Language

Logic and Natural Language

To understand and generate natural language requires some means of representing knowledge. A particularly appropriate tool in this endeavour is logic. In this chapter, three kinds of logic (default, model, and temporal) are introduced and their use in resolving certain natural language representational issues is outlined.

Bonnie L. Webber | B. Webber

[1] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[2] Michael Brady,et al. Cooperative Responses From a Portable Natural Language Database Query System , 1983 .

[3] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.

[4] David H. D. Warren,et al. Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[5] M. Brady,et al. Recognizing Intentions From Natural Language Utterances , 1983 .

[6] Eric Mays,et al. Monitors as Responses to Questions: Determining Competence , 1982, AAAI.

[7] Mordechai Ben-Ari,et al. The temporal logic of branching time , 1981, POPL '81.

[8] Mordechai Ben-Ari,et al. The Temporal Logic of Branching Time , 1981, POPL.

[9] Douglas Edmund Appelt,et al. Planning natural language utterances to satisfy multiple goals , 1981 .