======Zaproszenie na obronę=====\\ ^ DZIEKAN i RADA WYDZIAŁU ELEKTROTECHNIKI, AUTOMATYKI, INFORMATYKI i INŻYNIERII BIOMEDYCZNEJ AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE ^^ | zapraszają na \\ publiczną dyskusję nad rozprawą doktorską \\ \\ //dr. Krystiana Jobczyka// || | **TEMPORAL PLANNING WITH FUZZY CONSTRAINTS AND PREFERENCES** || ^ Termin:| 19 grudnia 2017 roku o godz. 11:00 | ^ Miejsce:| pawilon B-1, sala 4 \\ Al. Mickiewicza 30, 30-059 Kraków | ^ PROMOTORZY:| Prof. dr hab. inż. Antoni Ligęza -- Akademia Górniczo-Hutnicza im.S. Staszica w Krakowie | ^::: | Prof. DHR Maroua Bouzid - Universite de Caen Normandie | ^ RECENZENCI:| Dr hab. Bożena Woźna-Szcześniak, prof. AJD – Akademia im. J. Długosza w Częstochowie | ^ ::: | Dr David Camacho-Fernandez, profesor asociado en UAM, Universidad Autonoma de Madrid | | Z rozprawą doktorską i opiniami recenzentów można się zapoznać \\ w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30 || \\ \\ ====== Recenzje ====== * dr hab. Bożena Woźna-Szcześniak, prof. nzw. AJD {{:2017:jobczyk:recenzja_1.pdf|Recenzja nr 1}} \\ * Dr. David Camacho Fernandez, Uniwersytet Autonomiczny w Madrycie, UAM {{:2017:jobczyk:recenzja_2_.pdf|Recenzja nr 2}}, {{:2017:jobczyk:tlumaczenie_recenzji_2.pdf|Tłumaczenie Recenzji nr 2}} ====== Streszczenie ====== {{:2017:jobczyk:Streszczenie.pdf}} ====== Autoreferat ====== {{:2017:jobczyk:StreszczenieRozszerzoneAng.pdf}} Tematem rozprawy jest szeroko rozumiany problem planowania temporalnego z ograniczeniami typu rozmytego i preferencjami. Planowanie temporalne stanowi rozszerzenie koncepcji planowania klasycznego (którego celem jest określenie ciągu akcji jakie należy wykonać, aby przejść z zadanego stanu początkowego do stanu końcowego, w którym zrealizowany jest zadany cel) uwzględniające aspekty czasowe. Jeżeli ograniczenia czasowe (temporalne) - nałożone na akcje nie są ścisłe (twarde), to można je definiować za pomocą zbiorów rozmytych. Ponadto, ograniczenia temporalne można osłabić - mowa wówczas o ograniczeniach słabych, które - w przeciwieństwie do ograniczeń "twardych" nie muszą zostać w planowaniu spełnione. Wreszcie, tak rozumiane planowanie temporalne rozważa się wraz z tzw. „preferencjami”, które wprowadzają pewną racjonalność do planowania i wyrażają nasze intencje co do sposobów realizacji zadania planowania przez agentów lub ich systemy. Niestety, paradygmaty planowania bywają zazwyczaj rozwijane na sposób metodologiczny, zarówno w paradygmacie planowania jako spełniania formuł (metoda Putnama-Davisa), jak i paradygmacie przeszukiwania grafu (jak np. metoda STRIPS) i - w konsekwencji - nie posiadają określonej dziedziny przedmiotowej w postaci pewnego (choćby przybliżonego) spectrum bazowych i paradygmatycznych problemów. Wreszcie, rozważane w planowaniu ograniczenia temporalne posiadają wyłącznie jakościowy albo wyłącznie ilościowy charakter. W szczególności, ważna klasa takich ograniczeń - tzw. relacje Allenowskie między interwałami - posiada tylko jakościowy charakter. Rodzi to pytanie, czy istnieje możliwość wyrażenia ich w nowych terminach, pozwalających wydobyć także ich ilościową naturę. Te i inne trudności leżą u podstaw problemów badawczych tej tezy, w ramach której proponowane jest swoiste remedium na wyżej opisane trudności. W szczególności zaproponowano w niniejszej pracy: **Rozdział 1**. definicje dwóch paradygmatycznych problemów planowania temporalnego typu: //Czasowy Problem Komiwojażera// oraz //Wielo-agentowy Problem Harmonogramowania i Planowania// jako przedmiotowej bazy dla planowania temporalnego z ograniczeniami rozmytymi. **Rozdział 2** reprezentację rozmytych relacji Allena, definiujących rozmyte ograniczenia temporalne, przez normy z odpowiednich funkcji splotu, w przestrzeni Banacha funkcji całkowalnych w sensie Lebesgue’a. **Rozdział 3** rozszerzenie dwóch standardowych procedur planowania (procedury STRIPS i algorytmu Davisa-Putnama) o rozmyte ograniczenia temporalne i preferencje. **Rozdział 4** reprezentację rozmytych ograniczeń temporalnych z rozmytością wprowadzoną przez preferencje w terminach preferencyjnej logiki Halperna-Shohama (HS), **Rozdział 5** ogólną metodę konstrukcji hybrydowego kontrolera dla planowania czasowego z preferencjami. Metoda składa się z kilku etapów. Rozpoczyna się od opisu otoczenia kontrolera (systemu) i specyfikacji w odpowiednim języku formalnym (na przykład, w Liniowej Logice temporalnej (LTL) oraz w fragmencie logiki HS, który może być reprezentowany przez automat skończenie stanowy). Następnie opisy specyfikacji i systemu są tłumaczone na odpowiednie automaty Büchi’ego, które będą służyć do budowy odpowiedniego automatu produktowego. Metoda została zilustrowana na przykładzie konkretnego kontrolera, którego automat produktowy został zaimplementowany w języku PROLOG. **Rozdział 6**. próbę połączenia podejść z Rozdziałów 2 i 4 w kontekście konstrukcji kontrolera planu. Podstawą konstrukcji jest podejście logiczne, ale uzupełniają ją elementy analityczne – trajektorie ruchu agenta reprezentowane są przez odpowiednie funkcje w przestrzeniach Sobolewa. Praca wykazuje metodologiczną niejednorodność i stosuje zarówno metody metody typowe dla automatycznego planowania (takie jak STRIPS czy metoda Putnama-Davisa), jak i metody formalne współczesnej logiki nieklasycznej w odniesieniu do systemów Liniowej Logiki Temporalnej (LTL) oraz logiki Halperna-Shohama (HS). W sposób szczególny, szersze zastosowanie znajdują metody weryfikacji modelowej oraz formalnej konstrukcji automatów skończenie stanowych. ====== Praca Doktorska ====== {{:2017:jobczyk:TheseKJobczyk.pdf}} ====== Publikacje Autora ====== - Krzysztof Kluza, Piotr Wisniewski, Krystian Jobczyk, Antoni Ligeza, Anna Suchenia:**Comparison of Selected Modeling Notations for Process, Decision and System Modeling.** FedCSIS 2017: 1095-1098 - Krystian Jobczyk, Antoni Ligeza:**STRIPS in Some Temporal-Preferential Extension.** ICAISC (1) 2017: 241-252 - Krystian Jobczyk, Antoni Ligeza:**Dynamic Epistemic Preferential Logic of Action.** ICAISC (2) 2017: 243-254 - Krystian Jobczyk, Antoni Ligeza:**Multi-valued Extension of Putnam-Davis Procedure.** ICAISC (2) 2017: 454-465 - Anna Suchenia, Krzysztof Kluza, Krystian Jobczyk, Piotr Wisniewski, Michal Wypych, Antoni Ligeza: **Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models.** ICAISC (2) 2017: 589-598 - Krystian Jobczyk, Antoni Ligeza:**A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences.** FedCSIS 2016: 61-70 - Krzysztof Kluza, Krystian Jobczyk, Piotr Wisniewski, Antoni Ligeza:**Overview of Time Issues with Temporal Logics for Business Process Models.** FedCSIS 2016: 1115-1123 - Krystian Adam Jobczyk, Antoni Ligeza:**Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences.** FUZZ-IEEE 2016: 217-224 - Krystian Adam Jobczyk, Antoni Ligeza:**Towards a new convolution-based approach to the specification of STPU-solutions.** FUZZ-IEEE 2016: 782-789 - Krystian Jobczyk, Antoni Ligeza, Krzysztof Kluza:**Selected Temporal Logic Systems: An Attempt at Engineering Evaluation.** ICAISC(1) 2016: 219-229 - Krystian Jobczyk, Antoni Ligeza:**Why Systems of Temporal Logic Are Sometimes (Un)useful?** ICAISC (2) 2016: 306-316 - Krystian Jobczyk, Antoni Ligeza, Krzysztof Kluza:**New Integral Approach to the Specification of STPU-Solutions.** ICAISC (2) 2016: 317-328 - Krystian Jobczyk, Antoni Ligeza, Maroua Bouzid, Jerzy Karczmarczuk:**Comparative Approach to the Multi-Valued Logic Construction for Preferences.** ICAISC (1) 2015: 172-183 - Krystian Jobczyk, Antoni Ligeza:**Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL.** INISTA 2015: 1-8 - Krystian Jobczyk, Antoni Ligeza, Jerzy Karczmarczuk:**Fuzzy-temporal approach to the handling of temporal interval relations and preferences.** INISTA 2015: 1-8 - Krystian Jobczyk, Maroua Bouzid, Antoni Ligeza, Jerzy Karczmarczuk:**Fuzzy Logic for Preferences expressible by convolutions.** ECAI 2014: 1041-1042