keretaxióma

Kapcsolódó fogalmak: 
keretprobléma
Kapcsolódó fogalmak: 
szituációkalkulus
Rövid szöveges bemutatás: 
A keretaxiómákkal tudjuk explicit leírni a keretproblémákat. Tehát semmit nem írunk le közvetve, hanem ami változatlan marad azt itt direktbe leírjuk, hogy márpedig az a bizonyos objektum ennek a cselekvésnek a hatására nem fog megváltozni. Ezeket az axiómákat a szituációkalkulusban alkalmazzák. Így annak segítségével írják is fel ezeket az axiómákat. Nincsenek konkrét axiómák, maga a felírás eredménye lesz az axióma. Igaz, hogy explicit fejezi ki, hogy mi marad változatlan, de lehet általánosításokat tenni, például ha azt akarom kifejezni, hogy minden táska a földön maradt, akkor nem kell minden táskatípust egyesével felírni, lehet magát a táskát mint általános fogalmat használni.