Computational semantics with functional programming:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge University Press
2010
|
| Ausgabe: | 1. publ. |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020644389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverz. S. [389] - 395 |
| Umfang: | XV, 405 S. graph. Darst. |
| ISBN: | 9780521760300 9780521757607 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036726637 | ||
| 003 | DE-604 | ||
| 005 | 20201001 | ||
| 007 | t| | ||
| 008 | 101019s2010 xx d||| |||| 00||| eng d | ||
| 015 | |a GBB067297 |2 dnb | ||
| 020 | |a 9780521760300 |9 978-0-521-76030-0 | ||
| 020 | |a 9780521757607 |9 978-0-521-75760-7 | ||
| 035 | |a (OCoLC)705910982 | ||
| 035 | |a (DE-599)BVBBV036726637 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-473 |a DE-188 | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 100 | 1 | |a Eijck, Jan van |d 1951- |e Verfasser |0 (DE-588)112411223 |4 aut | |
| 245 | 1 | 0 | |a Computational semantics with functional programming |c Jan van Eijck and Christina Unger |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge University Press |c 2010 | |
| 300 | |a XV, 405 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. [389] - 395 | ||
| 650 | 4 | |a Programming languages (Electronic computers) / Semantics | |
| 650 | 4 | |a Functional programming (Computer science) | |
| 650 | 4 | |a Haskell (Computer program language) | |
| 650 | 0 | 7 | |a HASKELL |0 (DE-588)4318275-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | 1 | |a HASKELL |0 (DE-588)4318275-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | 1 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Unger, Christina |d 1982- |e Verfasser |0 (DE-588)1014881145 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020644389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020644389 | |
Datensatz im Suchindex
| _version_ | 1819333701313495040 |
|---|---|
| adam_text | IMAGE 1
COMPUTATIONAL SEMANTICS WITH
FUNCTIONAL PROGRAMMING
JAN VAN EIJCK AND CHRISTINA UNGER
CAMBRIDGE UNIVERSITY PRESS
IMAGE 2
CONTENTS
FOREWORD PAGE IX
PREFACE XIII
1 FORMAL STUDY OF NATURAL LANGUAGE 1
1.1 THE STUDY OF NATURAL LANGUAGE 1
1.2 SYNTAX, SEMANTICS, AND PRAGMATICS 3
1.3 THE PURPOSES OF COMMUNICATION 5
1.4 NATURAL LANGUAGES AND FORMAL LANGUAGES 8
1.5 WHAT FORMAL SEMANTICS IS NOT 10
1.6 COMPUTATIONAL SEMANTICS AND FUNCTIONAL PROGRAMMING 11 1.7 OVERVIEW
OF THE BOOK 12
1.8 FURTHER READING 14
2 LAMBDA CALCULUS, TYPES, AND FUNCTIONAL PROGRAMMING 15 2.1 SETS AND SET
NOTATION 15
2.2 RELATIONS 17
2.3 FUNCTIONS 19
2.4 LAMBDA CALCULUS 22
2.5 TYPES IN GRAMMAR AND COMPUTATION 27
2.6 FUNCTIONAL PROGRAMMING 30
2.7 FURTHER READING 31
3 FUNCTIONAL PROGRAMMING WITH HASKELL 33
3.1 THE PROGRAMMING LANGUAGE HASKELL 33
3.2 USING THE BOOK CODE 34
3.3 FIRST EXPERIMENTS 35
3.4 TYPE POLYMORPHISM 39
3.5 RECURSION 40
3.6 LIST TYPES AND LIST COMPREHENSION 41
3.7 LIST PROCESSING WITH MAP AND F I L T ER 43
IMAGE 3
CONTENTS
3.8 FUNCTION COMPOSITION, CONJUNCTION, DISJUNCTION, QUANTIFICATION 44
3.9 TYPE CLASSES 45
3.10 STRINGS AND TEXTS 47
3.11 FINNISH VOWEL HARMONY 52
3.12 IDENTIFIERS IN HASKELL 55
3.13 USER-DEFINED DATA TYPES AND PATTERN MATCHING 56
3.14 APPLICATION: REPRESENTING PHONEMES 60
3.15 FURTHER READING 62
FORMAL SYNTAX FOR FRAGMENTS 63
4.1 GRAMMARS FOR GAMES 63
4.2 A FRAGMENT OF ENGLISH 68
4.3 A LANGUAGE FOR TALKING ABOUT CLASSES 71
4.4 PROPOSITIONAL LOGIC 72
4.5 PREDICATE LOGIC 75
4.6 PREDICATE LOGICAL FORMULAS IN HASKELL 79
4.7 ADDING FUNCTION SYMBOLS 82
4.8 FURTHER READING 84
FORMAL SEMANTICS FOR FRAGMENTS 87
5.1 SEMANTICS OF SEA BATTLE 87
5.2 SEMANTICS OF PROPOSITIONAL LOGIC 92
5.3 PROPOSITIONAL REASONING IN HASKELL 94
5.4 SEMANTICS OF MASTERMIND 97
5.5 SEMANTICS OF PREDICATE LOGIC 100
5.6 SEMANTICS OF NATURAL LANGUAGE FRAGMENTS 105
5.7 AN INFERENCE ENGINE WITH A NATURAL LANGUAGE INTERFACE 106 5.8
FURTHER READING 123
MODEL CHECKING WITH PREDICATE LOGIC 125
6.1 LINGUISTIC FORM AND TRANSLATION INTO LOGIC 125
6.2 PREDICATE LOGIC AS REPRESENTATION LANGUAGE 127
6.3 REPRESENTING A MODEL FOR PREDICATE LOGIC 133
6.4 EVALUATING FORMULAS IN MODELS 139
6.5 EVALUATING FORMULAS WITH STRUCTURED TERMS 143
6.6 FURTHER READING 147
THE COMPOSITION OF MEANING IN NATURAL LANGUAGE 149 7.1 RULES OF THE GAME
149
7.2 QUANTIFICATION 150
7.3 THE LANGUAGE OF TYPED LOGIC AND ITS SEMANTICS 164
7.4 REDUCING EXPRESSIONS OF TYPED LOGIC 168
7.5 TYPED MEANINGS FOR NATURAL LANGUAGE 173
IMAGE 4
CONTENTS VII
7.6 IMPLEMENTING SEMANTIC INTERPRETATION 175
7.7 HANDLING AMBIGUITY 180
7.8 FURTHER READING 182
8 EXTENSION AND INTENSION 183
8.1 SENSE AND REFERENCE, INTENSION AND EXTENSION 183
8.2 INTENSIONAL INTERPRETATION 187
8.3 INTENSIONAL CONSTRUCTS 192
8.4 INTENSIONALIZATION 195
8.5 INTENSIONAL MODELS FROM EXTENSIONAL MODELS 201
8.6 FURTHER READING 202
9 PARSING 205
9.1 TALKING ABOUT PARSE TREES 205
9.2 RECOGNIZING AND PARSING CONTEXT-FREE LANGUAGES 211 9.3 PARSERS AND
PARSER COMBINATORS 214
9.4 FEATURES AND CATEGORIES 223
9.5 LEXICAL LOOKUP AND SCANNING 226
9.6 PARSING CATEGORIES 235
9.7 HANDLING EXTRACTIONS 239
9.8 ADDING SEMANTICS 251
9.9 FURTHER READING 260
10 HANDLING RELATIONS AND SCOPING 261
10.1 INTERPRETING NP LISTS 261
10.2 GENERALIZED RELATIONS 264
10.3 BOOLEAN ALGEBRAS OF RELATIONS 269
10.4 FLEXIBLE TYPES FOR NP INTERPRETATIONS 271
10.5 SCOPE REVERSAL OF QUANTIFIERS 272
10.6 INTERPRETING VERBS AS ARBITRARY ARITY RELATIONS 273
10.7 RELATIONAL INTERPRETATION OF NPS 276
10.8 QUANTIFIER SCOPING 278
10.9 UNDERSPECIFIED LOGICAL FORM 280
10.10 FURTHER READING 285
11 CONTINUATION PASSING STYLE SEMANTICS 287
11.1 CONTINUATION PASSING STYLE PROGRAMMING 287
11.2 CONTINUATIONS AS ABSTRACTIONS OVER CONTEXT 289
11.3 CONTINUIZING A GRAMMAR 292
11.4 IMPLEMENTING A CONTINUIZED GRAMMAR 296
11.5 SCOPE REVERSAL BY MEANS OF CONTINUATIONS 299
11.6 FURTHER READING 301
IMAGE 5
VIII CONTENTS
12 DISCOURSE REPRESENTATION AND CONTEXT 303
12.1 THE DYNAMICS OF PRONOUN LINKING 303
12.2 ABSTRACTION OVER CONTEXT 308
12.3 CONTINUIZING THE ACCOUNT 312
12.4 IMPLEMENTING DISCOURSE REPRESENTATION 313
12.5 FROM STRUCTURE TREES TO DYNAMIC INTERPRETATION 322 12.6 SALIENCE
329
12.7 IMPLEMENTING REFERENCE RESOLUTION 333
12.8 FURTHER READING 349
13 COMMUNICATION AS INFORMATIVE ACTION 351
13.1 KNOWLEDGE AND COMMUNICATION 351
13.2 REASONING ABOUT KNOWLEDGE AND IGNORANCE 355
13.3 A LANGUAGE FOR TALKING ABOUT (COMMON) KNOWLEDGE 357 13.4
PRESUPPOSITIONS AND COMMON KNOWLEDGE 360
13.5 ADDING PUBLIC CHANGE 364
13.6 YES/NO QUESTIONS AND THEIR ANSWERS 366
13.7 EPISTEMIC MODEL CHECKING 368
13.8 FURTHER READING 385
AFTERWORD 387
BIBLIOGRAPHY 389
INDEX 397
|
| any_adam_object | 1 |
| author | Eijck, Jan van 1951- Unger, Christina 1982- |
| author_GND | (DE-588)112411223 (DE-588)1014881145 |
| author_facet | Eijck, Jan van 1951- Unger, Christina 1982- |
| author_role | aut aut |
| author_sort | Eijck, Jan van 1951- |
| author_variant | j v e jv jve c u cu |
| building | Verbundindex |
| bvnumber | BV036726637 |
| classification_rvk | ST 140 |
| ctrlnum | (OCoLC)705910982 (DE-599)BVBBV036726637 |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02051nam a2200493 c 4500</leader><controlfield tag="001">BV036726637</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201001 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">101019s2010 xx d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB067297</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521760300</subfield><subfield code="9">978-0-521-76030-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521757607</subfield><subfield code="9">978-0-521-75760-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705910982</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036726637</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eijck, Jan van</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112411223</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational semantics with functional programming</subfield><subfield code="c">Jan van Eijck and Christina Unger</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 405 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [389] - 395</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) / Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Haskell (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">HASKELL</subfield><subfield code="0">(DE-588)4318275-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Unger, Christina</subfield><subfield code="d">1982-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1014881145</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020644389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020644389</subfield></datafield></record></collection> |
| id | DE-604.BV036726637 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T14:40:43Z |
| institution | BVB |
| isbn | 9780521760300 9780521757607 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020644389 |
| oclc_num | 705910982 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-188 |
| physical | XV, 405 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press |
| record_format | marc |
| spellingShingle | Eijck, Jan van 1951- Unger, Christina 1982- Computational semantics with functional programming Programming languages (Electronic computers) / Semantics Functional programming (Computer science) Haskell (Computer program language) HASKELL (DE-588)4318275-6 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Computerlinguistik (DE-588)4035843-4 gnd Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4318275-6 (DE-588)4198740-8 (DE-588)4035843-4 (DE-588)4122144-8 |
| title | Computational semantics with functional programming |
| title_auth | Computational semantics with functional programming |
| title_exact_search | Computational semantics with functional programming |
| title_full | Computational semantics with functional programming Jan van Eijck and Christina Unger |
| title_fullStr | Computational semantics with functional programming Jan van Eijck and Christina Unger |
| title_full_unstemmed | Computational semantics with functional programming Jan van Eijck and Christina Unger |
| title_short | Computational semantics with functional programming |
| title_sort | computational semantics with functional programming |
| topic | Programming languages (Electronic computers) / Semantics Functional programming (Computer science) Haskell (Computer program language) HASKELL (DE-588)4318275-6 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Computerlinguistik (DE-588)4035843-4 gnd Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Programming languages (Electronic computers) / Semantics Functional programming (Computer science) Haskell (Computer program language) HASKELL Funktionale Programmierung Computerlinguistik Formale Semantik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020644389&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT eijckjanvan computationalsemanticswithfunctionalprogramming AT ungerchristina computationalsemanticswithfunctionalprogramming |