Készítette : Szabó Gábor, 1996
uu
Az stratégiája: : AzIntelliCorp IntelliCorpstratégiája stratégiája: Kifinomult, Kifinomult,objektum-orientált objektum-orientáltkörnyezetet környezetetbiztosít biztosít tervezéséhez, fejlesztéséhez. tervezéséhez, fejlesztéséhez.
alkalmazások alkalmazások
Tudás-alapú Tudás-alapúrendszereket rendszerekettervez tervezés ésforgalmaz forgalmazaagyártás gyártásterületén, területén,különös különös tekintettel tekintettelaapárhuzamos párhuzamosmérnöki mérnöki tevékenységek tevékenységek(Concurrent (ConcurrentEngineering) Engineering) modellezésére. modellezésére. uu
Az bb termékei termékei: : AzIntelliCorp IntelliCorpfõ fõbb termékei: LiveModel: LiveModel:Objektum-orientált Objektum-orientálttervezõ tervezõeszköz, eszköz,diagrammokat diagrammokatés ésüzleti üzleti szabályokat szabályokatszolgáltat, szolgáltat,melyek melyekközvetlenül közvetlenülvégrehajthatók. végrehajthatók. PowerModel: Komplett alkalmazásfejlesztõi PowerModel: Komplett alkalmazásfejlesztõikörnyezet környezetnagymennyiségû nagymennyiségûadat adat feldolgozására, elemzésére . feldolgozására, elemzésére . Kappa-PC: Kappa-PC:Windows-alapú Windows-alapúalkalmazásfejleszt alkalmazásfejlesztõiõikörnyezet, környezet,szabályszabály-és és keretalapú következtetõ rendszerrel. keretalapú következtetõ rendszerrel. KEE: KEE:LISP-alapú LISP-alapúszakértõrendszer szakértõrendszerfejlesztõi fejlesztõikörnyezet. környezet.
u
u
u
u
u
u
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 uObjektumok és
kapcsolataik elemzése, módosítása
uSlot:
Objektum jellemzõ k értékekkel
uMethod:
Olyan eljárás, melyet az objektum akkor hajt végre, ha üzenetet kap
2. Grafikus fejlesztõ i környezet
u u u u u u u u
Session: Dinamikus Dinamikus,, interaktív alkalmazási felület Edit Tools: Tudásbázis elemek szerkesztése KAL Interpreter: Program nyelvi felület KALViewDebugger:: Hiba KALViewDebugger Hibakeres keresõ õ 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
u u u
u u u
Integrált nyelv teszteléshez teszt eléshez és finomításhoz Tudásbázis b bõ õ vítése újrafordítás és linkelés nélkül 300 beépített KAL függvény függvény:: üzenetek küldése,, következtet küldése következtetõ õ gép gép,, grafikus animáció,, adathozzáférés aktiválása animáció Külsõ Küls õ programok futtatása KAL--> C kód generálás Microsoft DLL fordítás esetén linkelhetõ linkelhet õ a Kappa-P C alkalmazásokhoz
4. Integrált grafikus interface könyvtár
u u
u u u
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 VB X, adatbázis, táblázatkezelõ, CAD link
5. Szakértõ rendszer eszközök/1 ( szabályalapú következtetés) u u u
u u u u
A Kappa-PC szabályok egyesítik a döntéseket és a tapasztalatokat. A szabályokat “ if” ( feltétel) “ then” ( 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) u u
u u u u
Cél-vezérelt hátraláncolás hátraláncolás.. Következtetési stratégiák vegyes alkalmazása alkalmazása:: el elõ õreláncolás meghívása hátraláncolásból és vissza vissza.. Négyféle szabálykiértékelési stratégia stratégia:: mélységi-elsõ elsõ , szélességi-elsõ elsõ , legjobb-elsõ elsõ és szelektív.. szelektív Prioritások konfliktus helyzetekre helyzetekre.. Következtetési folyamat lépésenkénti vizsgálata vizsgálata.. Szabályrendszer következtetési mechanizmusának grafikus kijelzése Komponensek
