Abstract
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where players have exactly opposed goals (min vs. max), is more widely applicable than min-max and also supports a form of pruning, despite it being less effective than α − β. Actually, min-max games may be seen as particular cases where both the game and its dual are tropical: when the dual of a tropical game is also tropical, the power of α − β is completely recovered. We formally develop the model and prove that the tropical pruning strategy is correct, then conclude by showing how the problem of approximated parsing can be modeled as a tropical game, profiting from pruning.
This work is partially financed by Marie Curie action n. 29849 Websicola and ANR-06-JCJC-0122.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hart, T.P., Edwards, D.J.: The tree prune (TP) algorithm. In: Artificial Intelligence Project Memo 30. Massachusetts Institute of Technology, Cambridge (1961)
Knuth, D.E., Moore, R.W.: An analysis of alpha-beta pruning. Artificial Intelligence 6, 293–326 (1975)
Loddo, J.V.: Généralisation des Jeux Combinatoires et Applications aux Langages Logiques. PhD thesis, Université Paris VII (2002)
Loddo, J.V., Cosmo, R.D.: Playing logic programs with the alpha-beta algorithm. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol. 1955, pp. 207–224. Springer, Heidelberg (2000)
Ginsberg, M.L., Jaffray, A.: Alpha-beta pruning under partial orders. In: Games of No Chance II (2001)
Klop, J.W., de Vrijer, R.: First-order term rewriting systems. In: Terese (ed.) Term Rewriting Systems, pp. 24–59. Cambridge University Press, Cambridge (2003)
Huet, G.: Confluent reductions: Abstract properties and applications to term rewriting systems. J. ACM 27(4), 797–821 (1980)
Klop, J.W., Oostrom, V.V., de Vrijer, R.: Orthogonality. In: Terese (ed.) Term Rewriting Systems, pp. 88–148. Cambridge University Press, Cambridge (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loddo, JV., Saiu, L. (2010). How to Correctly Prune Tropical Trees. In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-14128-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14127-0
Online ISBN: 978-3-642-14128-7
eBook Packages: Computer ScienceComputer Science (R0)