Logo des Repositoriums

Künstliche Intelligenz 26(1) - März 2012

https://dl.gi.de/handle/20.500.12116/11090
Auflistung nach:

Auflistung Künstliche Intelligenz 26(1) - März 2012 nach Schlagwort "Constraints"

1 - 2 von 2
  • Zeitschriftenartikel
    Constraint-basierte Programmiersprachen
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) König, Thomas; Hofstedt, Petra
    Dieser Beitrag zeichnet zunächst kurz die in den logischen Sprachen begründete Geschichte der Constraint-Programmierung nach. Einige einführende Beispiele erläutern die Grundbegriffe und stellen den grundlegenden deklarativen Modellierungsansatz dar. Im Hauptteil des Beitrags werden einige moderne und verbreitete Systeme zur Constraint-basierten Programmierung vorgestellt – sowohl neue Programmiersprachen als auch Bibliotheken für existierende Sprachen. Ein durchgängiges Beispiel veranschaulicht dabei die Unterschiede und Vorzüge der verschiedenen Ansätze.
  • Zeitschriftenartikel
    HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Ueda, Kazunori; Ogawa, Seiji
    LMNtal (pronounced “elemental”) is a language model based on hierarchical graph rewriting that uses point-to-point links to represent connectivity and membranes to represent hierarchy. LMNtal was designed to be a substrate language of various computational models, especially those addressing concurrency, mobility and multiset rewriting.Although point-to-point links and membranes could be used together to represent multipoint connectivity, our experiences with LMNtal showed that hyperlinks would be an important and useful extension to the language.We have accordingly expanded LMNtal into a hierarchical hypergraph rewriting language model, HyperLMNtal. HyperLMNtal enabled concise description of computational models involving flexible and diverse forms of references between data; in particular, it enabled efficient encoding of a constraint processing language CHR in terms of both performance and computational complexity.This paper describes the design and implementation of HyperLMNtal as a case study of language evolution.