We propose a new language to define abductive logic programs with expectations, inspired to the IFF proof procedure [Fung and Kowalski, 1997], and whose semantics extends those of classical ALP. The language permits to express abducible hypotheses and expectations with variables and constraints. Within this new framework we can model and reason about a number of concrete application scenaria.
Abduction with hypotheses confirmation
ALBERTI, Marco;GAVANELLI, Marco;LAMMA, Evelina;
2005
Abstract
We propose a new language to define abductive logic programs with expectations, inspired to the IFF proof procedure [Fung and Kowalski, 1997], and whose semantics extends those of classical ALP. The language permits to express abducible hypotheses and expectations with variables and constraints. Within this new framework we can model and reason about a number of concrete application scenaria.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
