Monopoly Libratus is a digital adaptation of the classic board game Monopoly where your primary opponent is an AI developed using the DLV (Disjunctive Logic Programming System). The AI is capable of complex reasoning, making strategic decisions as it plays against you, giving you a challenging and dynamic gaming experience.
- Single Player Mode: Compete against a smart AI opponent with varying levels of strategic depth.
- Classic Monopoly Rules: All the familiar rules and mechanics of the Monopoly game have been implemented.
- AI Opponent Using DLV: The AI opponent is powered by Answer Set Programming (ASP) through the DLV system, providing a challenging and unpredictable adversary.
The AI opponent is developed using DLV, a Disjunctive Logic Programming System, enabling it to make strategic decisions based on complex logic rules. This allows the AI to:
- Trade properties,
- Negotiate deals,
- Purchase properties strategically,
- Build houses/hotels,
- Decide whether to participate in auctions.
The DLV system ensures that the AI plays intelligently, adapting to the current game state to keep you engaged.
- Java Development Kit (JDK) 8 or above: Install JDK
- Maven: Install Maven
- DLV system (for handling the AI logic)
git clone https://github.com/lanor-97/Monopoly-Libratus.git
cd Monopoly-Libratusmvn clean installjava -jar target/MonopolyLibratus-1.0-SNAPSHOT.jar
