Abstract
This paper describes a new method for solving optimization queries in semiring valuation systems. In contrast to existing techniques which focus essentially on the identification of solution configurations, we propose foremost the construction of an implicit representation of the solution configuration set in the shape of a Boolean function. This intermediate compilation step allows then to efficiently execute many further relevant queries that go far beyond the traditional task of enumerating solution configurations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Shenoy, P.P., Shafer, G.: Axioms for probability and belief-function proagation. In: Shachter, R.D., Levitt, T.S., Kanal, L.N., Lemmer, J.F. (eds.) Uncertainty in Artificial Intelligence 4. Machine intelligence and pattern recognition 9, 169–198 (1990)
Shafer, G.: An axiomatic study of computation in hypertrees. Working Paper 232, School of Business, University of Kansas (1991)
Kohlas, J.: Information Algebras: Generic Structures for Inference. Springer, Heidelberg (2003)
Shenoy, P.: Axioms for dynamic programming. In: Gammerman, A. (ed.) Computational Learning and Probabilistic Reasoning, pp. 259–275. Wiley, Chichester (1996)
Bertele, U., Brioschi, F.: Nonserial Dynamic Programming. Academic Press, London (1972)
Wilson, N.: Decision diagrams for the computation of semiring valuations. In: IJCAI 2005. 19th International Joint Conference on Artificial Intelligence, pp. 331–336 (2005)
Mateescu, R., Dechter, R.: Compiling constraint networks into and/or multi-valued decision diagrams (aomdds). In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 329–343. Springer, Heidelberg (2006)
Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res (JAIR) 17, 229–264 (2002)
Wachter, M., Haenni, R.: Propositional DAGs: a new graph-based language for representing Boolean functions. In: KR 2006. 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 277–285 (2006)
Shenoy, P.: Valuation-based systems: A framework for managing uncertainty in expert systems. In: Fuzzy Logic for the Management of Uncertainty, pp. 83–104 (1992)
Schneuwly, C., Pouly, M., Kohlas, J.: Local computation in covering join trees. Technical Report 04-16, University of Fribourg (2004)
Schweizer, B., Sklar, A.: Statistical metric spaces. Pacific J. Math. 10, 313–334 (1960)
Pouly, M., Kohlas, J.: Local computation & dynamic programming. Technical Report 07-02, University of Fribourg (2007)
Kohlas, J., Wilson, N.: Exact and approximate local computation in semiring induced valuation algebras. Technical Report 06-06, University of Fribourg (2006)
Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-based CSPs and valued CSPs: Frameworks, properties, comparison. Constraints 4, 199–240 (1999)
Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1 (1978)
Darwiche, A.: Decomposable negation normal form. J. ACM 48, 608–647 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pouly, M., Haenni, R., Wachter, M. (2007). Compiling Solution Configurations in Semiring Valuation Systems . In: Gelbukh, A., Kuri Morales, Á.F. (eds) MICAI 2007: Advances in Artificial Intelligence. MICAI 2007. Lecture Notes in Computer Science(), vol 4827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76631-5_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-76631-5_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76630-8
Online ISBN: 978-3-540-76631-5
eBook Packages: Computer ScienceComputer Science (R0)