Model: huangsukai/finetuned-sentence-encoder-for-pddl-gen
Author: huangsukai
Pipeline: sentence-similarity
Library: sentence-transformers
Tags: sentence-transformers, safetensors, roberta, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:200010, loss:GISTEmbedLoss, arxiv:1908.10084, arxiv:2402.16829, base_model:sentence-transformers/all-roberta-large-v1, base_model:finetune:sentence-transformers/all-roberta-large-v1, text-embeddings-inference, endpoints_compatible, region:us
Base models (finetune): id: sentence-transformers/all-roberta-large-v1
Card metadata: base_model: sentence-transformers/all-roberta-large-v1
library_name: sentence-transformers
pipeline_tag: sentence-similarity
tags: sentence-transformers, sentence-similarity, feature-extraction, generated_from_trainer, dataset_size:200010, loss:GISTEmbedLoss
widget: source_sentence: Context: Translate the given natural language description into an action schema that includes the parameters, preconditions, and effects. Ensure that only the provided predicates are used to construct the preconditions and effects.
Question: Here is the task.
A natural language description of the domain
Domain information: This domain definition sets up a basic framework for actions and interactions in a simplified Minecraft-like environment, focusing on movement, item management, and basic crafting.

A list of available predicates
1. (is_grass ?arg0 - moveable) ;; the object is grass
2. (is_log ?arg0 - moveable) ;; the object is a log
3. (is_planks ?arg0 - moveable) ;; the object is a plank
4. (at ?arg0 - moveable ?arg1 - static) ;; the object is at a location
5. (agent_at ?arg0 - static) ;; the agent is at a location
6. (inventory ?arg0 - moveable) ;; the object is in the agent's inventory
7. (hypothetical ?arg0 - moveable) ;; the object is hypothetical
8. (equipped ?arg0 - moveable ?arg1 - agent) ;; the agent is holding the object
9. (handsfree ?arg0 - agent) ;; the agent has empty hands

Action Description: Picture the agent spotting something valuable or useful on the ground, like a piece of fruit or a tool. The pick action is them bending down and picking up this item, adding it to their inventory. It's a fundamental action for gathering resources as they explore the Minecraft environment. Once picked, the item is no longer lying around; it's safely stored in the agent's inventory.

Action name: pick


Your answer:

sentences: Parameters:
1. ?var0 - moveable
2. ?var1 - static

Preconditions:
```
(and
    (inventory ?var0)
    (not (at ?var0 ?var1))
)
```

Effects:
```
(and
    (agent_at ?var1)
    (at ?var0 ?var1)
)
```
, Parameters:
1. ?x - book
2. ?y - book
3. ?cat - category

Preconditions:
```
(and
    (holding ?x)
    (accessible ?y)
    (belongs-to-category ?x ?cat)
    (not (shelf-overflow ?cat))
)
```

Effects:
```
(and
    (not (holding ?x))
    (not (accessible ?y))
    (accessible ?x)
    (hands-free)
    (on-shelf ?x ?y)
    (shelf-empty ?cat)
)
```
, Parameters:
1. ?var0 - moveable
2. ?var1 - static

Preconditions:
```
(and
    (at ?var0 ?var1)
    (agent_at ?var1)
)
```

Effects:
```
(and
    (inventory ?var0)
    (not (at ?var0 ?var1))
)
```
, source_sentence: Context: Translate the given natural language description into an action schema that includes the parameters, preconditions, and effects. Ensure that only the provided predicates are used to construct the preconditions and effects.
Question: Here is the task.
A natural language description of the domain
Domain information: This domain is structured to allow organizing and managing books within a library setting. The actions and predicates support the movement of books between tables and shelves, ensuring that conditions like accessibility and the librarian's hands being free are met. Additionally, it includes managing book categories, shelf space, and check-out/return processes to reflect a more complex library system.

A list of available predicates
1. (on-shelf ?x ?y - book) ;; ?x is on top of ?y on the shelf
2. (on-table ?x - book) ;; ?x is on the table
3. (accessible ?x - book) ;; ?x is accessible (not covered)
4. (hands-free) ;; The hands of the librarian are free
5. (holding ?x - book) ;; The librarian is holding ?x
6. (belongs-to-category ?x - book ?cat - category) ;; ?x belongs to the category ?cat
7. (shelf-empty ?cat - category) ;; The shelf for category ?cat is empty
8. (shelf-overflow ?cat - category) ;; The shelf for category ?cat is full
9. (book-request ?book - book) ;; There is a request for book ?book
10. (return-due ?book - book) ;; Book ?book is due for return
11. (checked-out ?book - book) ;; Book ?book is checked out

