Answer set programming for procedural content generation: A design space approach

IEEE Transactions on Computational Intelligence and AI in Games

Volumn 3, Issue 3, 2011, Pages 187-200

  Smith, Adam M ^a   Mateas, Michael ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Answer set programming; constraint programming; game design; logic programming; procedural content generation

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; CONSTRAINT PROGRAMMING; DESIGN PROBLEMS; DESIGN SPACES; GAME DESIGN; PROCEDURAL CONTENT GENERATION;

CONSTRAINT THEORY; LOGIC PROGRAMMING;

DESIGN;

EID: 80052895222     PISSN: 1943068X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCIAIG.2011.2158545     Document Type: Conference Paper

References (38)

1. J. C. Thomas and J. M. Carroll, "The psychological study of design," Design Studies, vol. 1, no. 1, pp. 5-11, Jul. 1979.
2. H. A. Simon, The Sciences of the Artificial, 1st ed. Cambridge, MA: MIT Press, 1969.
3. J. Togelius, G. Yannakakis, K. Stanley, and C. Browne, "Search-based procedural content generation," Appl. Evol. Comput., vol. 6024, pp. 141-150, 2010.
4. A. M. Smith and M. Mateas, "Tableau machine: A creative alien presence," in Proc. AAAI Spring Symp. Creative Intell. Syst., 2008, pp. 82-89.
5. P.Machado and A. Cardoso, "All the truth about NEvAr," Appl. Intell., vol. 16, no. 2, pp. 101-118, 2002. (Pubitemid 34168097)
6. S. Draves, "The electric sheep screen-saver: A case study in aesthetic evolution," in Applications of Evolutionary Computing, ser. Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2005, vol. 3449, pp. 458-467. (Pubitemid 41273960)
7. F. P. Brooks, "No silver bullet-Essence and accident in software engineering," in Proc. IFIP 10th World Comput. Conf., 1986, pp. 1069-1076.
8. B. G. Buchanan, "Creativity at the metalevel: AIII-2000 presidential address," AI Mag., vol. 22, no. 3, pp. 13-28, 2001. (Pubitemid 32935355)
9. B. Moseley and P. Marks., Funtional Reactive Programming, February 2006 [Online]. Available: http://web.mac.com/ben-moseley/frp/paper-v1-01.pdf
10. T. Tutenel, R. M. Smelik, R. Bidarra, and K. J. de Kraker, "A semantic scene description language for procedural layout solving problems," in Proc. AAAI Conf. Artif. Intell. Interactive Digit. Entertain., 2010, pp. 95-100.
11. R. Smelik, T. Tutenel, K. J. de Kraker, and R. Bidarra, "Integrating procedural generation and manual editing of virtual worlds," in Proc. Workshop Procedural Content Generat. Games, 2010, DOI: 10.1145/1814256.1814258.
12. G. Smith, J. Whitehead, and M. Mateas, "Tanagra: A mixed-initiative level design tool," in Proc. Int. Conf. Found. Digit. Games, 2010, pp. 209-216.
13. J. Dormans, "Adventures in level design: Generating missions and spaces for action adventure games," in Proc. Workshop Procedural Content Generat. Games, 2010, DOI: 10.1145/1814256.1814257.
14. G. Boenn, M. Brain, M. De Voss, and J. Fitch, "Anton: Answer set programming in the service of music," in Proc. 12th Int. Workshop Non-Monotonic Reason., 2008, pp. 85-93.
15. A.M. Smith, M. J. Nelson, andM.Mateas, "Ludocore: A logical game engine formodeling videogames," in Proc. IEEE Symp. Comput. Intell. Games, 2010, pp. 91-98.
16. A. M. Smith and M. Mateas, "Variations forever: Flexibly generating rulesets from a sculptable design space of mini-game," in Proc. IEEE Symp. Comput. Intell. Games, 2010, pp. 273-280.
17. C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge, MA: Cambridge Univ. Press, 2003.
18. F. Lin and Y. Zhao, "ASSAT: Computing answer sets of a logic program by SAT solvers," Artif. Intell., vol. 157, no. 1-2, pp. 115-137, Aug. 2004.
19. A. Bertoni, G. Grossi, A. Provetti, V. Kreinovick, and L. Tari, "The prospect for answer sets computation by a genetic model," in Proc. AAAI Spring Symp. Answer Set Programm., 2000, pp. 1-5.
20. P. Nicolas, F. Saubion, and I. Stéphan, "Answer set programming by ant colony optimization," in Proc. 8th Eur. Conf. Artif. Intell., 2002, pp. 186-197.
21. M. Davis and H. Putnam, "A computing procedure for quantification theory," J. ACM, vol. 7, no. 3, pp. 201-215, July 1960.
22. S. Russel and P. Norvig, Artificial Intelligence: A Modern Approach, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 2002.
23. M. Gebser, B. Kaufmann, A. Neuman, and T. Schaub, "Clasp: A conflict-driven answer set solver," in Proc. 9th Int. Conf. Logic Programm. Nonmonotonic Reason., 2007, pp. 260-265.
24. M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, and S. Thiele, Logic Programming, ser. Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2008, vol. 5366.
25. M. Gebser, B. Kaufmann, and T. Schaub, "The conflict-driven answer set solver clasp: Progress report," in Proc. 10th Int. Conf. Logic Programm. Nonmonotonic Reason., 2009, pp. 509-514.
26. M. Brain,O. Cliffe, and M. De Voss, "A pragmatic programmer's guide to answer set programming," in Proc. Softw. Eng. Answer Set Programm., Potstam, Germany, 2009, pp. 49-63.
27. M. Gebser, M. Ostrowski, and T. Schaub, "Constraint answer set solving," in Proc. 25th Int. Conf. Logic Programm., 2009, DOI: 10.1007/978-3-642-02846-5-22.
28. N. Leone, "Exploiting ASP in real-world applications: Main strengths and challenges," in Proc. 10th Int. Conf. Logic Programm., 2009, pp. 628-630.
29. H. Christiansen and V. Dahl, "HYPROLOG: A new logic programming language with assumptions and abduction," in Proc. Int. Conf. Logic Programm., 2005, pp. 159-173. (Pubitemid 41491600)
30. C. Holzbaur, OEFAI clp(q,r) Manual Rev. 1.3.2, Austrian Research Institute for Artificial Intelligence, TR-95-09, 1995.
31. D. Ashlock, "Automatic generation of game elements via evolution," in Proc. IEEE Conf. Comput. Intell. Games, 2010, pp. 289-296.
32. S. O. Kimbrough, G. J. Koehler, M. Lu, and D. H. Wood, "On a feasible-infeasible two-population (FI-2Pop) genetic algorithm for constrained optimization: Distance tracing and no free lunch," Eur. J. Oper. Res., vol. 190, no. 2, pp. 310-327, Oct. 2008. (Pubitemid 351492596)
33. Y. Zhao and F. Lin, "Answer set programming phase transition: A study on randomly generated programs Hong Kong University of Science and Technology, Hong Kong, KHUST-CS03-04, 2003.
34. M. Brain, ASPs Galore!. Jul. 24, 2010, Personal e-mail.
35. K. Compton and M. Mateas, "Procedural level design for platformer games," in Proc. AAAI Conf. Artif. Intell. Interactive Digit. Entertain., 2006, pp. 109-111.
36. G. Smith, M. Treanor, J. Whitehead, and M. Mateas, "Rhythm-based level generation for 2D platformers," in Proc. Int. Conf. Found. Digit. Games, 2009, DOI: 10.1145/1536513.1536548.
37. S. Chen, A. M. Smith, A. Jhala, N. Wardrip-Fruin, and M. Mateas, "RoleModel, towards a formal model of dramatic roles for story generation," in Proc. 3rd Workshop Intell. Narrative Technol., 2010, DOI: 10.1145/1822309.1822326.
38. R. R. Lang, "A declarative model for simple narratives," in Proc. AAAI Spring Symp. Narrative Intell., 1999, pp. 134-141.