Description and evaluation of production goals

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

Description and evaluation of production goals

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

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

Project

<a href="/en/project/EF16_026%2F0008432" target="_blank" >EF16_026/0008432: Cluster 4.0 - Methodology of System Integration</a><br>

Continuities

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

Publication year

2023

Confidentiality

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

Article name in the collection

22nd IFAC World Congress

ISBN

—

ISSN

2405-8963

e-ISSN

2405-8963

Number of pages

7

Pages from-to

2982-2988

Publisher name

Elsevier Ltd

Place of publication

Oxford

Event location

Yokohama

Event date

Jul 9, 2023

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—