Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Abstract
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.
Keywords
Künstliche neuronale Netze, Planungsprobleme
Cite as
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
Publication type
Research article (book contribution)
Peer reviewed
Yes
Publication status
Published
Year
2023
Book title
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Editor
Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto
Start page
97
End page
112
Volume
13160
Title of series
Lecture Notes in Computer Science
Publisher
Springer
Place
Cham
Language
English
ISBN
978-3-031-31475-9
DOI