Project Hub - LogicalBattleShip

Resources

Relevant Course Notes:

Logical Agents & Propositional Logic: Base logic representation for the board, ASK/TELL interface, and SAT solving (important for libraries like PySAT and PyLogic).
Solving Problems by Searching - Constraint Satisfaction Problems: Useful if modeling ship placements and grid restrictions as constraint satisfaction problems.

Canva:

Git repo:

Presentation:

Constraint: Maximum 10x10
Add rocks randomly in the map for making the game faster
4 types of boats: {(1x2), (1x3), (1x5), (2x2)}
Battleships cannot be placed contiguosly in the grid i.e. attach two ships together.

Let’s start with a toy example:

I choosed the PySAT library, i will use only propositional logic since the game is finite. Made brainstorming and choosed a toy example
To solve the inference of a Battleship game i can use only propositional logic.
Make github repo
Defined all rules in the README, heuristics included
Used a lot of AI agents but they made the work faster, i mainly told them what to implement step by step and refactored code to make it clearer to read for humans.
Implemented the main basic game initialization logic with placement of the 2 smaller boats. Game also supports different size boards
Implemented random game generation
Implemented a simple visualization in PyGame.
Added rules for remaining boats
Redesigned the boards, now we have a truth board and an agent board.
- The agent knows consequences of the game but not all the information on the board. The agent keep a mental state (see relevant lecture) of the board as the game proceed. Ofcourse it know consequences, so it know that destroying 1x2 contiguos ShipPiece(s), and the surrounding is empty, means Patrol Boat is destroyed so in consequent open hit it should not look for a Patrol Boat.
Implemented every MVP feature + nice to have features except for skin for boats (don’t have intention to add them), it also have a multiplayer agent vs agent with checkerboard vs random strategy.

Features	MVP	Nice to have features	Banned Features
=====	Define all rules in README	Full game 10x10 with 5 types of ships	Networking
=====	5x5 game with 2 types of ships	Local multiplayer, play vs bot	Fancy boats with spirites, skin and similar
=====	Logic solver in PySAT with Exploration phase	Easy AI generated skin for boats
=====	Random game Generation	Better GUI: Player 1, player 2, previous move above the board
=====	Simple visualization in PyGame
=====	1v1 agent vs agent