Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Dageförde, Jan C.; Kuchen, Herbert
Forschungsartikel (Buchbeitrag) | Peer reviewedZusammenfassung
Die Münster Logic-Imperative Sprache (Muli) ist eine restriktive, objektorientierte Programmiersprache, die sich für die Entwicklung von Anwendungen eignet, die die straffenlogische Suche mit deterministischer, zwingender Ausführung verbinden. Zum Beispiel kann Muli Graphstrukturen von neuronalen Netzen mittels nicht-deterministischer Suche erzeugen, die mit der sofortigen Auswertung jedes generierten Netzwerks in Bezug auf seine Fitness miteinander verbunden sind. Darüber hinaus kann es für Lösungen für Planungsprobleme genutzt werden. In diesem Papier erklären und zeigen wir, wie diese Anwendungsprobleme mit Muli gelöst werden.
Details zur Publikation
Herausgeber*innen: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto
Buchtitel: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Seitenbereich: 97-112
Verlag: Springer
Erscheinungsort: Cham
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 13160
Status: Veröffentlicht
Veröffentlichungsjahr: 2023 (17.05.2023)
Sprache, in der die Publikation verfasst ist: Englisch
ISBN: 978-3-031-31475-9
Stichwörter: Künstliche neuronale Netze, Planungsprobleme
Autor*innen der Universität Münster
| Dageförde, Jan | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |
| Kuchen, Herbert | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) European Research Center for Information Systems (ERCIS) |