K-Chat

1. mindmaker K-Chat Dr. Szepesvári Csaba Kutatási Alelnök szepes@mindmaker.com www.mindmaker.com

2. Összefoglaló • Mindmaker • A projekt célkitűzése • Eredmények • Diszkusszió

3. Durham Budapest San Jose, CA, USA Szingapúr Mindmaker 1996 óta

4. Mindmaker Magyarország • Kutatás-Fejlesztési Központ • Alkalmazások • Szolgáltatások

5. Háttértudás 1 Pillanatnyi hitvilág 2 Téma-specifikus ismeretek Óhajok, kívánalmak Tervkönyvtár 5 3 Nyelvi tudás 4 Végrehajtás alatt álló tervek Célok, szándékok Pragmatikai tudás 1.ábra: Információ-áramlás Célkitűzések

6. Célkitűzések/2 • Szöveg alapú (angol) • Valós idejű • Általános elvekre építő • Téma specifikus • Hibatűrő • Gyorsan specializálható

7. Alprojektek • Tudásbázis-fejlesztés • Diszkurzus-modellezés és -tervezés • Természetes nyelvi fejlesztések • Asszisztens-architektúra fejlesztése • Minőségbiztosítás

8. Előzmények • Tudásbázis • reprezentációs szerkezet • következtő rendszer kerete • Tervezés, végrehajtás • Terv reprezentáció • Végrehajtás • Tervezés

9. 1. Munkaszakasz eredményei • Tudás-bázis • Reprezentáció: hiedelmek, idő • Következtető rendszer: keresés vezérlés • Byte-code • Prototípus • Tervezés • TL-PLAN általánosítás • Természetes nyelv: rendszerterv • Diszkurzus: rendszerterv

10. 1. Munkaszakasz eredményei • Tudás-bázis • Reprezentáció: hiedelmek, idő • Következtető rendszer: keresés vezérlés • Byte-code • Prototípus • Tervezés • TL-PLAN általánosítás • Természetes nyelv: rendszerterv • Diszkurzus: rendszerterv

11. Natív reprezentáció Következtető keret Natív API Szerializációs rétegek KEL Tervek NLP .. Következtetés szabályok Következtetés heurisztikák Általános Háttértudás Téma-függő háttértudás Tudás-bázis: rétegződések

12. Tudás-reprezentáció • Mit • magasabbrendű, tipizált lambda kalkulus formulái • Hogyan • formula konstrukciójának modellezése • prediktív indexelés

13. Következtető rendszer • Általánosított WAM • natív lehetőség irányítható keresésre • bizonyítás nyom • Klóz logika natív támogatása • Moduláris felépítés • Literálok (számok, string-ek, listák, halmazok, ...)

14. KEL: Egy szerializációs nyelv • Erős tipusosság (fordítási időben is) • Scope-ok, namespace-ek • Modulokból való építkezés • Speciális eszközök literálokra

15. KEBC: Byte-code Java modell Cél: Portabilitás • Bináris-layout specifikáció • Gép-független • Platform-független • Natív típusok • Gyorsan elemezhető

16. Hiedelmek, idő • Hiedelmek • Bel:AxO’->O • Korlátozott racionalitás (MP axiómák) • Idő axiomatizálása • reifikált • eventualitások • intervallum aritmetika

17. 1. Munkaszakasz eredményei • Tudás-bázis • Reprezentáció: hiedelmek, idő • Következtető rendszer: keresés vezérlés • Byte-code • Prototípus • Tervezés • TL-PLAN általánosítás • Természetes nyelv: rendszerterv • Diszkurzus: rendszerterv

18. Tervezés • Any-time, inkrementális, tervezés végrehajtás párhuzamos • Algoritmus • Receptek • TL-Plan általánosítása

19. 1. Munkaszakasz eredményei • Tudás-bázis • Reprezentáció: hiedelmek, idő • Következtető rendszer: keresés vezérlés • Byte-code • Prototípus • Tervezés • TL-PLAN általánosítás • Természetes nyelv: rendszerterv • Diszkurzus: rendszerterv

20. Természetes nyelv • Forma és tartalom asszociációja • Részlegesen specifikált kényszerek • Konstrukciós nyelvtanok • A meglévő tudás-reprezentációra épülő • Kontext függő • Tervezés, tervfelismerés

21. 1. Munkaszakasz eredményei • Tudás-bázis • Reprezentáció: hiedelmek, idő • Következtető rendszer: keresés vezérlés • Byte-code • Prototípus • Tervezés • TL-PLAN általánosítás • Természetes nyelv: rendszerterv • Diszkurzus: rendszerterv

22. Diszkurzus: rendszerterv • Praktikus diszkurzus • Téma-független diszkurzus • Terv alapú modellezés • Beszéd-aktusok • Általános diszkurzus-szervezési tudás • Tudás a tartalom szervezéséről • Tudás a nyelvhasználatról

23. Dolgozunk.. • Következtető rendszer • Ontológia, eszközök • Diszkurzus és nyelvi modul implementálása, eszközök • Tanulás • Ágens megvalósítása

24. Köszönöm a figyelmet mindmaker Dr. Szepesvári Csaba Kutatási Alelnök szepes@mindmaker.com www.mindmaker.com