A Propositional CONEstrip Algorithm
We present a variant of the CONEstrip algorithm for checking whether the origin lies in a finitely generated convex cone that can be open, closed, or neither. This variant is designed to deal efficiently with problems where the rays defining the cone are specified as linear combinations of propositional sentences. The variant differs from the original algorithm in that we apply row generation techniques. The generator problem is WPMaxSAT, an optimization variant of SAT; both can be solved with specialized solvers or integer linear programming techniques. We additionally show how optimization problems over the cone can be solved by using our propositional CONEstrip algorithm as a preprocessor. The algorithm is designed to support consistency and inference computations within the theory of sets of desirable gambles. We also make a link to similar computations in probabilistic logic, conditional probability assessments, and imprecise probability theory.
Keywordssets of desirable gambles linear programming row generation satisfiability SAT PSAT WPMaxSAT consistency coherence inference natural extension
Unable to display preview. Download preview PDF.
- 4.Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)Google Scholar
- 7.Gomes, C.P., Kautz, H., Sabharwal, A., Selman, B.: Satisfiability solvers. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, ch. 2, pp. 89–134. Elsevier (2008)Google Scholar
- 10.Prestwich, S.: CNF encodings. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185, ch. 2, pp. 75–98. IOS Press (2009)Google Scholar
- 13.Quaeghebeur, E.: Desirability. In: Coolen, F.P.A., Augustin, T., de Cooman, G., Troffaes, M.C.M. (eds.) Introduction to Imprecise Probabilities. Wiley (2014)Google Scholar
- 14.Quaeghebeur, E., de Cooman, G., Hermans, F.: Accept & reject statement-based uncertainty models (submitted), http://arxiv.org/abs/1208.4462
- 15.Walley, P.: Statistical reasoning with imprecise probabilities. Monographs on Statistics and Applied Probability, vol. 42. Chapman & Hall (1991)Google Scholar