Dynamically Ordered Probabilistic Choice Logic Programming

We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, DOP-CLP, that allows the user to specify the static priority of each rule and to declare, dynamically, all the alternatives for the decisions that have to be made. In this paper we focus on a semantics that reflects all possible situations in which the decision maker takes the most rational, possibly probabilistic, decisions given the circumstances. Our model theory, which is a generalization of classical logic-programming model theory, captures uncertainty at the level of total Herbrand interpretations. We also demonstrate that DOP-CLPs can be used to formulate game theoretic concepts.

• Type: Conference
• Year: 2000
• Where: FSTTCS
• Authors: Marina De Vos, Dirk Vermeir
• Keywords: FSTTCS 2000, Logic-programming Language, Logic-programming Model Theory, Model Theory, Software Engineering