Logo des Repositoriums

Auflistung nach Schlagwort "Constraints"

1 - 3 von 3
  • Zeitschriftenartikel
    Constraint Based World Modeling for Multi Agent Systems in Dynamic Environments
    (KI - Künstliche Intelligenz: Vol. 24, No. 4, 2010) Göhring, Daniel
    Mobile autonomous robotics is a young and complex field of research. Since the world is uncertain and since robots can only gain partial information about it, probabilistic navigation algorithms became popular whenever a robot has to localize itself or surrounding objects. Furthermore, cooperative exploration and localization approaches have become very relevant lately, as robots begin to act not just alone but in groups. Within my thesis I analyze, how information can be exchanged between robots in order to improve their world model. Therefore I examine how communication of spatial percept-relations can help to improve the accuracy of the world model, in particular when the robots are poorly self-localized. First, percept-relations are being used to increase the modeling accuracy in static situations, later the approach is extended to moving objects. After focussing on suitable sensory data for communication, in the second part I present a Bayesian modeling approach, using constraint satisfaction techniques for complex belief functions. Constraint based localization methods will be analyzed in order to have a group of robots efficiently localized and to model their environment. The presented algorithms were implemented and tested within the RoboCup Standard Platform League (SPL).
  • 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.