Action Description: Envision a librarian assisting a patron who wishes to borrow a book. The 'check-out' action allows the librarian to mark a book as checked out, provided it is accessible and not already checked out. This action reflects the process of recording the book's status as borrowed and setting a return due date.

Action name: check-out


Your answer:

sentences: Parameters:
1. ?x - book

Preconditions:
```
(holding ?x)
```

Effects:
```
(and
    (not (holding ?x))
    (accessible ?x)
    (hands-free)
    (on-table ?x)
)
```
, Parameters:
1. ?x - book

Preconditions:
```
(checked-out ?x)
```

Effects:
```
(and
    (accessible ?x)
    (not (accessible ?x))
    (book-request ?x)
    (return-due ?x)
)
```
, Parameters:
1. ?x - book

Preconditions:
```
(and
    (accessible ?x)
    (not (checked-out ?x))
)
```

Effects:
```
(and
    (checked-out ?x)
    (not (accessible ?x))
    (book-request ?x)
    (return-due ?x)
)
```
, source_sentence: Context: Translate the given natural language description into an action schema that includes the parameters, preconditions, and effects. Ensure that only the provided predicates are used to construct the preconditions and effects.
Question: Here is the task.
A natural language description of the domain
Domain information: This domain definition sets up a basic framework for actions and interactions in a simplified Minecraft-like environment, focusing on movement, item management, and basic crafting.

A list of available predicates
1. (is_grass ?arg0 - moveable) ;; the object is grass
2. (is_log ?arg0 - moveable) ;; the object is a log
3. (is_planks ?arg0 - moveable) ;; the object is a plank
4. (at ?arg0 - moveable ?arg1 - static) ;; the object is at a location
5. (agent_at ?arg0 - static) ;; the agent is at a location
6. (inventory ?arg0 - moveable) ;; the object is in the agent's inventory
7. (hypothetical ?arg0 - moveable) ;; the object is hypothetical
8. (equipped ?arg0 - moveable ?arg1 - agent) ;; the agent is holding the object
9. (handsfree ?arg0 - agent) ;; the agent has empty hands

Action Description: In the world of Minecraft, crafting is a key skill, and here, the agent can turn a log into planks. It's a bit like a magic trick: the agent takes a log, which they have to be holding, and transforms it into planks. These planks then appear in their inventory, ready to be used for building or crafting other items. The log, of course, is used up in this process.

Action name: craft_plank


Your answer:

sentences: Parameters:
1. ?var0 - moveable
2. ?var1 - agent

Preconditions:
```
(equipped ?var0 ?var1)
```

Effects:
```
(and
    (inventory ?var0)
    (not (equipped ?var0 ?var1))
    (handsfree ?var1)
)
```
, Parameters:
1. ?var0 - moveable
2. ?var1 - agent
3. ?var2 - moveable

Preconditions:
```
(and
    (hypothetical ?var0)
    (is_log ?var2)
    (equipped ?var2 ?var1)
)
```

Effects:
```
(and
    (inventory ?var0)
    (is_planks ?var0)
    (handsfree ?var1)
    (not (equipped ?var2 ?var1))
    (not (hypothetical ?var0))
    (not (is_log ?var2))
)
```
, Parameters:
1. ?loc - cells
2. ?s - swords

Preconditions:
```
(and
    (at-hero ?loc)
    (at-sword ?s ?loc)
    (arm-free)
)
```

Effects:
```
(and
    (holding ?s)
    (not (at-sword ?s ?loc))
    (not (arm-free))
)
```
, source_sentence: Context: Translate the given natural language description into an action schema that includes the parameters, preconditions, and effects. Ensure that only the provided predicates are used to construct the preconditions and effects.
Question: Here is the task.
A natural language description of the domain
Domain information: Help the hero to get out of dungeon! A hero woke up in a dungeon full of monsters and traps (perhaps the party last night went wrong...) and needs your help to get out.  Here are basic facts for the dungeon domain: - The dungeon contains rooms that are **connected** by corridors (dungeon can thus be represented by undirected graph) - each room can be **empty**, or can have a **monster** in it, or can have a **trap** in it, or can have a **sword** in it - one of the empty rooms is the **goal**: it has an exit, so the hero can escape

