Abstrakt. Vi presenterar en ram för beslutsfattande med möjlighet att uttrycka omständigheter-beroende preferenser bland olika alternativ för ett beslut. Denna nya formalism, Ordered Choice Logic Programs (OCLP), bygger på val logiska program för att definiera en preferens / specialisering relation på uppsättningar av val regler. Vi visar att vårt paradigm är en intuitiv utvidgning av både ordnad logik och vallogik programmering så att beslut kan omfatta mer än två alternativ som blir tillgängliga endast när ett val faktiskt tvingas. Semantiken för OCL-program är baserad på stabila modeller för vilka vi tillhandahåller en karakterisering i termer av antaganden och en fixpoint-algoritm. Dessutom visar vi att OCLPs tillåter en elegant översättning av ändliga omfattande spel med perfekt information så att de stabila modellerna av programmet motsvarar, beroende på omvandlingen, antingen Nash equilibria eller subgame perfekt equilibria av spelet.
Ordnad val logik program introduceras i REF för modellering beslutsfattande med dynamiska preferenser.
A Logic for Modeling Decision Making with Dynamic Preferences
{'venue': 'In Proceedings of the Logics in Artificial Inteligence (jelia2000) workshop, volume 1919 of Lecture Notes in Artificial Intelligence', 'journal': None, 'mag_field_of_study': ['Computer Science']}