Kutatási projekt

Logikai programozás

HASZNOSÍTHATÓSÁG SZINTJE

Ismeretbővítő kutatás (alap- elméleti kutatás)

KULCSSZAVAK

informatika, logika

KUTATÁSI PROJEKT LEÍRÁSA

Logikai programok tanuló képessége: Szöveges állításokból (remissa) a logikai program további következtetéseket (konkluzió) von le. Vagy mérési eredményekből illetve tapasztalatokból logikai programmal egy másik logikai program előállítása.