首页    期刊浏览 2024年11月14日 星期四
登录注册

文章基本信息

  • 标题:On the Semantics of Logic Programs with Preferences
  • 本地全文:下载
  • 作者:S. Greco ; I. Trubitsyna ; E. Zumpano
  • 期刊名称:Journal of Automation, Mobile Robotics & Intelligent Systems (JAMRIS)
  • 印刷版ISSN:1897-8649
  • 电子版ISSN:2080-2145
  • 出版年度:2007
  • 卷号:30
  • 页码:501-523
  • 出版社:Industrial Research Inst. for Automation and Measurements, Warsaw
  • 摘要:This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation for prioritized logic programs, is inspired by the semantics of Prioritized Logic Programming and enriched with the use of structural information of preference of Answer Set Optimization Programming. Specifically, the analysis of the logic program is carried out together with the analysis of preferences in order to determine the choice order and the sets of comparable models. The new semantics is compared with other approaches known in the literature and complexity analysis is also performed, showing that, with respect to other similar approaches previously proposed, the complexity of computing preferred stable models does not increase
国家哲学社会科学文献中心版权所有