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

Preferenze cookie

Gestisci i cookie usati su Glossario Italiano. Puoi modificare le preferenze in qualsiasi momento dal link "Gestisci preferenze" in fondo a ogni pagina.

  • Necessari
    Login, sicurezza (CSRF), preferenze cookie. Sempre attivi.
    Sempre on
  • Statistici
    Misurano in forma aggregata come viene usato il sito. Nessun profilo personale.
  • Marketing
    Cookie di reti pubblicitarie esterne, se attivati in futuro. Oggi GLS non usa script di terze parti e i nostri sponsor sono editoriali, non profilano.