Re: [Xsb-users] assumptions

[Luis M. P. <lm...@di...>]

kv...@sf... wrote:

> Hi guys,
>
> Is there a way in which I can use assumptions in XSB?
>
> Cheers,
>
> Kimberly.
>
> _______________________________________________
> Xsb-users mailing list
> Xsb...@li...
> http://lists.sourceforge.net/mailman/listinfo/xsb-users

Hi,
Yes, for sure. Recently we have developed ABDUAL, an abductive theory,
procedure, and implementation, on top of XSB. Find out more in the
reference

J. J. Alferes, L. M. Pereira and T. Swift, Well-founded Abduction via
Tabled Dual Programs. In D. De Schreye (ed.), Procs. of the 16th
International Conference on Logic Programming, Las Cruces, New Mexico,
pages 426-440, MIT Press, 1999

downloadable from my home page below.

You can use abduction to make assuptions, and you can test  those
assumptions against integrity constraints and change them accordingly.

If you care to be more specific, I can try to be of more help. There has
been lots of work on assumptions and revising assumptions based on XSB.
Again browse my home page for entry points and applications.

Cheers,
Luis

--
Professor Luis Moniz Pereira    http://centria.di.fct.unl.pt/~lmp/
Director AI Centre CENTRIA  http://kholosso.di.fct.unl.pt/centria/
Departamento de Informatica Ph+351 21 294 8533 Fax+351 21 294 8541
Universidade Nova de Lisboa            Secretary: +351 21 294 8536
2825-114 Caparica, Portugal               Email: lm...@di...