Előadást letölteni
Az előadás letöltése folymat van. Kérjük, várjon
1
K-Chat Dr. Szepesvári Csaba Kutatási Alelnök szepes@mindmaker.com www.mindmaker.com mindmaker
2
Összefoglaló Mindmaker A projekt célkitűzése Eredmények Diszkusszió
3
mindmaker Mindmaker 1996 óta Budapest Szingapúr San Jose, CA, USA Durham
4
mindmaker Mindmaker Magyarország Kutatás-Fejlesztési Központ Alkalmazások Szolgáltatások
5
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 1 2 3 4 5
6
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ó
7
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
8
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
9
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
10
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
11
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
12
mindmaker Tudás-reprezentáció Mit magasabbrendű, tipizált lambda kalkulus formulái Hogyan formula konstrukciójának modellezése prediktív indexelés
13
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,...)
14
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
15
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
16
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
17
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
18
mindmaker Tervezés Any-time, inkrementális, tervezés végrehajtás párhuzamos Algoritmus Receptek TL-Plan általánosítása
19
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
20
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
21
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
22
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
23
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
24
mindmaker Dr. Szepesvári Csaba Kutatási Alelnök szepes@mindmaker.com www.mindmaker.com
Hasonló előadás
