K-Chat Dr. Szepesvári Csaba Kutatási Alelnök mindmaker
Összefoglaló Mindmaker A projekt célkitűzése Eredmények Diszkusszió
mindmaker Mindmaker 1996 óta Budapest Szingapúr San Jose, CA, USA Durham
mindmaker Mindmaker Magyarország Kutatás-Fejlesztési Központ Alkalmazások Szolgáltatások
mindmaker Célkitűzések 1.ábra: Információ-áramlás Pillanatnyi hitvilág Óhajok, kívánalmak Célok, szándékokVégrehajtás alatt álló tervek Téma-specifikus ismeretek Tervkönyvtár Nyelvi tudás Pragmatikai tudás Háttértudás
mindmaker 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ó
mindmaker 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
mindmaker 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
mindmaker 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
mindmaker 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
mindmaker Tudás-bázis: rétegződések 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
mindmaker Tudás-reprezentáció Mit magasabbrendű, tipizált lambda kalkulus formulái Hogyan formula konstrukciójának modellezése prediktív indexelés
mindmaker 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,...)
mindmaker 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
mindmaker KEBC: Byte-code Cél: Portabilitás Bináris-layout specifikáció Gép-független Platform-független Natív típusok Gyorsan elemezhető Java modell
mindmaker Hiedelmek, idő Hiedelmek Bel:AxO’->O Korlátozott racionalitás (MP axiómák) Idő axiomatizálása reifikált eventualitások intervallum aritmetika
mindmaker 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
mindmaker Tervezés Any-time, inkrementális, tervezés végrehajtás párhuzamos Algoritmus Receptek TL-Plan általánosítása
mindmaker 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
mindmaker 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
mindmaker 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
mindmaker 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
mindmaker 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
mindmaker Dr. Szepesvári Csaba Kutatási Alelnök