Representations and solutions for game-theoretic problems

Daphne Koller, Avi Pfeffer
1997 Artificial Intelligence  
A system with multiple interacting agents (whether artificial or human) is often best analyzed using game-theoretic tools. Unfortunately, while the formal foundations are well-established, standard computational techniques for game-theoretic reasoning are inadequate for dealing with realistic galmes. This paper describes the Gala system, an implemented system that allows the specification and efficient solution of large imperfect information games. The system contains the first implernentation
more » ... f a recent algorithm, due to Koller, Megiddo and von Stengel. Experimental results from the system demonstrate that the algorithm is exponentially faster than the standard algorithm in practice, not just in theory. It therefore allows the solution of games that are orders of magnitude larger than were previously possible. The system also provides a new declarative language for compactly and naturally representing games by their rules. As a whole, the Gala system provides tbe capability for automated game-theoretic analysis of complex real-world situations. @ 1997 Elsevier Science l3.V.
doi:10.1016/s0004-3702(97)00023-4 fatcat:5lnjlzovmrb5povybkz23bmlnq