|
Courses and Workshops
|
| Title: | Reasoning with natural language |
| Lecturer(s): | Ian Pratt-Hartmann (University of Manchester) |
| Type: | Introductory Course |
| Section: | Logic and Language |
| Week: | First | | Time: | 9.00-10.30 (Slot 1) |
| Webpage: | http://www.cs.man.ac.uk/~ipratt/
|
| Reader: | Download | | Room: | A1 |
| Note: | |
Description The aim of this course is to introduce the mathematical and linguistic
techniques needed to determine the complexity of reasoning in fragments
of natural language. These techniques include: Montague semantics for
natural languages, the elements of automated reasoning (including some
resolution refinements) and simple complexity theory. Students
completing the course will understand how to define the syntax and
semantics of a fragments of natural language and analyse the
computational complexity of reasoning with sentences of that fragment.
Most of the course will be devoted to an overview of the above-mentioned
techniques. The intended audience will be expected to have some grasp of
first-order logic, computational complexity theory and grammar
formalisms, but not necessarily a very secure one. A secondary objective
of the course is to help provide that security where needed. The course
is intended to illustrate how these techniques can be usefully made to
work together.
This course is endorsed by SIGSEM, the ACL' Special Interest Group in
Computational Semantics.
|
© 2003, 2004 LORIA, Carlos Areces. |
2004-07-07
| |
