Antaŭparolo kaj Naturaj-lingvo Analizo
D       E      

Antaŭparolo kaj Naturaj-lingvo Analizo
Ferdinando C. N. Pereira kaj Stuart M. Shieber

Microtome Eldonejo
Brookline, Masaĉuseco

c F. C. N. Pereira kaj S. M. Shieber 1987
Millenial reeldono c FCN Pereira kaj SM Shieber 2002

Ĉi tiu verko estas la cifereca eldono de Pereira kaj Shieber la Antaŭparolo kaj Naturaj-Lingvo Analitiko. La verko estas ankaŭ disponebla por vendo en hardbound eldono (ISBN 0-97199970-4), presita sur acida-libera papero kun biblioteko katenante kaj inkluzivas ĉiujn apendicoj kaj du indeksoj, de Microtome la retejo ĉe http://www.mtome.com kaj aliaj libristoj .

Ĉi tiu verko estas kovrita de kopirajto, kiu restriktas la uzoj kiujn vi povas fari de la verko. Ĉiuj rajtoj estas rezervitaj de la kopirajto-posedanto. La kreinto maniere donas permeson reprodukti kaj distribui la cifereca eldono de tiu verko, en tute aŭ parte, en cifereca aŭ fizikaj formatoj, sub la sekvaj limigoj: Vi ne rajtas enspezi por kopioj de la verko, kun la escepto de reakiro de rekta kostoj de reprodukto por dissendo de la verko al studentoj en kursoj. Vi ne rajtas modifi la laboro, inkluzive elimini aŭ modifo de ajna enigita sciigoj. Vi devas inkluzivi titolo, aŭtoro, kopirajto informo, kaj tiu ĉi permesilo en ajna reproduktoj; ĉi lasta kondiĉo povas esti eksigita de reprodukti kopiojn de la adekvataj paĝoj de la laboro de antaŭaj afero.

Ĉi cifereca eldono de Antaŭparolo kaj Naturaj-lingvo Analizo estas distribuita en neniu zorge por nekomerca uzo de Microtome Eldonejo.

Enhavo
Antaŭparolo

1. Enkonduko
1.1. Intenco
1.2. Logiko Programado kaj Lingvo
1.3. Programado En Antaŭparolo.
1.4. Superrigardo. . .
1.5. Bibliografiaj Notoj. . .

2. Datumbazo Antaŭparolo
2.1. Datumbazoj kaj Informmendoj
2.1.1. Simpla Database. .
2.1.2. Demandante la Database
2.2. Etendante la Query Language
2.3. La Logiko de Antaŭparolo.
2.4. La Funkciado de Database Antaŭparolo. . .
2.4.1. Pruvo Arboj kaj Strekas
2.5. Rekursie predikita Difinoj
2.5.1. Variablo Renomado. .
2.5.2. Finaĵo.
2.6. Problemo Sekcio: Semantika Retoj.
2.7. Ĉirkaŭteksto-liberaj gramatikoj. . .
2.7.1. Axiomatizing Ĉirkaŭteksto-liberaj gramatikoj. .
2.7.2. Ĉirkaŭteksto-liberaj gramatikoj en Antaŭparolo
2.7.3. Antaŭparolo kiel Parser
2.8. Problemo Sekcio: gramatikoj.
2.8.1. Sintaksa Analizilo por Datumbazo Antaŭparolo
2.8.2. Etendante CFGs kun Intersekco
2.8.3. Transiro Retoj.
2.9. Bibliografiaj Notoj.

3. Pura Antaŭparolo
3.1. Antaŭparolo Skribmaniero Revisited
3.2. Terminoj kaj Unuiĝo.
3.3. Funkcioj en Antaŭparolo kaj Aliaj Lingvoj
3.3.1. Alterna Skribmanieroj, Skribmanieras por _functors_.

Enhavo

Al hardbound eldono de Antaŭparolo kaj Naturaj-lingvo Analizo estas havebla
el http://www.mtome.com kaj aliaj libristoj.

3.4

