Home » Intelligenza Artificiale » 📋 URL
Il Modus Ponens è una forma semplificata d’inferenza proposizionale. Utilizza soltanto due premesse e una conclusione. Lo esprimiamo nella forma
\dfrac{P\rightarrow Q,\quad P}{Q}A parole: (P\rightarrow Q) sappiamo se se l’evento P si verifica, allora si verifica anche l’evento Q. Sappiamo inoltre che l’evento P si è verificato (indicato dopo la virgola al numeratore). Poiché l’evento P si è verificato, allora si verifica anche Q, indicato a denominatore.
Nota: la linea di “frazione” si legge entails.
Ad esempio, consideriamo la seguente affermazione: “Se piove, allora la strada è bagnata“. Supponiamo di sapere inoltre che sta effettivamente piovendo. Utilizzando il Modus Ponens possiamo dedurre che la strada è bagnata..
Questa pagina è stata utile?
SìNo