Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Zusammenfassung
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.
Schlüsselwörter
Künstliche neuronale Netze, Planungsprobleme
Zitieren als
Dageförde, J. C., & Kuchen, H. (2023). Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. In Lopez-Garcia, P., Gallagher, J. P., & Giacobazzi, R. (Eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (pp. 97–112). Lecture Notes in Computer Science: Vol. 13160. Cham: Springer.Details
Publikationstyp
Forschungsartikel (Buchbeitrag)
Begutachtet
Ja
Publikationsstatus
Veröffentlicht
Jahr
2023
Buchtitel
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Herausgeber
Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto
Erste Seite
97
Letzte Seite
112
Band
13160
Reihe
Lecture Notes in Computer Science
Verlag
Springer
Ort
Cham
Sprache
Englisch
ISBN
978-3-031-31475-9
DOI