Description and evaluation of production goals

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F23%3A00372500" target="_blank" >RIV/68407700:21730/23:00372500 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1016/j.ifacol.2023.10.1423" target="_blank" >https://doi.org/10.1016/j.ifacol.2023.10.1423</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ifacol.2023.10.1423" target="_blank" >10.1016/j.ifacol.2023.10.1423</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Description and evaluation of production goals

Popis výsledku v původním jazyce

Robotic cells in industrial automation use different programming and description languages, which are typically almost hard-wired in the program solutions and do not allow a goal product to be changed easily. Using a unification description language allows focusing on the solution itself. An independent description of capabilities and intentions offers a way to allow for changing the goal and also for distributing the process to different locations. Moreover, based on the description, a knowledge model can be created to check if a solution exists for the defined goal and resource capabilities. If the knowledge model is implemented in a database, the check can be performed in a very Efficient way, which allows it to be used in real-life production scenarios. A reasoner tries to reach the solution-defined goal based on an initial state and actions following the predicates’ rules. Using the database to search only for the first possible solution, it can be checked if the defined domain model can be realized. The check can be done automatically and much faster than using a planner. In an implementation in our Testbed for Industry 4.0 at CIIRC/CTU Prague, we employ a scalable system based on a PDDL description and an automated translation to TypeDB to efficiently compute production plans for changing goals, tools and resources.

Název v anglickém jazyce

Description and evaluation of production goals

Popis výsledku anglicky

Robotic cells in industrial automation use different programming and description languages, which are typically almost hard-wired in the program solutions and do not allow a goal product to be changed easily. Using a unification description language allows focusing on the solution itself. An independent description of capabilities and intentions offers a way to allow for changing the goal and also for distributing the process to different locations. Moreover, based on the description, a knowledge model can be created to check if a solution exists for the defined goal and resource capabilities. If the knowledge model is implemented in a database, the check can be performed in a very Efficient way, which allows it to be used in real-life production scenarios. A reasoner tries to reach the solution-defined goal based on an initial state and actions following the predicates’ rules. Using the database to search only for the first possible solution, it can be checked if the defined domain model can be realized. The check can be done automatically and much faster than using a planner. In an implementation in our Testbed for Industry 4.0 at CIIRC/CTU Prague, we employ a scalable system based on a PDDL description and an automated translation to TypeDB to efficiently compute production plans for changing goals, tools and resources.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/EF16_026%2F0008432" target="_blank" >EF16_026/0008432: Klastr 4.0 - Metodologie systémové integrace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

22nd IFAC World Congress

ISBN

—

ISSN

2405-8963

e-ISSN

2405-8963

Počet stran výsledku

7

Strana od-do

2982-2988

Název nakladatele

Elsevier Ltd

Místo vydání

Oxford

Místo konání akce

Yokohama

Datum konání akce

9. 7. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—