Abstract
A good evaluation function is needed for a good game program, and good features, which are primitive metrics of a state, are needed for a good evaluation function. In order to obtain good features, automatic generation of features by machine learning is promising. However, the generated features are usually written in logic programs, whose evaluation is much slower than that of other native expressions due to the interpretive evaluation of the logic programs. In order to solve this problem, we propose a method which constructs a specialized evaluator using a combination of techniques: partial evaluation, Boolean tables, and incremental calculation. It exhaustively unfolds logical programs until they can be represented as simple Boolean tables. The constructed specialized evaluator is efficient since it consults only these compiled tables. Experiments with Othello showed that speed can be increased approximately 2,000 times.
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
N. Bassiliades and I. Vlahavas. DEVICE: Compiling production rules into event-driven rules using complex events. Information and Software Technology, 39(5):331–342, 1997.
A. Bossi, N. Cocco, and S. Dulli. A method for specializing logic programs. ACM Transactions on Programming Languages and Systems, 12(2):253–302, 1990.
M. Buro. From simple features to sophisticated evaluation functions. In Proceedings of the First International Conference on Computers and Games, pages 126–145. Springer-Verlag, 1998.
T. E. Fawcett. Feature Discovery for Problem Solving Systems. PhD thesis, Department of Computer Science, University of Massachusetts, Amherst, 1993.
T. E. Fawcett and P. E. Utgoff. Automatic feature generation for problem solving systems. In D. Sleeman and P. Edwards, editors, Proceedings of the 9th International Conference on Machine Learning, pages 144–153. Morgan Kaufmann, 1992.
Ashish Gupta, Inderpal Singh Mumick, and V. S. Subrahmanian. Maintaining views incrementally. SIGMOD Record (ACM Special Interest Group on Management of Data), 22(2):157–166, June 1993.
H. S. Lee and M. I. Schor. Match algorithms for generalized rete networks. Artificial Intelligence, 54:249–274, 1992.
Barney Darryl Pell. Strategy Generation and Evaluation for Meta-Game Playing. PhD thesis, University of Cambridge, 1993.
Konstantinos Sagonas, Terrance Swift, and David S. Warren. Xsb as an efficient deductive database engine. ACM SIGMOD, 5:442–453, 1994.
A. L. Samuel. Some studies in machine learning using the game of checkers, ii-recent progress. IBM Journal of Research and Development, 11(6):601–617, 1967.
Jeffrey D. Ullman. Prinsiples of Database and Knowledge-Base Systems, Volume II:The New Technologies. Computer Science Press, Maryland, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaneko, T., Yamaguchi, K., Kawai, S. (2000). Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation. In: Mizoguchi, R., Slaney, J. (eds) PRICAI 2000 Topics in Artificial Intelligence. PRICAI 2000. Lecture Notes in Computer Science(), vol 1886. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44533-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-44533-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67925-7
Online ISBN: 978-3-540-44533-3
eBook Packages: Springer Book Archive