| Generische algorithmische Methoden für Modal- und Hybridlogiken Modallogiken und verschiedene Erweiterungen der modalen Grundsprache wie z.B. Hybridlogiken, die die logische Behandlung individueller Zustände erlauben, oder Fixpunktlogiken für temporale Spezifikation spielen in der Informatik und insbesondere in Teilgebieten wie der Analyse reaktiver Systeme und der Wissensrepräsentation traditionell eine zentrale Rolle. In neuerer Zeit ist hierbei eine Tendenz zu semantischen Konzepten zu beobachten, die über die klassische relationale Semantik hinausgehen, etwa zu spielbasierten, probabilistischen oder präferentiellen Systemen; hierdurch ergeben sich dann Logiken wie z.B.\ alternierende Temporallogik, probabilistische Beschreibungslogiken oder nichtmonotone Konditionallogiken, deren Eigenschaften von denen der rein relationalen Modallogik stark abweichen. Die koalgebraische Logik stellt für solche Logiken einen einheitlichen semantischen Rahmen zur Verfügung, der überraschenderweise auch eine einheitliche algorithmische Behandlung und daran anschließend eine einheitliche Komplexitätsanalyse erlaubt. Ziel des aktuellen Projekts ist die Erweiterung und Vertiefung der algorithmischen Grundlagen der koalgebraischen Logik, insbesondere hinsichtlich iterativer Logiken, Fixpunktlogiken, entscheidbarer Fragmente der koalgebraischen Prädikatenlogik und mehrdimensionaler koalgebraischer Logiken. In Verbindung mit generischen heuristischen Optimierungsstrategien entsteht auf diese Weise ein effizientes generisches Deduktionswerkzeug für koalgebraische Temporal- und Beschreibungslogiken. | Projektleitung:
Prof. Dr. Lutz Schröder, Dr. Daniel Gorin
Beteiligte:
Dr. Mihai Codescu
Stichwörter:
Koalgebra; Modallogik; Hybridlogik; Komplexität; Tableaux
Laufzeit: 1.5.2011 - 31.10.2014
Förderer:
Deutsche Forschungsgemeinschaft
Kontakt:
Schröder, Lutz
Telefon 09131/85-64059, Fax 09131/85-64055, E-Mail: lutz.schroeder@fau.de
| | Publikationen |
|---|
Litak, Tadeusz ; Pattinson, Dirk ; Sano, Katsuhiko ; Schröder, Lutz: Coalgebraic Predicate Logic. In: Czumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, Roger (Hrsg.) : Automata, Languages, and Programming (39th International Colloquium on Automata, Languages, and Programming , ICALP 2012 University of Warwick 09-13.07.2012). Berlin/Heidelberg : Springer, 2012, S. 299-311. (Lecture Notes in Ciomputer Science Bd. 7392) - ISBN 9783642315848
[doi>10.1007/978-3-642-31585-5_29] | | Gorin, Daniel ; Schröder, Lutz: Extending ALCQ With Bounded Self-Reference. In: Ghilardi, Silvio ; Moss, Lawrence (Hrsg.) : Advances in Modal Logic (Advances in Modal Logic 2012 Kopenhagen 22.-25.08.2012). London : College Publications, 2012, S. 300-316. (Advances in Modal Logic Bd. 9) - ISBN 9781848900684 | Gorin, Daniel ; Schröder, Lutz: Narcissists Are Easy, Stepmothers Are Hard. In: Birkedal, Lars (Hrsg.) : Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures (15th International Conference on Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures, FOSSACS 2012 Tallinn 28.03-30.03.2012). Berlin/Heidelberg : Springer-Verlag, 2012, S. 240-254. (Lecture Notes in Computer Science Bd. 7213) - ISBN 978-3-642-28728-2
[doi>10.1007/978-3-642-28729-9_16] | | Pattinson, Dirk ; Schröder, Lutz (Hrsg.): Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012). (11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012) Tallinn, Estland 31.03.-01.04.2012) Berlin : Springer-Verlag, 2012 (Lecture Notes in Computer Science Bd. 7399) . - 268 Seiten. ISBN 9783642327834. ISSN 0302-9743 | Carreiro, Facundo ; Gorin, Daniel ; Schröder, Lutz: Coalgebraic Announcement Logics. In: Fomin, Fedor V. ; Freivalds, Rusins ; Kwiatkowska, Marta Z. ; Peleg, David (Hrsg.) : Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II. Berlin : Springer, 2013, S. 101-112. (Lecture Notes in Computer Science Bd. 7966) - ISBN 978-3-642-39211-5
[doi>10.1007/978-3-642-39212-2_12] | | Gorin, Daniel ; Schröder, Lutz ; Wißmann, Thorsten: Reasoning with Bounded Self-reference Using Logical Interpreters. In: Eiter, Thomas ; Glimm, Birte ; Kazakov, Yevgeny ; Krötzsch, Markus (Hrsg.) : Proc. 26th International Workshop on Description Logics, DL 2013. Aachen : CEUR-WS.org, 2013, S. 689–703. (CEUR Workshop Proceedings Bd. 1014) | Gorin, Daniel ; Schröder, Lutz: Simulations and Bisimulations For Coalgebraic Modal Logics. In: Heckel, Reiko ; Milius, Stefan (Hrsg.) : 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013. Berlin/Heidelberg : Springer, 2013, S. 253–266. Bd. 8089
[doi>10.1007/978-3-642-40206-7_19] | | Kulacka, Agnieszka ; Pattinson, Dirk ; Schröder, Lutz: Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. In: Rossi, Francesca (Hrsg.) : Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013. Palo Alto : IJCAI/AAAI, 2013, S. To appear. | Litak, Tadeusz ; Pattinson, Dirk ; Sano, Katsuhiko: Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. In: Bezhanishvili, Guram ; Löbner, Sebastian ; Marra, Vincenzo ; Richter, Frank (Hrsg.) : Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011. Bd. 7758. Berlin/Heidelberg : Springer, 2013, S. 257-276. (Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011) - ISBN 978-3-642-36975-9
[doi>10.1007/978-3-642-36976-6_16] | Gorin, Daniel ; Pattinson, Dirk ; Schröder, Lutz ; Widmann, Florian ; Wißmann, Thorsten: COOL -- A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). In: Demri, Stephane ; Kapur, Deepak ; Weidenbach, Christoph (Hrsg.) : Automated Reasoning (7th International Joint Conference on Automated Reasoning (IJCAR) Wien 19.-22.07.2014). Berlin : Springer, 2014, S. 396-402. (Lecture Notes in Artificial Intelligence Bd. 8562) - ISBN 978-3-319-08587-6
[doi>10.1007/978-3-319-08587-6_31] | | Gorin, Daniel ; Schröder, Lutz: Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics. In: Rajeev, Goré ; Kooi, Barteld ; Kurucz, Agi (Hrsg.) : Proc. Advances in Modal Logic, AiML 2014 (AiML 2014 Groningen 5.-8.8.2014). London : College Publications, 2014, S. 254-273. - ISBN 978-1-84890-151-3 |
|