How is language used to construct knowledge in another person's mind? What is knowledge? Is there a difference between linguistic and non-linguistic knowledge? How can knowledge be represented `ex-vivo'? Can First-Order Predicate Calculus (FOPC) be used as a formalism? How can humans cope with ambiguity? How is incomplete, or even inconsistent knowledge organized?

Semantic models are interesting, because they may provide new us insight about the way we think (If our models don't give us insight, then perhaps at least the problems we had to build them do).

A useful area of application is semantic information retrieval. Important research topics include knowledge representation (KR) and KR formalisms, inference, belief systems, and learning.

Links
Projects in Computational Semantics
Computational Semantics
Geoffrey N. Leech
Uwe Reyle's home page
The CLEARS Homepage