Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic

Sintesi Tecnica: Ragionamento su Anti-Obiettivi nella Logica Non Assiomatica

Definizione del Problema
Il saggio identifica un'ambiguità teorica critica nell'attuale implementazione del Ragionamento sugli Obiettivi (Goal Reasoning) all'interno della Logica Non Assomatica (NAL), la base logica del Sistema di Ragionamento Non Assomatico (NARS). Sebbene la NAL gestisca efficacemente la realizzazione di eventi desiderati in condizioni di conoscenza e risorse insufficienti (AIKR), la rappresentazione dell'evitamento è mal definita. La convenzione prevalente tratta l' "evitare l'evento $G$" come l'enunciato obiettivo "$\neg G!$" (perseguire l'evento negato). L'autore dimostra che questa confusione conduce a un paradosso: un sistema può derivare un obiettivo positivo di compiere un'azione semplicemente perché quell'azione è solitamente seguita dall'assenza di un esito negativo, anche quando l'azione è anche una causa nota di quell'esito negativo in condizioni specifiche.

Questo paradosso deriva dall'ambiguità semantica della "negazione dell'obiettivo". La notazione "$\neg G!$" viene utilizzata per rappresentare due letture logiche distinte:

1. Perseguimento di un evento negato: Il sistema desidera lo stato in cui $G$ non si verifica (ovvero $(\neg G) \Rightarrow \tilde{D}$).
2. Evitamento di un evento positivo: Il sistema desidera impedire che $G$ si verifichi (ovvero $G \Rightarrow \neg \tilde{D}$).

Nel caso di studio "light-press" presentato, il sistema inferisce erroneamente che premere un pulsante sia un mezzo per ottenere "nessun dolore" ($\neg \text{hurt}!$) perché premere generalmente porta a nessun dolore. Tuttavia, questa inferenza ignora il contesto specifico in cui premere (sotto un segnale luminoso) causa dolore. Il sistema paradossalmente decide di premere il pulsante per "evitare il dolore", contraddicendo l'aspettativa pratica che dovrebbe invece astenersi dall'azione.

Metodologia
Il saggio propone un'estensione minima alla NAL che separa la rappresentazione di obiettivi e anti-obiettivi, passando da un framework idealizzato di Logica dell'Ereditarietà (IL) alla semantica evidenziale della NAL.

1. Separazione Formale:

   • Obiettivo ($G!$): Definito come un evento che il sistema desidera realizzare, formalmente rappresentato come $G \Rightarrow \tilde{D}$, dove $\tilde{D}$ è un termine virtuale che riassume lo stato desiderato dal sistema.
   • Anti-Obiettivo ($G¡$): Definito come un evento che il sistema desidera evitare. Questo è formalmente rappresentato come $G \Rightarrow \neg \tilde{D}$, dove $\neg \tilde{D}$ rappresenta l'opposto dello stato desiderato.
   • Il saggio chiarisce che "evitare $G$" non è equivalente a "perseguire $\neg G$". Invece, evitare $G$ è la negazione logica dell'enunciato obiettivo stesso: $\neg(G \Rightarrow \tilde{D})$.

2. Funzioni Desiderio-Valore e Avversione-Valore:

   • Il saggio ridefinisce le funzioni desiderio-valore per l'inferenza a ritroso. Per un obiettivo, il desiderio-valore è il valore di verità di $G \Rightarrow \tilde{D}$. Per un anti-obiettivo, l'avversione-valore è il valore di verità di $G \Rightarrow \neg \tilde{D}$.
   • Le regole di inferenza per gli anti-obiettivi sono costruite simmetricamente alle regole degli obiettivi. Se esiste una regola di inferenza in avanti (ad esempio, deduzione), la corrispondente regola a ritroso per gli anti-obiettivi adotta la stessa formula di calcolo della funzione del valore di verità in avanti.

