GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → potassco → plasp

potassco / plasp

Licence: MIT License
🗺️ ASP planning tools for PDDL

Programming Languages

C++
36643 projects - #6 most used programming language
CMake
9771 projects

Labels

planningasppddl

Projects that are alternatives of or similar to plasp

planning-wiki
By the community, for everyone. Planning.wiki is the online guide to AI Planning
Stars: ✭ 54 (+125%)
Mutual labels:  planning, pddl
ordered
Entropy-controlled contexts in Python
Stars: ✭ 36 (+50%)
Mutual labels:  planning, pddl
PDDL.jl
Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
Stars: ✭ 52 (+116.67%)
Mutual labels:  planning, pddl
DnaWeaver
A route planner for DNA assembly
Stars: ✭ 20 (-16.67%)
Mutual labels:  planning
language-planner
Official Code for "Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents"
Stars: ✭ 84 (+250%)
Mutual labels:  planning
aspZip
A classic ASP zip and unzip utility class that uses the native zip support from Windows (XP and above) - no components needed
Stars: ✭ 24 (+0%)
Mutual labels:  asp
chatle
chat le with ASP.NET Core
Stars: ✭ 20 (-16.67%)
Mutual labels:  asp
DNTCommon.Web.Core
DNTCommon.Web.Core provides common scenarios' solutions for ASP.NET Core 3.x applications.
Stars: ✭ 117 (+387.5%)
Mutual labels:  asp
nuplan-devkit
The devkit of the nuPlan dataset.
Stars: ✭ 107 (+345.83%)
Mutual labels:  planning
learn-classic-asp
Learn classic ASP, because sometimes you have a client with the legacy project. 😌
Stars: ✭ 31 (+29.17%)
Mutual labels:  asp
Bitcoin-Payment-Gateway-ASP.NET
Bitcoin Payment Gateway API on ASP.NET. Accept Bitcoin, Litecoin, Dogecoin, Dash, Speedcoin, Reddcoin, Potcoin, Feathercoin, BTC, Vertcoin, Vericoin, Peercoin, Paycoin, MonetaryUnit, Swiscoin Payments Online on your ASP.NET C# website
Stars: ✭ 56 (+133.33%)
Mutual labels:  asp
ASP.NET-CORE-MVC-Sample-Registration-Login
C# Asp.Net Core MVC Sample Registration/Login/Email Activation Form with MsSQL Server/Entity Framework/Onion Architecture
Stars: ✭ 37 (+54.17%)
Mutual labels:  asp
poly
polymorphic webshells
Stars: ✭ 22 (-8.33%)
Mutual labels:  asp
l5kit
L5Kit - https://level-5.global/
Stars: ✭ 683 (+2745.83%)
Mutual labels:  planning
Robotics-Planning-Dynamics-and-Control
RPDC : This contains all my MATLAB codes for the Robotics, Planning, Dynamics and Control . The implementations model various kinds of manipulators and mobile robots for position control, trajectory planning and path planning problems.
Stars: ✭ 171 (+612.5%)
Mutual labels:  planning
ASP.NET-Core-2-MVC-CRUD-datatables-jQuery-Plugin
Asp.Net Example implementation of datatables.net using Asp.Net Core 2 Mvc CRUD datatables jQuery Plugin
Stars: ✭ 25 (+4.17%)
Mutual labels:  asp
scrum-planning-poker
Please feel FREE to try it and give feedback by searching Scrum敏捷估算 in WeChat mini program.
Stars: ✭ 30 (+25%)
Mutual labels:  planning
jpp
Joint Perception and Planning For Efficient Obstacle Avoidance Using Stereo Vision
Stars: ✭ 42 (+75%)
Mutual labels:  planning
ASPNETcoreAngularJWT
Angular in ASP.NET Core with JWT solution by systemjs
Stars: ✭ 48 (+100%)
Mutual labels:  asp
AspNetCore.Identity.RavenDb
RavenDB user/role persistent store for ASP.NET Core identity provider
Stars: ✭ 17 (-29.17%)
Mutual labels:  asp
View All Similar Projects ➔

plasp GitHub Release Build Status Build Status

ASP planning tools for PDDL

Overview

plasp is a tool collection for planning in answer set programming. plasp 3 supports the input languages PDDL 3.1 (except for advanced features such as durative actions, numerical fluents, and preferences) and SAS (full support of SAS 3), which is used by Fast Downward.

The most notable tool provided by plasp is plasp translate, which translates PDDL descriptions to ASP facts.

Translating PDDL to ASP Facts

PDDL instances are translated to ASP facts as follows:

plasp translate domain.pddl problem.pddl

Alternatively, PDDL instances may first be translated to SAS, the output format of Fast Downward.

./fast-downward.py --translate --build=release64 domain.pddl problem.pddl

This creates a file called output.sas, which may now be translated by plasp as well.

plasp translate output.sas

Solving the Translated Instance

The translated instance can finally be solved with clingo and a meta encoding, for instance, sequential-horizon.lp:

plasp translate domain.pddl problem.pddl > instance.lp
clingo encodings/sequential-horizon.lp -c horizon=10 instance.lp

Translator Output Format

plasp translate provides a uniform output format for SAS and PDDL input problems. See output format for more details.

If you want to write your own meta encoding for plasp translate’s output, this simple example encoding gets you started.

Provided Tools

plasp <command> [<option>...] [<input file>...]

Aside from translating PDDL to ASP facts, plasp provides the following commands:

command description
translate Translate PDDL and SAS to ASP facts
normalize Normalize PDDL to plasp’s custom PDDL format
check-syntax Check the syntax of PDDL specifications
beautify Cleanly format PDDL specifications
help Display help message
version Display version information

plasp help shows a list of all commands provided by plasp. To list all available options of a command, call plasp <command> --help or plasp help <command>.

plasp automatically detects the language (PDDL or SAS) of the input descriptions.

Building

plasp is built with CMake and a C++ compiler. See building for more details.

PDDL Feature Support

plasp supports a subset of PDDL 3.1. See PDDL feature support for a list of supported and unsupported PDDL 3.1 features.

Contributors

Earlier Versions

  • René Knaebel
  • Murat Knecht
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].