Készítette: Szabó Gábor, 1996 Az Az IntelliCorp IntelliCorp stratégiája: stratégiája: Kifinomult, Kifinomult, objektum-orientált objektum-orientált környezetet környezetet biztosít biztosít tervezéséhez, tervezéséhez, fejlesztéséhez. fejlesztéséhez. alkalmazások alkalmazások Tudás-alapú Tudás-alapú rendszereket rendszereket tervez tervez és és forgalmaz forgalmaz a a gyártás gyártás területén, területén, különös különös tekintettel tekintettel a a párhuzamos párhuzamos mérnöki mérnöki tevékenységek tevékenységek (Concurrent (Concurrent Engineering) Engineering) modellezésére. modellezésére. Az Az IntelliCorp IntelliCorp fõbb fõbb termékei: termékei: LiveModel: LiveModel: Objektum-orientált Objektum-orientált tervezõ tervezõ eszköz, eszköz, diagrammokat diagrammokat és és üzleti üzleti szabályokat szabályokat szolgáltat, szolgáltat, melyek melyek közvetlenül közvetlenül végrehajthatók. végrehajthatók. PowerModel: PowerModel: Komplett Komplett alkalmazásfejlesztõi alkalmazásfejlesztõi környezet környezet nagymennyiségû nagymennyiségû adat adat feldolgozására, feldolgozására, elemzésére elemzésére.. Kappa-PC: Kappa-PC: Windows-alapú Windows-alapú alkalmazásfejlesztõi alkalmazásfejlesztõi környezet, környezet, szabály- szabály- és és keretalapú keretalapú következtetõ következtetõ rendszerrel. rendszerrel. KEE: KEE: LISP-alapú LISP-alapú szakértõrendszer szakértõrendszer fejlesztõi fejlesztõi környezet. környezet.
Valódi, objektumorientált fejlesztés Interaktív, grafikus környezet Magasszintû alkalmazási nyelv (KAL) Integrált grafikus interface könyvtár Intelligens kapcsolat más szoftverekkel Szakértõrendszer eszközök
1. Objektum-orientált fejlesztés Objektumok és kapcsolataik elemzése, módosítása Slot: Objektum jellemzõk értékekkel Method: Olyan eljárás, melyet az objektum akkor hajt végre, ha üzenetet kap
2. Grafikus fejlesztõi környezet Session: Dinamikus, interaktív alkalmazási felület Edit Tools: Tudásbázis elemek szerkesztése KAL Interpreter: Program nyelvi felület KALViewDebugger: Hibakeresõ Find/Replace: Lokális és globálelemek keresése és cseréje Rule Relations: Szabályhálózatok dinamikus megjelenítése Rule Trace: Komponensek vizsgálata szabálykövetéssel Inference Browser: Szabályrendszer következtetési mechanizmusának grafikus kijelzése
3. Magasszintû alkalmazásfejlesztõ nyelv Integrált nyelv teszteléshezeléshez és finomításhoz Tudásbázis bõvítése újrafordítás és linkelés nélkül 300 beépített KAL függvény: üzenetek küldése, következtetõ gép, grafikus animáció, adathozzáférés aktiválása Külsõ programok futtatása KAL--> C kód generálás Microsoft DLL fordítás esetén linkelhetõ a Kappa-PC alkalmazásokhoz
4. Integrált grafikus interface könyvtár Objektumként ábrázolt grafikus elemek Aktív képmegjelenítés: az attribútum értékének megváltozására update-elõdik a hozzákapcsolt grafika Interaktív felhasználói bemenet szöveges és képi információs felülettel 2D-s rajzolási képesség VBX, adatbázis, táblázatkezelõ, CAD link
5. Szakértõ rendszer eszközök/1 (szabályalapú következtetés) A Kappa-PC szabályok egyesítik a döntéseket és a tapasztalatokat. A szabályokat if (feltétel( feltétel) ) then then (akció( akció) struktúrában ábrázolja. A szabályok és az objektumok egy következtetõ hálózatba fordítódnak be, mely hatékony következtetési folyamatot biztosít. Lista-vezérelt (objektum:attribútum párok - agenda) elõ reláncolás. Szabályhálózatok dinamikus megjelenítése Elemek vizsgálata szabálykövetéssel Komponensek megjelenítése
5. Szakértõ rendszer eszközök/2 (szabályalapú következtetés) Cél-vezérelt hátraláncolás. Következtetési stratégiák vegyes alkalmazása: elõreláncolás meghívása hátraláncolásból és vissza. Négyféle szabálykiértékelési stratégia: mélységi-elsõ, szélességi-elsõ, legjobb-elsõ és szelektív. Prioritások konfliktus helyzetekre. Következtetési folyamat lépésenkénti vizsgálata. Szabályrendszer következtetési mechanizmusának grafikus kijelzése Komponensek