Calcolo delle situazioni
Verificato
Significato di «Calcolo delle situazioni»
Formalismo logico proposto da John McCarthy e Patrick Hayes (1969) per rappresentare azioni, stati e cambiamento nel tempo mediante la logica del primo ordine; nel suo ambito fu formulato il celebre problema della cornice (frame problem).
Fonti: Autori (McCarthy & Hayes, 1969) e legame col frame problem verificati su Stanford Encyclopedia of Philosophy ('Non-monotonic Logic'/'Frame Problem') e Russell & Norvig (AIMA); verifica web 2026-08-03. · Verificato il 2026-08-03