4. Pliaj Temoj en Naturaj-lingvo Analizo
4.1. Semantika Lego
4.1.1. La lambda kalkulo
4.1.2. Simpla compositivo Semantics. . .
4.1.3. Kodi la Semantika System en Antaŭparolo
4.1.4. Partaj Ekzekuto. . .
4.1.5. Kvantigis Substantivo Frazoj
4.1.6. Kvantoro Medio. . .
4.2. Etendante la sintaksa Kovrado. . .
4.2.1. Helpa Verboj
4.2.2. Jes-Ne Demandoj. .
4.2.3. Plenigita-Gap dependecoj
4.2.4. Relativa klaŭzoj. . .
4.2.5. WH-Demandoj
4.2.6. Semantiko de plenigita-Gap dependecoj. .
4.2.7. Gap threading
4.3. Problemo Sekcio: Gramatiko Vastigado.
4.3.1. Substantivo Komplementoj.
4.3.2. Substantivo Postmodifiers. .
4.3.3. Pli plenigita-Gap Konstruoj.
4.3.4. _categorial_ Gramatikoj.
4.4. Bibliografiaj Notoj.

5. Plena Antaŭparolo
5.1. Metalogical Instaladoj.
5.1.1. La alvoko predikato. . .
5.1.2. La kortego komando
5.1.3. La Nego-kiel-Fiasko Operatoro
5.1.4. La setof predikato. .
5.1.5. La aserti komando.

Listoj. . .
3.4.1. Listigi Processing. . .
3.4.2. Reprezentante String Pozicioj kun Listoj
La Logiko kaj Funkciado de Antaŭparolo Revisited.
3.5.1. Anstataŭigoj
3.5.2. Unuiĝo
3.5.3. Rezolucio
3.5.4. Antaŭparolo La pruvo proceduro. . .
3.5.5. Semantiko de Antaŭparolo
Problemo Sekcio: Terminoj kaj Listoj. .
Difina Klaŭzo gramatikoj.
3.7.1. Arboj por Simpla Frazoj. .
3.7.2. Enigo Antaŭparolo vokas en DCGs. . .
Problemo Sekcio: DCGs. .
3.8.1. La sintakso de Unua-Ordo Logiko
3.8.2. Etendante sintaksa Kovrado
Bibliografiaj Notoj

6. Interpretistoj
6.1. Antaŭparolo en Antaŭparolo
6.1.1. Absorción. .
6.1.2. Subtenante Pruvo Arboj. .
6.1.3. Unueco klaŭzoj.
6.2. Problemo Sekcio: Antaŭparolo Interpretistoj. . .
6.2.1. Sinsekve barita Profundo-Unua Serĉu
6.2.2. An Interpretisto Por Cut.
6.3. Interpretistoj por DCGs.
6.3.1. DCG en Antaŭparolo
6.3.2. DCG en DCG.
6.3.3. An Interpretisto por plenigita-Gap DCGs
6.4. Partaj Ekzekuto kaj Kompililoj
6.4.1. Partaj Ekzekuto Revisited
6.4.2. Kompili per Partaj Ekzekuto.
6.4.3. Universaleco de la Metodo
6.5. Fundo-Up sintaksa analizo. .
6.5.1. Kunligi
6.5.2. Kompili DCGs en Maldekstra-Angula sintaksaj analiziloj.
6.6. Tabular sintaksa analizo
6.6.1. Ineficiencias de Backtracking. .
6.6.2. Tabular sintaksa analizo en la abstrakta. .
6.6.3. Top-Down tabular sintaksa analizo
6.6.4. Subsumption.
6.6.5. La Top-Down tabular Parser en Ago. .
6.6.6. Ĝenerala tabular sintaksa analizo
6.6.7. Earley Depreno kaj Earley la CF sintaksa analizo Algoritmo
6.6.8. Limigoj de tabular sintaksaj analiziloj. .
6.7. Problemo Sekcio: DCG Interpretistoj kaj Kompililoj
6.8. Bibliografiaj Notoj. .

A. Printita de Specimeno Programoj
A.1. Al Noto sur Programado Stilo.
A.2. La diskuto Programo. .
A.3. La DCG Compiler. .

5.1.6. Aliaj Extralogical predicati.
Al Simpla Dialogo Programo.
5.2.1. Entute Operacio. . .
5.2.2. Sintaksa analizo. . .
5.2.3. LF Konvertiĝo
5.2.4. Konstruante A Reply
Uzanto Interago. . .
5.3.1. Simpla Eniro / Eligo komandoj
5.3.2. Simpla Uzanto Interfaco
Bibliografiaj Notoj

Bibliografio

Advertisements

About josberto

Mi ŝatas traduki librojn pri matematiko kaj komputilaj teknologio. Mi esperas ke miaj tradukadoj estus utila kaj agrabla por vi.
Aside | This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s