dc.creator | Dvořák, Filip | |
dc.date.accessioned | 2021-05-24T13:14:16Z | |
dc.date.available | 2021-05-24T13:14:16Z | |
dc.date.issued | 2015 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/68641 | |
dc.description.abstract | Název práce: Integrace plánování a rozvrhování Autor: Mgr. Filip Dvořák Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstrakt: Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, který akceptuje jazyk ANML a podporuje většinu jeho hlavních vlastností. V práci se zabýváme různými aspekty integrace zmíněných konceptů, také navrhneme novou techniku pro reformulaci plánovacích problémů do reprezentace pomocí stavových proměnných a identifikujeme přechod výkonosti mezi používaním řídkých a minimálních časových sítí. FAPE dále rozšíříme o schopnosti konání a exper- imentálně vyhodnotíme výkonnost a výhody jeho vysoké expresivity. Na závěr předvedeme FAPE jako systém, který umí plánovat i konat v experimentech v realném světě, kdy FAPE ovládá robota PR2. Klíčová slova: plánování, rozvrhování, temporální podmínky, HTN, robotika | cs_CZ |
dc.description.abstract | Title: Integrating Planning and Scheduling Author: Mgr. Filip Dvořák Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstract: The main topic of the work is the design and development of a plan- space planning system FAPE that integrates explicit time reasoning, resource reasoning with discrete resources and reservoirs and hierarchical decompositions. FAPE is the first planning system that accepts the language ANML, supporting most of its major features. We investigate different aspects of the integration, also proposing a new problem reformulation technique for the state-variable represen- tation and discovering a transition of performance between sparse and minimal temporal networks. We further extend FAPE with acting capabilities and evalu- ate the runtime properties and benefits of its expressiveness. Finally, we present FAPE as a planning and acting system in real world experiments, where FAPE operates a PR2 robot. Keywords: planning, scheduling, temporal constraints, HTN, robotics | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.subject | planning | en_US |
dc.subject | scheduling | en_US |
dc.subject | temporal constraints | en_US |
dc.subject | HTN | en_US |
dc.subject | robotics | en_US |
dc.subject | plánování | cs_CZ |
dc.subject | rozvrhování | cs_CZ |
dc.subject | temporální podmínky | cs_CZ |
dc.subject | HTN | cs_CZ |
dc.subject | robotika | cs_CZ |
dc.title | Integrating Planning and Scheduling | en_US |
dc.type | rigorózní práce | cs_CZ |
dcterms.created | 2015 | |
dcterms.dateAccepted | 2015-03-06 | |
dc.description.department | Katedra teoretické informatiky a matematické logiky | cs_CZ |
dc.description.department | Department of Theoretical Computer Science and Mathematical Logic | en_US |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.identifier.repId | 162154 | |
dc.title.translated | Integrace plánování a rozvrhování | cs_CZ |
dc.identifier.aleph | 001990702 | |
thesis.degree.name | RNDr. | |
thesis.degree.level | rigorózní řízení | cs_CZ |
thesis.degree.discipline | Teoretická informatika | cs_CZ |
thesis.degree.discipline | Theoretical computer science | en_US |
thesis.degree.program | Informatics | en_US |
thesis.degree.program | Informatika | cs_CZ |
uk.thesis.type | rigorózní práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra teoretické informatiky a matematické logiky | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Theoretical Computer Science and Mathematical Logic | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Teoretická informatika | cs_CZ |
uk.degree-discipline.en | Theoretical computer science | en_US |
uk.degree-program.cs | Informatika | cs_CZ |
uk.degree-program.en | Informatics | en_US |
thesis.grade.cs | Uznáno | cs_CZ |
thesis.grade.en | Recognized | en_US |
uk.abstract.cs | Název práce: Integrace plánování a rozvrhování Autor: Mgr. Filip Dvořák Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstrakt: Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, který akceptuje jazyk ANML a podporuje většinu jeho hlavních vlastností. V práci se zabýváme různými aspekty integrace zmíněných konceptů, také navrhneme novou techniku pro reformulaci plánovacích problémů do reprezentace pomocí stavových proměnných a identifikujeme přechod výkonosti mezi používaním řídkých a minimálních časových sítí. FAPE dále rozšíříme o schopnosti konání a exper- imentálně vyhodnotíme výkonnost a výhody jeho vysoké expresivity. Na závěr předvedeme FAPE jako systém, který umí plánovat i konat v experimentech v realném světě, kdy FAPE ovládá robota PR2. Klíčová slova: plánování, rozvrhování, temporální podmínky, HTN, robotika | cs_CZ |
uk.abstract.en | Title: Integrating Planning and Scheduling Author: Mgr. Filip Dvořák Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstract: The main topic of the work is the design and development of a plan- space planning system FAPE that integrates explicit time reasoning, resource reasoning with discrete resources and reservoirs and hierarchical decompositions. FAPE is the first planning system that accepts the language ANML, supporting most of its major features. We investigate different aspects of the integration, also proposing a new problem reformulation technique for the state-variable represen- tation and discovering a transition of performance between sparse and minimal temporal networks. We further extend FAPE with acting capabilities and evalu- ate the runtime properties and benefits of its expressiveness. Finally, we present FAPE as a planning and acting system in real world experiments, where FAPE operates a PR2 robot. Keywords: planning, scheduling, temporal constraints, HTN, robotics | en_US |
uk.file-availability | V | |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logiky | cs_CZ |
thesis.grade.code | U | |
uk.publication-place | Praha | cs_CZ |
uk.thesis.defenceStatus | U | |
dc.identifier.lisID | 990019907020106986 | |