# Applications and libraries/Linguistics

### From HaskellWiki

EndreyMark (Talk | contribs) (DEMO lead me to a huge homepage on logic + language: e.g. computational linguistics and epistemic logic etc., so I put a link to it) |
EndreyMark (Talk | contribs) m (Using == .. == for top-level headlines, following the Guidelines) |
||

Line 1: | Line 1: | ||

__TOC__ | __TOC__ | ||

− | = Portals and other huge resorces = | + | == Portals and other huge resorces == |

Peter Ljunglöf's many [http://www.cs.chalmers.se/~peb/pubs.html publications] on natural language processing, parsing, formal semantics. Many of them uses Haskell, and there are [http://www.cs.chalmers.se/~peb/software.html downloadable] Haskell sources too. | Peter Ljunglöf's many [http://www.cs.chalmers.se/~peb/pubs.html publications] on natural language processing, parsing, formal semantics. Many of them uses Haskell, and there are [http://www.cs.chalmers.se/~peb/software.html downloadable] Haskell sources too. | ||

Line 11: | Line 11: | ||

− | = Natural language processing and combinatory logic = | + | == Natural language processing and combinatory logic == |

− | == Applicative universal grammars == | + | === Applicative universal grammars === |

* A Haskell application for natural language parsing, based on ''Applicative Universal Grammar'' (AUG) is described in Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's [http://citeseer.ist.psu.edu/jones95using.html Using Types to Parse Natural Language]. The Haskell source code given by the article is full, it can be run by Gofer, and after a few modification, by GHC too (''transpose'' must be explictly imported from standard library module ''Data.List'', and class ''Text'' renamed to ''Show''). | * A Haskell application for natural language parsing, based on ''Applicative Universal Grammar'' (AUG) is described in Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's [http://citeseer.ist.psu.edu/jones95using.html Using Types to Parse Natural Language]. The Haskell source code given by the article is full, it can be run by Gofer, and after a few modification, by GHC too (''transpose'' must be explictly imported from standard library module ''Data.List'', and class ''Text'' renamed to ''Show''). | ||

Line 19: | Line 19: | ||

* Bernard Paul Sypniewski's [http://elvis.rowan.edu/~bps/ling/introAUG.pdf An Introduction to Applicative Universal Grammar] (this link seems now broken, I hope only temporarily). As an article describing what AUG is, see also Shaumyan's [http://citeseer.ist.psu.edu/shaumyan98two.html Two Paradigms of Linguistics: The Semiotic versus Non-Semiotic Paradigm]. | * Bernard Paul Sypniewski's [http://elvis.rowan.edu/~bps/ling/introAUG.pdf An Introduction to Applicative Universal Grammar] (this link seems now broken, I hope only temporarily). As an article describing what AUG is, see also Shaumyan's [http://citeseer.ist.psu.edu/shaumyan98two.html Two Paradigms of Linguistics: The Semiotic versus Non-Semiotic Paradigm]. | ||

− | + | === Categorial grammars === | |

− | + | ||

− | + | ||

− | == Categorial grammars == | + | |

A general summary of modern semantic theories developed in the century | A general summary of modern semantic theories developed in the century | ||

Line 37: | Line 34: | ||

* Mark Hepple: [http://citeseer.ist.psu.edu/hepple90grammar.html The Grammar and Processing of Order and Dependency: a Categorial Approach] | * Mark Hepple: [http://citeseer.ist.psu.edu/hepple90grammar.html The Grammar and Processing of Order and Dependency: a Categorial Approach] | ||

− | = Game theoretic semantics = | + | == Game theoretic semantics == |

Game theoretic semantics presents an interesting concept of ''truth'' -- in another way than that of Tarski. | Game theoretic semantics presents an interesting concept of ''truth'' -- in another way than that of Tarski. | ||

Line 44: | Line 41: | ||

Chiaki Ohkura's [http://acl.ldc.upenn.edu/W/W03/W03-1408.pdf The Semantics of Metaphor in the Game Theoretic Semantics with at Least Two Coordination Equilibria] article tries to catch the concept of ''metaphor''. | Chiaki Ohkura's [http://acl.ldc.upenn.edu/W/W03/W03-1408.pdf The Semantics of Metaphor in the Game Theoretic Semantics with at Least Two Coordination Equilibria] article tries to catch the concept of ''metaphor''. | ||

− | == Relatedness to linear logic == | + | === Relatedness to linear logic === |

The Wikipedia article mentions also the relatedness of game theoretic semantics to ''linear logic''. | The Wikipedia article mentions also the relatedness of game theoretic semantics to ''linear logic''. | ||

[http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]'s page on [http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html linear logic] describes the topic and its relatedness to many concepts concerning Haskell. [http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html#lineartaste A taste of linear logic] can serve as an introductory article. | [http://homepages.inf.ed.ac.uk/wadler/ Philip Wadler]'s page on [http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html linear logic] describes the topic and its relatedness to many concepts concerning Haskell. [http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html#lineartaste A taste of linear logic] can serve as an introductory article. | ||

− | = Parsing natural languages = | + | == Parsing natural languages == |

Gordon J. Pace: [http://www.cs.um.edu.mt/~csaw/CSAW04/Proceedings/08.pdf Monadic Compositional Parsing with Context Using Maltese as a Case Study], see its [http://www.cs.um.edu.mt/~csaw/CSAW04/ context] too. | Gordon J. Pace: [http://www.cs.um.edu.mt/~csaw/CSAW04/Proceedings/08.pdf Monadic Compositional Parsing with Context Using Maltese as a Case Study], see its [http://www.cs.um.edu.mt/~csaw/CSAW04/ context] too. | ||

[[Category:Theoretical foundations]] | [[Category:Theoretical foundations]] |

## Revision as of 09:11, 1 April 2006

## Contents |

## 1 Portals and other huge resorces

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

Jan van Eijck's page contains a huge amount of materials on logic and language:

- computational linguistics
- logics (e.g. dynamic epistemic modelling)

There are many Haskell resources, too.

## 2 Natural language processing and combinatory logic

### 2.1 Applicative universal grammars

- A Haskell application for natural language parsing, based on
*Applicative Universal Grammar*(AUG) is described in Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language. The Haskell source code given by the article is full, it can be run by Gofer, and after a few modification, by GHC too (*transpose*must be explictly imported from standard library module*Data.List*, and class*Text*renamed to*Show*). - A more detailed description of the topic of this previous article described in Sebastian Shaumyan and Paul Hudak's Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing
- Bernard Paul Sypniewski's An Introduction to Applicative Universal Grammar (this link seems now broken, I hope only temporarily). As an article describing what AUG is, see also Shaumyan's Two Paradigms of Linguistics: The Semiotic versus Non-Semiotic Paradigm.

### 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 Axiomatic Theory of Truth grasping concepts like truth, quotations, paradoxes, liar's paradox
- Courses ranging from the introductory level to developed topics, e.g. Basic Categorial Grammar.

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

- Peter Steedman's Does Grammar Make Use of Bound Variables?
- Mark Hepple: The Grammar and Processing of Order and Dependency: a Categorial Approach

## 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.