POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Tue 21 Jan 2025 12:00 - 12:30 at Room 2 - Session 6

Don’t Starve is a non-linear, real-time survival video game where the player’s objective is to survive as long as possible. The game is challenging because randomly generated situations and events make it hard to survive this game for a long time. However, the game follows specific rules that can be used to predict future outcomes. We can use these rules to automate its playing. Our preliminary effort reported in this paper uses the answer set programming framework to model the game-playing agent’s logic to survive in the game for as long as possible. The agent learns the environment around it and translates the knowledge into facts represented as predicates. A set of commonsense reasoning rules represented in ASP captures the logic that the agent must use to survive. We combined the logic rules with the facts about the environment to compute the best action the agent must take. We use the s(CASP) goal-directed predicate ASP engine and a custom game modification program written in Lua supported by the game environment that can interface with s(CASP). Our results indicate that our preliminary automated game-playing system can outperform novice players. Further refinement should allow our system to survive longer.

This program is tentative and subject to change.

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

11:00 - 12:30
Session 6PADL at Room 2
11:00
30m
Talk
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
PADL
Daniela Inclezan Miami University, USA, Hunter Lockwood Myaamia Center & Miami University, Anita Baral Miami University, Jitendra Sharma Miami University, Pratiksha Shrestha Miami University
11:30
30m
Talk
A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
PADL
Yan Yan Southeast University, Nanjing, Junru Li Southeast University, Nanjing, Fangzhou Liu Southeast University, Nanjing, Zerong Wang Southeast University, Nanjing, Zhizheng Zhang Southeast University, Nanjing
12:00
30m
Talk
Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
PADL
Dan Nguyen University of Texas at Dallas, USA, Bryant Hargreaves University of Texas at Dallas, USA, Keegan Kimbrell University of Texas at Dallas, USA, Gopal Gupta