Personal tools

Applications and libraries/Linguistics

From HaskellWiki

< Applications and libraries(Difference between revisions)
Jump to: navigation, search
(Categorising under Category:Theoretical foundations)
m (Updating a link to an online CiteSeer book: choosing a better available mirror)
Line 20: Line 20:
   
 
A general summary of modern semantic theories developed in the century
 
A general summary of modern semantic theories developed in the century
is provided by [http://citeseer.ifi.unizh.ch/blackburn97logical.html Logical Aspects of Computational Linguistics: an introduction].
+
is provided by [http://citeseer.ist.psu.edu/blackburn97logical.html Logical Aspects of Computational Linguistics: an introduction].
   
 
[http://www-unix.oit.umass.edu/~gmhwww/ Gary Hardegree]'s portal-rich page provides a lot of materials on logic and linguistics, among them
 
[http://www-unix.oit.umass.edu/~gmhwww/ Gary Hardegree]'s portal-rich page provides a lot of materials on logic and linguistics, among them

Revision as of 12:38, 7 March 2006

Contents


1 Portals and other huge resorces

Peter Ljunglöf's many pubications on natural language processing, parsing, formal semantics. Many of them uses Haskell, and there are downloadable Haskell sources too.


2 Natural language processing and combinatory logic

2.1 Applicative universal grammars



2.2 Categorial grammars

A general summary of modern semantic theories developed in the century is provided by Logical Aspects of Computational Linguistics: an introduction.

Gary Hardegree's portal-rich page provides a lot of materials on logic and linguistics, among them

The Combinatory Categorial Grammar Site contains links, papers (both introductory and developed) and software (OpenNLP open source projects, related to natural language processing, and OpenCCG)

On natural languages relating to combinatory logic, see also

3 Game theoretic semantics

Game theoretic semantics presents an interesting concept of truth -- in another way than that of Tarski. Its connections to computer science and computer languages is described in Wikipedia's Game semantics article. Merlijn Sevenster's Game theoretical semantics and -logic is a good introductory material too.

Chiaki Ohkura's The Semantics of Metaphor in the Game Theoretic Semantics with at Least Two Coordination Equilibria article tries to catch the concept of metaphor.

3.1 Relatedness to linear logic

The Wikipedia article mentions also the relatedness of game theoretic semantics to linear logic. Philip Wadler's page on linear logic describes the topic and its relatedness to many concepts concerning Haskell. A taste of linear logic can serve as an introductory article.

4 Parsing natural languages

Gordon J. Pace: Monadic Compositional Parsing with Context Using Maltese as a Case Study, see its context too.