1 / 20

Természetes és formális nyelvek

Természetes és formális nyelvek. Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások. Cél. Természetes és formális nyelvek kifejezése számitástechnika segitségével (Prolog). Természetes nyelvek jellemzői.

jett
Download Presentation

Természetes és formális nyelvek

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Természetes és formális nyelvek Jellemzők, szintaxis definiálása, Montague, extenzió - intenzió, kategóriákon alapuló gramatika, alkalmazások

  2. Cél • Természetes és formális nyelvek kifejezése számitástechnika segitségével (Prolog)

  3. Természetes nyelvek jellemzői • Folyamatos gazdagodás általi fejlődés (mielőtt valamilyen elméletét kialakitották volna) • Kifejezőképesség fontossága (szemantika gazdagsága) • Teljes formális leirása nagyon nehéz vagy lehetetlen

  4. Formális nyelvek jellemzői • Előre rögzitett elmélet szerint alakul ki • Minimális a szemantikai rész • A szemantika bővithető a formálisan leirandó elmélet alapján • A szintaxis csak egyértelmű mondatokat enged meg • A számok fontossága • Teljes formális leirás => számitógépes megvalósithatóság

  5. Formális nyelv szintaxisának definiálása • Alapszimbolumok felsorolása • Formula fogalmának definiciója (azaz képzési szabályok) • Axiomák felsorolása • Következtetési szabályok megadása

  6. Davidson, Montague • A formális szemantika módszerei alkalmazhatók természetes nyelv esetén is. • Davidson: rekurziv szemantika , első rendű predikátum kalkulus • Montague: kategóriákra épülő nyelvtan

  7. Extenzió, intenzió • Intenzió - értelmezés • Extenzió - referencia • Ige intenziója - a tulajdonság amit kifejez, extenziója - azon objektumok halmaza, amelyek rendelkeznek a jelölt tulajdonsággal • Főnév extenziója - az egyed akit jelöl, intenziója - a fogalom amit kifejez • Mondat extenziója - az igazságértéke, intenziója - az állitás amit kifejez

  8. Extenzionális logika Csak igazságértéket rendel az állitásokhoz. Intenzionális logika Értelmezést IS rendel ezekhez az állitásokhoz.

  9. Pontos megfeleltetés szintaxis és szemantika között Frege-elv: Egy állitás értelmezése függvénye: • a részei értelmezésének • a részek összekapcsolási módozatának.

  10. Montague • A szintaxis egy szabályhalmazból áll, amely az angol nyelvnek egy részhalmazát (csak egyértelmű szavak) generálja. • Minden szintaktikai szabályhoz definiál egy forditási szabályt, amely lehetővé teszi minden természetes nyelvű állitás (rekurziv) átalakitását egy megfelelő logikai nyelvre.

  11. A logikai nyelvhez rendelt szemantika lehetővé teszi, hogy a formális nyelv állitásaihoz igazságértéket rendeljünk (és ezáltal a természetes nyelv állitásaihoz is, a forditási szabályok segitségével).

  12. Montague programja/1 • A természetes nyelvek és formális nyelvek közti különbségek oly mértékben csökkenthetők, hogy az utóbbi szemantikai fogalmait alkalmazhatjuk az előbbinél. • A szemantikának rekurzivnak (a szabályok iterativan alkalmazhatók) és kompozicionálisnak (Frege) kell lennie mindkét esetben.

  13. Montague programja/2 • A referencia (extenzió) elméletet kiterjeszthetjük értelmezés (intenzió) elméletté, amely ugyanolyan pontos, mint a referencia elmélet. • Amikor természetes nyelvű következtetéseket forditunk formális logikai nyelvre, a lehető legközelebb kell maradnunk a felületi gramatikai formához.

  14. Érvényes: Minden katona motoros, tehát minden angolkatona angolmotoros. Nem érvényes: Minden katona motoros, tehát minden korábbi katona korábbimotoros. Minden katona motoros, tehát minden tapasztalt katona tapasztalt motoros. A predikátum kalkulus nem veszi figyelembe a különbséget:

  15. Kategóriákon alapuló gramatika • Kompozicionális Ha A és B szintaktikai kategóriák, a kombinációs szabály: A/B+B=A • Rekurziv Vannak szabályok olyan műveletekre, amelyek eredménye ugyanabba a kategóriába tartozik mint az egyik argumentum (t/t+t=t).

  16. Szintaktikai kategória • t olyan szintaktikai kategória, amelyhez igazságértéket lehet rendelni (mondat) • e szintaktikai kategória, amelyhez entitásokat lehet rendelni • ha A és B szintaktikai kategóriák, akkor A/B és A//B is szintaktikai kategóriák

  17. Példák

  18. Általánositás GPSG (Generalized Phrase Structure Grammar) A gramatika szabályai • szintaktikai szabály • szemantikai szabály párok.

  19. Alkalmazások (természetes nyelv) • Gépi forditás • Adatbázis hozzáférés • Információ visszaszerzés • Szöveg csoportositás • Adatkivonás szövegből

More Related