Auflistung nach:
Auflistung Künstliche Intelligenz 26(1) - März 2012 nach Erscheinungsdatum
1 - 10 von 19
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelThemenschwerpunkt „Sprachen der KI“(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Hofstedt, Petra
- ZeitschriftenartikelHochlexibles Workforce Management. Herausforderungen und Lösungsverfahren(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Günther, MaikZunehmend ist bei Unternehmen ein Trend weg von der starren Schicht- oder Dienstplanung hin zu einer auf den Personalbedarf ausgerichteten Planung festzustellen. Mit Instrumenten wie der Planung untertägiger Arbeitsplatzwechsel, der Kombination aus Arbeitszeitmodellerstellung und Einsatzplanung sowie der kombinierten Personaleinsatz- und Tourenplanung kann der Personaleinsatz sehr gut an den Personalbedarf angepasst werden. U.a. wird in dieser Arbeit an beispielhaft ausgewählten Problemstellungen untersucht, ob sich eher klassische OR-Verfahren, Metaheuristiken oder Multiagentensysteme eignen. Es zeigt sich, dass klassische OR-Verfahren keine praktikablen Rechenzeiten aufweisen. Demgegenüber erweisen sich ausgewählte Metaheuristiken als überaus gut geeignet. Multiagentensysteme sind nicht zu bevorzugen, da ausgewählte Metaheuristiken bessere Ergebnisse liefern.
- ZeitschriftenartikelConstraint-basierte Programmiersprachen(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) König, Thomas; Hofstedt, PetraDieser 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.
- ZeitschriftenartikelHyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Ueda, Kazunori; Ogawa, SeijiLMNtal (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.
- ZeitschriftenartikelIntegration von Programmieren und Lernen in eine Steuerungssprache für autonome Roboter(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Kirsch, AlexandraDurch 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.
- ZeitschriftenartikelMultiagent Coordination Enabling Autonomous Logistics(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Schuldt, ArneThis dissertation develops coordination mechanisms for the implementation of autonomous control in logistics with multiagent technology. Therewith, it tackles the challenges of supply network management caused by the complexity, the dynamics, and the distribution of logistics processes. The paradigm of autonomous logistics reduces the computational complexity and copes with the dynamics locally by delegating process control to the participating objects (such as shipping containers). The dissertation specifies and implements the cooperative problem-solving process for autonomous logistics. The presented solution has been used in a realistic simulation of real-world container logistics processes. The validation shows that autonomous control is feasible and that it outperforms the previous centralised dispatching approach by significantly increasing the resource utilisation efficiency.
- ZeitschriftenartikelDie Evolution der Programmiersprachen der KI(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Hofstedt, PetraNeben 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.
- ZeitschriftenartikelAgreeing on Role Adoption in Open Organisations(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Aldewereld, Huib; Dignum, Virginia; Jonker, Catholijn M.; Riemsdijk, M. BirnaThe 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.
- ZeitschriftenartikelPlatas—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, BernhardAction 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.
- ZeitschriftenartikelVerwendung von Lisp in KI-Projekten(KI - Künstliche Intelligenz: Vol. 26, No. 1, 2012) Betz, Christian; Hotz, LotharIn 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.