https://github.com/kplanisphere/block-world-planning
Artificial Inteligence Tecniques
https://github.com/kplanisphere/block-world-planning
artificial-intelligence artificial-intelligence-algorithms block-world block-world-problem delve dlv
Last synced: 5 months ago
JSON representation
Artificial Inteligence Tecniques
- Host: GitHub
- URL: https://github.com/kplanisphere/block-world-planning
- Owner: KPlanisphere
- Created: 2025-01-21T19:56:04.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-01-21T19:59:51.000Z (over 1 year ago)
- Last Synced: 2025-01-29T03:47:10.151Z (over 1 year ago)
- Topics: artificial-intelligence, artificial-intelligence-algorithms, block-world, block-world-problem, delve, dlv
- Homepage: https://linktr.ee/planisphere.kgz
- Size: 1.22 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Block World Planning with DLV
This repository contains a planning problem for the **Block World** domain, implemented using **DLV**. The goal is to manipulate blocks using logical rules and planning constraints.
## 📌 Overview
The Block World consists of:
- A set of **blocks** (`a`, `b`, `c`).
- A **table** (`mesa`) as the initial resting place for all blocks.
- Actions to **grasp, release, lift, and lower** blocks according to specific conditions.
The objective is to **stack the blocks in a specific order**, following logical constraints.
## 📂 Files
- **`file1.lp`** → Defines blocks and locations.
- **`file2.plan`** → Specifies fluents, actions, and constraints.
- **`file3.plan`** → Sets the initial state and the goal configuration.
## 🛠 Requirements
- **DLV Solver** (Download from: [DLV System](http://www.dlvsystem.com))
- Command-line interface (CLI)
## 🚀 Execution
### 1️⃣ Running the Solver
To solve the planning problem, execute the following command:
```bash
dlv.mingw.exe file1.lp file2.plan file3.plan
```
### 2️⃣ Expected Output
The solver will generate an execution sequence to achieve the goal:
```css
Action: agarrar(a)
Action: subir(a)
Action: bajar(a, b)
...
Goal Reached: sobre(a, b), sobre(b, c), sobre(c, mesa)
```
## 🎯 Goal State
The desired final arrangement of blocks:
