Ragionamento e verifica

Un piano visibile aiuta a seguire un’attività ma non è la prova completa del processo interno del modello.

Cosa imparerai

  • Spiegare: il modello propone, lo strumento esegue
  • Applica l'idea in un esempio: ragionamento e verifica
  • Riconoscere i limiti e verificare il risultato dell'esercizio

Un piano visibile aiuta a seguire un’attività ma non è la prova completa del processo interno del modello. Verificare risultati importanti utilizzando prove o calcoli.

Puoi seguire questo corso senza un account o una programmazione. Gli esempi utilizzano dati sintetici e i risultati dell’intelligenza artificiale devono essere verificati.

Come funziona, passo dopo passo

Il modello propone, lo strumento esegue

La chiamata allo strumento produce una richiesta di chiamata con un nome e argomenti. L'applicazione convalida lo schema, le autorizzazioni e i limiti prima dell'esecuzione. Il risultato ritorna al contesto per il passaggio successivo. Ad esempio, get_product_stock accetta uno SKU e restituisce una quantità; la sua descrizione dovrebbe spiegare che non effettua prenotazioni di prodotti. Distinguere risultati vuoti, errori di convalida, accessi mancanti e timeout. Un JSON valido non dimostra che gli argomenti siano corretti o che l'azione sia autorizzata. Per gli effetti esterni, considerare anche l'esecuzione duplicata.

La fluidità e la verità vengono verificate separatamente

Un'allucinazione è un contenuto non supportato o errato presentato come risposta. Può derivare da informazioni mancanti, ambiguità o modelli combinati in modo errato. Richiedi prove e controlla il documento originale, la data, le unità e le condizioni. Una vera citazione potrebbe comunque non supportare l'affermazione. Utilizza fonti attuali per fatti attuali, una calcolatrice per l'aritmetica e "non puoi determinare" quando mancano le prove. Non trattare la fiducia espressa in prosa come una probabilità calibrata.

Scegli per attività e capacità

Controlla la lingua, il contesto, la chiamata degli strumenti, l'output strutturato e le modalità di input supportate. Confronta modelli su richieste identiche utilizzando la stessa rubrica e un budget realistico. Campionamento dei cambiamenti di temperatura, non verità. Lo sforzo di ragionamento alloca gli sforzi per modelli compatibili e può aumentare tempi e costi; i valori accettati variano. I modelli locali offrono il controllo dell’infrastruttura ma richiedono risorse e manutenzione. I pesi aperti non garantiscono una licenza illimitata o un codice di allenamento completo. Cataloghi e prezzi cambiano; leggere la scheda del modello attuale.

Lo schema esplicativo

Ragionamento e verifica Seguire le frecce continue per il flusso principale. Le frecce blu tratteggiate forniscono dati o contesto; le frecce rosa tratteggiate mostrano feedback o risultati restituiti. Colori e forme distinguono modelli, negozi, decisioni e risultati. Connessioni: Richiesta dell'utente → Agente/LLM; Agente/LLM → Afferma nella risposta; Afferma nella risposta → Verifica umana; Verifica umana → Risultato da verificare; Istruzioni e contesto → Agente/LLM; Fonti originali → Verifica umana; Calcolatore o controllo eseguibile → Verifica umana; Verifica umana → Agente/LLM. P06 · Mappa delle relazioni Ragionamento e verifica Ingresso Richiesta dell'utente Dati Istruzioni e contesto Memorizza/indicizza Fonti originali Modello/agente AI Agente/LLM Dati Afferma nella risposta Strumento/servizio Calcolatore o controllo eseguibile Decisione/controllo Verifica umana Produzione Risultato da verificare Flusso principale Dati e contesto Feedback e reso

Seguire le frecce continue per il flusso principale. Le frecce blu tratteggiate forniscono dati o contesto; le frecce rosa tratteggiate mostrano feedback o risultati restituiti. Colori e forme distinguono modelli, negozi, decisioni e risultati. Su schermi piccoli, scorri in orizzontale per seguire l’intero schema.

Un esempio completo

Due prodotti da 120 lei ciascuno con uno sconto del 15% per un totale di 204 lei prima della spedizione. L'aritmetica esterna controlla il numero; la politica verifica l'idoneità allo sconto.

Provalo tu stesso

  1. Calcolo numerico separato dalla verifica delle condizioni commerciali.
  2. Registrare l'input, la fonte e il risultato atteso prima di eseguire l'esperimento. Utilizzare solo i dati fittizi nell'esempio.
  3. Seguire le fasi del diagramma. Ad ogni passaggio registrare quali informazioni vengono ricevute e prodotte; non confondere il risultato intermedio con il risultato finale.
  4. Ripetere dopo aver rimosso le informazioni necessarie o reso ambiguo l'input. Controlla se il sistema chiarisce, ferma o inventa una risposta.
  5. Confrontare con la soluzione spiegata. Conserva la configurazione, la data, il risultato e una spiegazione delle differenze. Cambia una cosa e riprova.

Una soluzione spiegata

Il risultato è 204 lei solo quando lo sconto è ammissibile; la spedizione rimane separata. Un esercizio riuscito ti consente di mostrare la connessione tra input, fasi e risultato. Quando mancano le informazioni, una risposta cauta è più utile dei dettagli inventati. Confrontare non solo stile: verificare anche condizioni, fonti e operazioni.

Quando è utile e quali sono i suoi limiti

Il ragionamento elegante partendo da una premessa sbagliata resta sbagliato. Scegli questo approccio quando migliora un bisogno misurato. Mantieni una linea di base semplice e confronta i risultati utilizzando input identici. Un esempio di successo non stabilisce l’affidabilità in ogni situazione.

Verifica ciò che hai imparato

Chi esegue una chiamata proposta dal modello?

L'applicazione o il servizio host dopo la convalida. Il modello non ottiene automaticamente l'accesso illimitato.

È sufficiente un collegamento in una risposta?

NO; deve supportare la richiesta specifica e adattarsi al tempo e alle circostanze.

Quale risultato dovrebbe produrre questo esercizio?

Il risultato è 204 lei solo quando lo sconto è ammissibile; la spedizione rimane separata.

Termini da ricordare

  • Chiamata dello strumento: una richiesta strutturata per utilizzare una funzionalità esterna.
  • Messa a terra: Fondare una risposta su prove verificabili.
  • Sforzo di ragionamento: un'impostazione dipendente dal modello che controlla lo sforzo di ragionamento.

Fonti e il prossimo passo

Per preparare: P05 — Output strutturato e chiamata utensile