Let's talk about NLP and automated reasoning without getting grey hair | Macquarie University ResearchOnline

Home

List Of Titles

Let's talk about NLP and automated reasoning without getting grey hair

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/171905

21 Visitors

26 Hits

0 Downloads

Title: Let's talk about NLP and automated reasoning without getting grey hair
Related: Clematide, Simon; Klenner, Manfred and Volk, Martin. Searching answers : Festschrift in honour of Michael Hess on the occasion of his 60th birthday, p.119-126
Related: MV Wissenschaft
Publisher: Munster, Germany : Verlagshaus Monsenstein und Vannerdat
Date: 2009
FoR/RFCD Code(s): 080100 Artificial Intelligence and Image Processing
Author/Creator: Schwitter, Rolf
Description: Progress in the field of knowledge-based natural language processing is closely related to progress in the field of automated reasoning. Instead of focusing on full natural languages that are probably the most expressive and flexible knowledge representation languages that exist, I will argue that it is a better strategy to look at well-defined subsets of natural language that have the same expressivity as the formal languages that automated theorem provers can process. In particular, I will look at the two description logic reasoners CEL and RacerPro and the first-order logic theorem prover and model-generator EKRHyper and discuss what subsets of natural language can be processed and what kind of inferences are supported by these tools.
Description: 8 page(s)
Subject Keyword: 080100 Artificial Intelligence and Image Processing
Subject Keyword: knowledge representation
Subject Keyword: description logics
Subject Keyword: first-order logic
Subject Keyword: automated reasoning
Subject Keyword: (controlled) natural language
Resource Type: book chapter
Organisation: Macquarie University. Dept. of Computing

Identifier: http://hdl.handle.net/1959.14/171905
Identifier: ISBN:9783865829559
Identifier: mq-rm-2009006078
Language: eng

Macquarie University ResearchOnline

Search

Browse

Highlights

Resources