LiU Electronic Press
Full-text not available in DiVA
Author:
Magnusson, Martin (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Natural Language Understanding using Temporal Action Logic
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the Workshop on Knowledge and Reasoning for Language Processing (KRAQ)
Place of publ.: Stroudsburg, PA, USA Publisher: Association for Computational Linguistics
Pages:
26-
Year of publ.:
2006
URI:
urn:nbn:se:liu:diva-36796
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-36796
Local ID:
32608
Subject category:
Computer Science
SVEP category:
Computer science
Abstract(en) :

We consider a logicist approach to natural language understanding based on the translation of a quasi-logical form into a temporal logic, explicitly constructed for the representation of action and change, and the subsequent reasoning about this semantic structure in the context of a background knowledge theory using automated theorem proving techniques. The approach is substantiated through a proof-of-concept question answering system implementation that uses a head-driven phrase structure grammar developed in the Linguistic Knowledge Builder to construct minimal recursion semantics structures which are translated into a Temporal Action Logic where both the SNARK automated theorem prover and the Allegro Prolog logic programming environment can be used for reasoning through an interchangeable compilation into first-order logic or logic programs respectively.

Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2012-01-25
Statistics:
8 hits