- 1、本文档共18页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Stable classes and operator pairs for disjunctive programs
Stable Classes and Operator Pairsfor Disjunctive ProgramsJurgen KalinskiInstitute of Computer Science IIIUniversity of Bonn, Romerstr.Bonn, Germanyemail: cully@cs.uni-bonn.deAbstract. Baral and Subrahmanian introduced the notion of stableclasses for normal logic programs. In contrast to stable models stableclasses always exist and can be given a constructive characterization.We generalize the Baral-Subrahmanian approach to disjunctive programsand propose mf -stable classes for dierent functions mf . Such mf -stableclasses always exist and are sound with respect to stable model seman-tics. Operationalizations for approximate but ecient query evaluationare dened in terms of three-valued interpretations and their relationwith mf -stable classes is analyzed. Finally, analogous concepts are givenfor an approach based on states instead of models.1 IntroductionStable model semantics as proposed by Gelfond and Lifschitz [5] is one of themost elegant approaches concerning the semantics of normal logic programs. Itgeneralizes the perfect model semantics and is closely related with Autoepis-temic Logic [14] as a major formalization of nonmonotonic reasoning. Further-more, stable model semantics could subsequently be extended to disjunctive logicprograms (Gelfond and Lifschitz [6], by Przymusinski [17]).Unfortunately, stable models do not necessarily exist, and even when theyexist they are hard to compute. Baral and Subrahmanian therefore introducedthe notion of stable classes for normal programs (cf. [2] and [3]). Essentially, astable class is a set I of interpretations such thatI = fSP (I) j I 2 I gwhere SP is an antimonotonic operator. They prove that normal programs alwayshave stable classes and thatf lfp (S2P ); gfp (S2P ) gis the smallest (with respect to a Hoare-ordering) stable class, thereby providinga constructive characterization. They furthermore show that this stable class isequivalent to the well-founded semantics, another (by now) standard formaliz
您可能关注的文档
- Random Operator Approach for Word Enumeration in Braid Groups.pdf
- Randomized and Quantum Algorithms Yield a Speed-Up for Initial-Value Problems.pdf
- Rap A real-time communication architecture for large-scale wireless sensor networks.pdf
- Rapid and sensitive dot-matrix methods for genome analysis.pdf
- Rapidly rotating superfluid neutron stars in Newtonian dynamics.pdf
- Rate analysis for streaming applications with on-chip buffer constraints.pdf
- Rate control for communication networks shadow.pdf
- Rationality of the vertex operator algebra $V_L^+$ for a positive definite even lattice $L$.pdf
- RBS苏格兰皇家银行2015校园招聘求职大礼包.pdf
- RCP890A05 datasheet.pdf
文档评论(0)