期刊名称: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