Martina Fedel - Formalizzazioni del ragionamento non ... - SELP

Cautious Cut(CCUT)
θ |∼ φ θ ∧ φ |∼ ψ
θ |∼ ψ
Dimostrazione. Tramite la regola (CON) sopra dimostrata si ottiene
θ ∧ φ |∼ ψ
θ |∼ φ → ψ
Utilizzando la prima ipotesi tramite la regola (AND) si ottiene θ |∼ (φ →
ψ) ∧ φ. Tramite (RWE) si arriva alla tesi:
θ |∼ (φ → ψ) ∧ φ φ ∧ (φ → ψ) |= ψ
θ |∼ ψ
Gabbay nel suo primo lavoro inserì (CCUT) fra le condizioni minimali
che una relazione di conseguenza deve soddisfare per essere considerata nonmonotona
affermando che questa è in grado di catturare uno schema di inferenza
ricorrente in molte formalizzazioni del ragionamento plausibile.
Chiarifichiamo questa affermazione con un esempio:
• Se piove molto normalmente il prato rimane bagnato per due giorni
(θ |∼ φ)
• Se piove molto e il prato rimane bagnato per due giorni normalmente
non c’è bisogno di annaffiarlo (θ ∧ φ |∼ ψ)
Sotto queste ipotesi è infatti comunemente inteso come razionale concludere
che:
∴ Se piove molto normalmente non c’è bisogno di annaffiare il prato
(θ |∼ ψ).
16