Logo des Repositoriums
 

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

Autor*innen mit den meisten Dokumenten  

Auflistung nach:

Neueste Veröffentlichungen

1 - 10 von 19
  • 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.
  • Zeitschriftenartikel
    Integration von Programmieren und Lernen in eine Steuerungssprache für autonome Roboter
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Kirsch, Alexandra
    Durch den zunehmenden Einsatz von Robotern in Alltagsumgebungen wird die Fähigkeit sich durch Lernen an dynamische Umgebungen anzupassen immer wichtiger. Die Robot Learning Language (RoLL) schafft die Grundlage für eine nahtlose Integration von Lernen in Robotersteuerungsprogramme. Sie enthält Konstrukte zum Definieren und automatischen Sammeln von Erfahrungsdaten sowie zum Definieren und Ausführen von Lernproblemen. Durch ihre Modularität kann RoLL mit verschiedenen Lernalgorithmen verwendet werden.
  • Zeitschriftenartikel
    Die Evolution der Programmiersprachen der KI
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Hofstedt, Petra
    Neben Prolog und Lisp als wichtigste historische Repräsentanten der Programmiersprachen der Künstlichen Intelligenz hat sich mit der Entwicklung neuer Schwerpunkte innerhalb der KI auch ein breites Spektrum an KI-Sprachen herausgebildet, darunter constraint-basierte Sprachen, Multiparadigmen-Sprachen, die Sprachen des Semantic Web, Planungssprachen, Agentensprachen, und Sprachen zum Einsatz in der Robotik. Wir skizzieren in diesem Übersichtsartikel einen Ausschnitt der historischen Entwicklung und geben eine Einführung für diesen Themenschwerpunkt.
  • Zeitschriftenartikel
    Agreeing on Role Adoption in Open Organisations
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Aldewereld, Huib; Dignum, Virginia; Jonker, Catholijn M.; Riemsdijk, M. Birna
    The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This requires that agents are able to find out about the organisational purpose and description and decide on its appropriateness for their own objectives. Organisational modeling languages are used to specify an agent system in terms of its roles, organizational structure, norms, etc. Agents take part in organisations by playing one or more of the specified roles for which they have the necessary capabilities.In this paper, we investigate the process of role adoption in the context of the well-known OperA organisational modelling language. In OperA, each organisation has a gatekeeper role responsible for admitting agents to the organisation. Agents playing the role of gatekeeper can interact with agents that want to enter the organisation in order to come to agreement on role adoption. That is, negotiate which roles they will play and under which conditions they will play them. This is possible by evaluating capability requirements for roles. We extend OperA to allow for the specification of role capabilities. This approach will be illustrated using the Blocks World for Teams (BW4T) domain.
  • Zeitschriftenartikel
    Platas—Integrating Planning and the Action Language Golog
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Claßen, Jens; Röger, Gabriele; Lakemeyer, Gerhard; Nebel, Bernhard
    Action programming languages like Golog allow to define complex behaviors for agents on the basis of action representations in terms of expressive (first-order) logical formalisms, making them suitable for realistic scenarios of agents with only partial world knowledge. Often these scenarios include sub-tasks that require sequential planning. While in principle it is possible to express and execute such planning sub-tasks directly in Golog, the system can performance-wise not compete with state-of-the-art planners. In this paper, we report on our efforts to integrate efficient planning and expressive action programming in the Platas project. The theoretical foundation is laid by a mapping between the planning language Pddl and the Situation Calculus, which is underlying Golog, together with a study of how these formalisms relate in terms of expressivity. The practical benefit is demonstrated by an evaluation of embedding a Pddl planner into Golog, showing a drastic increase in performance while retaining the full expressiveness of Golog.
  • Zeitschriftenartikel
    Verwendung von Lisp in KI-Projekten
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Betz, Christian; Hotz, Lothar
    In diesem Beitrag werden anhand von anwendungsorientierten Forschungsprototypen aus den Bereichen Konfigurierung, Diagnose und Szeneninterpretation wesentliche Lisp-Merkmale vorgestellt. Weiterhin wird ausgehend von den gemachten Erfahrungen eine Brücke zu aktuellen Entwicklungen aus dem Bereich der funktionalen Programmiersprachen geschlagen.
  • Zeitschriftenartikel
    In memoriam John McCarthy
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012)
  • Zeitschriftenartikel
    Anfragesprachen neu erdacht
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Bry, François
    Zum Erfolg der relationalen Datenbanken haben ihre logik-basierten Anfragen deswegen beigetragen, weil sie relativ leicht zu optimieren und auszudrücken sind. Relationale Anfragen eignen sich aber kaum zur Datenextraktion im Web und aus Ereignissströmen und können nicht so gut mit RDF umgehen. Dieser Artikel stellt prototypische Anfragesprachen vor, die das deklarative logik-basierte Paradigma der relationalen Anfragen auf verschiedene Weisen an das Web und an Ereignisströme anpassen: Xcerpt für unvollständige Web-Anfragen, KWQL für ein Spektrum von Web-Anfragetypen von einfachen Schlüsselwort-Anfragen bis hin zu Strukturanfragen, KWRL zur Begründungsverwaltung, KWRL zur Begründungsverwaltung, XChangeEQ für Ereignisanfragen, RDFLog zur uneingeschränkten Behandlung von Blank Nodes in RDF-Anfragen und RPL für Pfadanfragen in RDF-Graphen.
  • Zeitschriftenartikel
    Schema-Guided Inductive Functional Programming
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Hofmann, Martin
    Inductive Program Synthesis or Inductive Programming (IP) is the task of generating (recursive) programs from an incomplete specification, such as input/output (I/O) examples. All known IP algorithms can be described as search in the space of all candidate programs, with consequently exponential complexity. To constrain the search space and guide the search traditionally program schemes are used, usually given a priori by an expert user. Consequently, all further given data is interpreted w.r.t. this schema which now almost exclusively decides on success and failure, depending on whether it fits the data or not. Instead of trying to fit the data to a given schema indiscriminately, in my thesis (Schema-guided inductive functional programmin through automatic detection of type morphisms, 2010) I proposed to utilise knowledge about data types to choose and fit a suitable schema to the data! Recursion operators associated with data type definitions are well known in functional programming, but less in IP. I showed how to exploit universal properties of type morphisms which may be detected in the given I/O examples. This technique allows to introduce generic recursion schemes, such as catamorphisms or paramorphisms, on arbitrary inductive data types in the analytical inductive functional programming system Igor II which was already presented here in a previous issue (Kitzelmann in Künstl. Intell. 25:179–182, 2011).
  • Zeitschriftenartikel
    Interview with Pascal Van Hentenryck on Constraint-Based Programming
    (KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Hofstedt, Petra; König, Thomas