Kognitív rendszerek

Az ALL kognitív rendszerekkel kapcsolatos kutatás- fejlesztés­i tevékenységének egyik fontos területe a kognitív logika kialakításához kapcsolódik. Ezen belül:

• A formális érvelés elméleti megalapozásaként foglalkozik a plauzibilis érvelés logikai megalapozásával, amely lehetővé teszi induktív, deduktív, abduktív, tranzduktív és modell alapú érvelési módok használatát.
• A nehezen formalizálható probléma területek formalizálásának megalapozására kifejlesztett egy újfajta, – ún. szituációs – logikát, amely a kontextus-függő szemantika segítségével lehetővé teszi a probléma-orientált strukturálást és az akcióknak explicit logikai szinten való kezelését.
• Formális vázak kialakítása a természetes nyelvhez közel álló leíró nyelvekhez, a nehezen formalizálható diszciplínák formalizálására. Kidolgozott egy egységes logikai keretet, amely megengedi a különböző formális nyelvek, bizonyítási és keresési eljárások együttműködő használatát egyazon probléma megoldási folya­mataiban. Ez lehetővé teszi a fent felsorolt témák kombinálását olyan rendszerbe, amely támo­gat­ja egy adott osztálybeli probléma megoldását. Kifejlesztésre került néhány kísérleti rendszer, amelyet az egységes logikai kerete támogat és a probléma-megoldási elmélete vezérel.