A list of available predicates
1. (at-hero ?loc - cells) ;;  Hero's cell location
2. (at-sword ?s - swords ?loc - cells) ;; Sword cell location
3. (has-monster ?loc - cells) ;; Indicates if a cell location has a monster
4. (has-trap ?loc - cells) ;; Indicates if a cell location has a trap
5. (is-destroyed ?obj) ;; Indicates if a chell or sword has been destroyed
6. (connected ?from ?to - cells) ;; connects cells
7. (arm-free) ;; Hero's hand is free
8. (holding ?s - swords) ;; Hero's holding a sword
9. (trap-disarmed ?loc) ;; It becomes true when a trap is disarmed

Action Description: Hero can move if the - hero is at current location - cells are connected, - there is no trap in current loc, and - destination does not have a trap/monster/has-been-destroyed Effects move the hero, and destroy the original cell. No need to destroy the sword.

Action name: move


Your answer:

sentences: Parameters:
1. ?from - cells
2. ?to - cells

Preconditions:
```
(and
    (connected ?from ?to)
    (at-hero ?from)
    (not (is-destroyed ?to))
    (not (has-trap ?from))
    (has-trap ?to)
    (arm-free)
)
```

Effects:
```
(and
    (at-hero ?to)
    (is-destroyed ?from)
    (not (at-hero ?from))
)
```
, Parameters:
1. ?from - cells
2. ?to - cells

Preconditions:
```
(and
    (is-destroyed ?from)
    (connected ?from ?to)
    (at-hero ?from)
    (not (has-trap ?from))
    (not (has-trap ?to))
    (not (has-monster ?to))
)
```

Effects:
```
(and
    (not (is-destroyed ?to))
    (at-hero ?to)
    (not (at-hero ?from))
)
```
, Parameters:
1. ?from - cells
2. ?to - cells

Preconditions:
```
(and
    (connected ?from ?to)
    (at-hero ?from)
    (not (has-trap ?from))
    (not (is-destroyed ?to))
    (not (has-trap ?to))
    (not (has-monster ?to))
)
```

Effects:
```
(and
    (at-hero ?to)
    (is-destroyed ?from)
    (not (at-hero ?from))
)
```
, source_sentence: Context: Translate the given natural language description into an action schema that includes the parameters, preconditions, and effects. Ensure that only the provided predicates are used to construct the preconditions and effects.
Question: Here is the task.
A natural language description of the domain
Domain information: Help the hero to get out of dungeon! A hero woke up in a dungeon full of monsters and traps (perhaps the party last night went wrong...) and needs your help to get out.  Here are basic facts for the dungeon domain: - The dungeon contains rooms that are **connected** by corridors (dungeon can thus be represented by undirected graph) - each room can be **empty**, or can have a **monster** in it, or can have a **trap** in it, or can have a **sword** in it - one of the empty rooms is the **goal**: it has an exit, so the hero can escape

A list of available predicates
1. (at-hero ?loc - cells) ;;  Hero's cell location
2. (at-sword ?s - swords ?loc - cells) ;; Sword cell location
3. (has-monster ?loc - cells) ;; Indicates if a cell location has a monster
4. (has-trap ?loc - cells) ;; Indicates if a cell location has a trap
5. (is-destroyed ?obj) ;; Indicates if a chell or sword has been destroyed
6. (connected ?from ?to - cells) ;; connects cells
7. (arm-free) ;; Hero's hand is free
8. (holding ?s - swords) ;; Hero's holding a sword
9. (trap-disarmed ?loc) ;; It becomes true when a trap is disarmed

Action Description: **Disarm a trap** – if there is a trap in the room the hero is in and the hero is empty-handed (does not hold a sword), then the hero can disarm it

Action name: disarm-trap


Your answer:

sentences: Parameters:
1. ?x - book

Preconditions:
```
(and
    (accessible ?x)
    (on-table ?x)
    (hands-free)
)
```

Effects:
```
(and
    (not (on-table ?x))
    (not (accessible ?x))
    (not (hands-free))
    (holding ?x)
)
```
, Parameters:
1. ?loc - cells

Preconditions:
```
(and
    (at-hero ?loc)
    (arm-free)
    (has-trap ?loc)
)
```

Effects:
```
(and
    (trap-disarmed ?loc)
    (not (has-trap ?loc))
)
```
, Parameters:
1. ?from - cells
2. ?to - cells

Preconditions:
```
(and
    (connected ?from ?to)
    (at-hero ?from)
    (not (has-trap ?from))
    (not (is-destroyed ?to))
    (not (has-trap ?to))
    (not (has-monster ?to))
)
```

Effects:
```
(and
    (at-hero ?to)
    (is-destroyed ?from)
    (not (at-hero ?from))
)
```

Likes: 1 | All-time downloads: 55
Created: 2025-05-23 07:10:46