ítéletlogikai attitűd

Kapcsolódó fogalmak: 
ítéletkalkulus
Kapcsolódó fogalmak: 
term
Rövid szöveges bemutatás: 
Az ítéletkalkulusban fel lehet és kell is felvenni különböző állításokat, melyeket a rendszer hisz a környezetével kapcsolatban (ezek nélkül nem sokat ér a rendszer). Ezeket a hiedelmeket egységesen ítéletlogikai attitűdöknek nevezzük magyarul. Kifejezzük vele az ágens és az objektumok kapcsolatát. Fontos megjegyezni, hogy ezek nem logikai függvények (bár jelölésük megegyezik). Például Gyors(Ferrari), azt fejezi ki, hogy a Ferrari gyors, és nem azt, hogy valamifajta leképzést fog visszaadni ez a függvény, mondjuk XY típusú Ferrarit. Ezeket általában a feladat megoldásának elején egyértelműen tisztázni kell a tévedések elkerüléséért. Az attitűdök bemenetként csak termeket fogadnak el, függvényeket nem.