Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% inferenze, Marco Rizzinelli rizzinelli.org % da akira.ruc.dk/~henning/KIIS05/Abduction.pdf % deduzione: ragionamento dalla causa all'effetto fuoco. brucia :- fuoco. % induzione: ragionamento da regolarità osservate % a possibile regola generale fuoco(oggetto_1). fuoco(oggetto_2). fuoco(oggetto_n). fuoco(oggetto_n_piu1). brucia(oggetto_1):-fuoco(oggetto_1). brucia(oggetto_2):-fuoco(oggetto_2). brucia(oggetto_n):-fuoco(oggetto_n). brucia(X):-fuoco(X). % abduzione: ragionamento dall'effetto a una possibile causa c:-b. c:-a. c:-atipico. % CHR = constraints handling rules (non va) %:- use_module(library(chr)). %handler(abduction). %chr_constraints a/1. %a(X), a(Y) ==> true | (X=Y ; dif(X,Y)). % Esempio senza CHR %grass_is_wet:- rained_last_night. %grass_is_wet:- sprinkler_was_on. %rained_last_night. %sprinkler_was_on. % ?- "grass_is_wet." % Esempio con CHR (non va) %handler garden_humidity1. %constraints rained_last_night/0, sprinkler_was_on/0. %grass_is_wet:- rained_last_night. %grass_is_wet:- sprinkler_was_on. % altro esempio da porte logiche fulladder(Carryin, A, B, Carryout, Sum):- xor(A, B, X),and(A, B, Y),and(X, Carryin, Z), xor(Carryin, X, Sum),or(Y, Z, Carryout). % ?- "fulladder(1, 0, 1, C, S)."