Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming

Dageförde, Jan C.; Kuchen, Herbert


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



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