3. Prevenzione Attiva ($\uparrow\text{prevent}$):

   • Per colmare il divario tra evitamento passivo e intervento attivo, il saggio introduce un'operazione mentale $\uparrow\text{prevent}$.
   • Se $G$ è un anti-obiettivo, prevenire $G$ diventa un obiettivo positivo ($\uparrow\text{prevent}(G)! \equiv G¡$).
   • Questa operazione si basa sull'evidenza contrastiva: il sistema deve apprendere che un'azione porta all'assenza di un evento che altrimenti si verificherebbe (ad esempio, premere previene il dolore, mentre non premere porta al dolore). Ciò è formalizzato tramite una specifica regola a livello di oggetto (Eq. 13) che richiede osservazioni negative e induzione contrastiva.

Contributi Chiave
Il saggio apporta tre contributi teorici primari:

1. Risoluzione dell'Ambiguità Semantica: Distingue tra il perseguimento di un evento negato e l'evitamento di un evento positivo. Introducendo la forma esplicita di anti-obiettivo ($G¡$), il framework previene il paradosso per cui le intenzioni di evitamento vengono erroneamente convertite in obiettivi di azione positiva basati su generali correlazioni statistiche.
2. Principio per le Funzioni Desiderio-Valore: Stabilisce un principio generale per derivare le funzioni desiderio-valore nella motivazione inferenziale a ritroso. Invece di assegnare funzioni arbitrariamente, il saggio sostiene che le regole a ritroso dovrebbero ereditare le loro formule di calcolo dalle corrispondenti regole di inferenza in avanti, garantendo la coerenza logica tra la propagazione del valore di verità e quella del desiderio-valore.
3. Integrazione della Prevenzione Attiva: Formalizza il meccanismo attraverso il quale un anti-obiettivo può generare un piano d'azione positivo. Attraverso l'operazione $\uparrow\text{prevent}$ e l'inferenza contrastiva, il sistema può derivare un obiettivo di agire specificamente per prevenire un esito indesiderato, distinguendolo dal semplice astenersi dall'azione.

Risultati
Il framework proposto è stato validato attraverso quattro casi di studio minimi coinvolgenti un sistema simulato con babbling motorio e valutazione del premio cumulativo:

1. Fare per Realizzare: Il sistema deriva correttamente un obiettivo di premere un pulsante per ottenere cibo.
2. Non Fare per Evitare: Il sistema deriva correttamente un anti-obiettivo di non premere un pulsante per evitare il dolore (evitamento passivo).
3. Fare per Evitare: Il sistema apprende una relazione di prevenzione (premere previene il dolore) e deriva correttamente un obiettivo positivo di premere il pulsante per evitare attivamente il dolore.
4. Non Fare per Realizzare: Il sistema apprende che premere previene il cibo e deriva correttamente un anti-obiettivo di non premere il pulsante, preservando così l'evento desiderato.

In tutti i casi, il comportamento del sistema era allineato con le aspettative teoriche. Specificamente, nei casi "Fare per Evitare" e "Non Fare per Realizzare", il sistema ha utilizzato con successo l'evidenza contrastiva per passare dall'evitamento passivo all'intervento attivo o alla soppressione, una capacità che era paradossale sotto la precedente convenzione di "obiettivo negato".

Significatività
Il saggio afferma che questa estensione completa il framework di ragionamento sugli obiettivi della NAL senza sostituire le teorie esistenti. Separando obiettivi e anti-obiettivi, il sistema può ora gestire l'evitamento con la stessa precisione evidenziale del perseguimento. La distinzione permette al sistema di:

• Differenziare tra "fare nulla" (astenersi dall'azione) e "fare qualcosa per prevenire".
• Evitare l'errore logico per cui una correlazione generale (azione $\to$ nessun dolore) sovrascrive un rischio causale specifico (azione sotto la condizione $X \to$ dolore).
• Fornire una base formale per la prevenzione attiva, essenziale per la scoperta causale e il comportamento adattivo in ambienti a mondo aperto dove le motivazioni sono incomplete e rivedibili.

L'autore osserva che, sebbene il framework spieghi le asimmetrie comportamentali osservate nell'apprendimento umano (ad esempio, agire per ricompensa rispetto all'astenersi per punizione), il presente lavoro si concentra strettamente sull'estensione logica della NAL, lasciando la modellazione dettagliata dell'acquisizione motivazionale a ricerche future.