Applications of preferences using Answer Set Programming

作者: Christine Solnon , Juan Carlos Nieves , Mauricio Osorio , Claudia Zepeda , David Sol

DOI:

关键词:

摘要: Preferences are useful when the space of feasible solutions a given problem is dense but not all these equivalent w.r.t. some additional requirements. In this case, goal to find that most satisfy order represent preferences, in paper we use an extension ordered disjunction programs. Ordered approach based on answer sets allows us alternative, ranked options for problem. Moreover, give brief overview two real applications extended programs different domains. The first one planning: evacuation planning. second argumentation: organ transplantation. particular, show role negated negative literals obtain preferred solution each application.

参考文章(11)
Michael Gelfond, Marcello Balduccini, Logic Programs with Consistency-Restoring Rules ,(2003)
Tran Cao Son, Enrico Pontelli, Planning with Preferences Using Logic Programming Logic Programming and Nonmonotonic Reasoning. pp. 247- 260 ,(2003) , 10.1007/978-3-540-24609-1_22
G. Brewka, Ilkka Niemelä, Tommi Syrjänen, Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs european conference on logics in artificial intelligence. pp. 444- 455 ,(2002) , 10.1007/3-540-45757-7_37
Vladimir Lifschitz, Michael Gelfond, The stable model semantics for logic programming international conference on lightning protection. pp. 1070- 1080 ,(1988)
Gerhard Brewka, Logic programming with ordered disjunction national conference on artificial intelligence. pp. 100- 105 ,(2002) , 10.5555/777092.777111
David Pearce, Stable inference as intuitionistic validity Journal of Logic Programming. ,vol. 38, pp. 79- 91 ,(1999) , 10.1016/S0743-1066(98)10015-8
Mauricio Osorio, Juan A Navarro, José Arrazola, None, Applications of intuitionistic logic in Answer Set Programming Theory and Practice of Logic Programming. ,vol. 4, pp. 325- 354 ,(2004) , 10.1017/S1471068403001881
Gerhard Brewka, Salem Benferhat, Daniel Le Berre, Qualitative choice logic Artificial Intelligence. ,vol. 157, pp. 203- 237 ,(2004) , 10.1016/J.ARTINT.2004.04.006
Julián Padget, Francisco Caballero, Antonio López-Navidad, Claudio Ulises Cortés García, Javier Vázquez Salceda, Extending the Carrel system to mediate in the organ and tissue allocation processes: a first approach ,(2002)