280 likes | 420 Views
João Alcântara, Carlos Damásio and Luís Moniz Pereira e-mail: jfla|cd|lmp@fct.unl.pt Centro de Inteligência Artificial (CENTRIA) Depto. Informática, Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2825-114 Caparica, Portugal.
E N D
João Alcântara, Carlos Damásio and Luís Moniz Pereira e-mail: jfla|cd|lmp@fct.unl.pt Centro de Inteligência Artificial (CENTRIA) Depto. Informática, Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2825-114 Caparica, Portugal ICLP'05 Sitges, October 2005 Well-founded Semantics with Disjunction
Outline • Introduction • Positive-Disjunctive Logic Programs • Well-Founded Semantics with Disjunction • Examples • Conclusion and Future Works
Introduction • Disjunctive reasoning in Logic Programming • Pioneer work by Minker – Generalized Closed World Assumption • Positive-disjunctive logic programs • Semantics is obtained via minimal Herbrand models • (Normal) Disjunctive logic programs • Stable Models • Well-founded Models Many proposals!!!
Introduction • A good well-founded semantics for disjunctive logic program should at least • Coincide with WFS on normal logic programs • Be uniquely defined for every program • Be definable both model-theoretically and by a fixpoint operator • Comply with Brass and Dix’s program transformations: unfolding, elimination of tautologies and non-minimal rules, positive and negative reduction • Allow further extensions to assimilate explicit negation
Introduction • Our proposal • Well-founded semantics with disjunction (WFSd) • Generalisation of the immediate consequences operator used to define WFS • Definition of a new domain to deal with default negation • It is intended to satisfy the conditions just enrolled
Minimal Models of PDLP • Disjunctive Logic Program: set of rules a1 ... al←b1 ... bmnotc1 ... notcn • PDLP: rP, n = 0 • Herbrand base (HBP): set of all ground atoms over the language of P. • Herbrand interpretation: any set I HBP . • - the set of all Herbrand interpretations • Coin – collection of Herbrand interpretations
Operations over coins • Example:
Operations over coins [Seipel et al, 1997] • Isatisfies a rule a1 ... al←b1 ... bm P iff it holds that bi | 1 ≤ i≤ mI implies that 1 ≤ j≤ l s.t. aj I • I is a model of P iff for every rP, I satisfies r.
For , the ordinal powers are defined by Ordinal Powers of T [Seipel et al, 1997]
The least fixed point of , denoted by , is given by , in which is the smallest ordinal such that Although is not continuous, it reaches its least fixed point in at most iterations [Seipel et al, 1997] Ordinal Powers of T [Seipel et al, 1997]
A fixed point based definition of WFSd • We will study only finite disjunctive logic programs • In normal logic programs, well-founded semantics may be defined in terms of partial interpretations • Our idea is to exploit this notion of partial interpretations, but considering pairs of coins • Pair of coins evaluating disjunctive clauses:
A fixed point based definition of WFSd • operator defined over is suitable to express what is true in a program P • does not preserve the notion of falsity by default Example
A fixed point based definition of WFSd • Looking for alternative lattices works as dual of
Partial coin is a pair where and A fixed point based definition of WFSd Example ( cont )
A fixed point based definition of WFSd • Ordering partial coins: • Minimal models
A divided program is obtained as follows A fixed point based definition of WFSd
A fixed point based definition of WFSd Observation:
operator is monotonic with respect to A fixed point based definition of WFSd • A least fixed point is guaranteed to exist: WFSd
WFSd vs Partial disjunctive stable models Partial Disjunctive Stable Models do not assign any meaning for P1.
WFSd vs Partial disjunctive stable models( for stratified programs) P2has the partial stable models: {a,c} and {b,d} • not e is obtained according to partial disjuntive stable models, perfect models, static and stationary semantics • Atom “e” remains undefined in WFSd
WFSd: a is false; b remains undefined • SWFS: a and b are undefined • WFDS: a and b are undefined • GDWFS: b is false; a is false WFSd vs SWFS, WFDS and GDWFS
WFSd vs D-WFS c is true in WFSd,butundefined in D-WFS. Although WFSdand D-WFS do not generally present the same results, yet D-WFS is strictly weaker than WFSd.
Important results • Theorem. Let P1 and P2 be disjunctive logic programs such that P2 results from P1 by unfolding, elimination of tautologies and nonminimal rules, and positive and negative reduction. We have WFSd(P1)= WFSd(P2). • Theorem. For normal logic programs, WFSd reduces to WFS.
Conclusions and Future Works • We have defined a new well-founded semantics for disjunctive logic programs: Well-Founded Semantics with Disjunction (WFSd) • It is based on a generalisation to a set of interpretations of the fixed point operator used to define WFS • WFSd does not coincide with D-WFS, Static, GDWFS, WFDS,SWFS and Partial Disjunctive Stable Models. • It is strictly stronger than D-WFS. • We will extend WFSdto deal with explicit negation, either in its explosive or paraconsistent version • Model-theoretical characterisation of WFSd
Questions ???