id: 02090536
dt: a
an: 02090536
au: Inoue, Katsumi; Sakama, Chiaki
ti: Disjunctive explanations.
so: Stuckey, Peter J. (ed.), Logic programming. 18th international conference,
    ICLP 2002, Copenhagen, Denmark, July 29 ‒ August 1, 2002.
    Proceedings. Berlin: Springer (ISBN 3-540-43930-7). Lect. Notes Comput.
    Sci. 2401, 317-332 (2002).
py: 2002
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: http://link.springer.de/link/service/series/0558/bibs/2401/24010317.htm
ab: Summary: Abductive logic programming has been widely used to declaratively
    specify a variety of problems in AI including updates in data and
    knowledge bases, belief revision, diagnosis, causal theory, and default
    reasoning. One of the most significant issues in abductive logic
    programming is to develop a reasonable method for knowledge
    assimilation, which incorporates obtained explanations into the current
    knowledge base. This paper offers a solution to this problem by
    considering disjunctive explanations whenever multiple explanations
    exist. Disjunctive explanations are then to be assimilated into the
    knowledge base so that the assimilated program preserves all and only
    minimal answer sets from the collection of all possible updated
    programs. We describe a new form of abductive logic programming which
    deals with disjunctive explanations in the framework of extended
    abduction. The proposed framework can be well applied to view updates
    in disjunctive databases.
rv: