Logo des Repositoriums

KI - Künstliche Intelligenz

https://dl.gi.de/handle/20.500.12116/11025

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society – with contributions from throughout the field of artificial intelligence. The journal presents all relevant aspects of artificial intelligence – the fundamentals and tools, their use and adaptation for scientific purposes, and applications which are implemented using AI methods – and thus provides the reader with the latest developments in and well-founded background information on all relevant aspects of artificial intelligence. For all members of the AI community the journal provides quick access to current topics in the field and promotes vital interdisciplinary interchange.

Auflistung nach:

Auflistung KI - Künstliche Intelligenz nach Erscheinungsdatum

Zu einem Punkt im Index springen:
1 - 10 von 776
  • Zeitschriftenartikel
    News
    (KI - Künstliche Intelligenz: Vol. 24, No. 4, 2010)
  • Zeitschriftenartikel
    Integrierte agentenbasierte Produktions- und Logistikplanung in der Supply Chain
    (KI - Künstliche Intelligenz: Vol. 24, No. 2, 2010) Hellingrath, Bernd; Böhle, Carsten
    Multi-Agenten-Systeme sind schon oft für den Einsatz in Supply Chains vorgeschlagen worden. Trotzdem haben sie in der Praxis noch keine weite Verbreitung gefunden. Dieser Beitrag zeigt auf, wie sich Agentensysteme entwickeln lassen, die besser auf die Anforderungen des Supply Chain Managements angepasst sind und insbesondere die im Vergleich zur Produktionsplanung vernachlässigte Logistikplanung integrieren.
  • Zeitschriftenartikel
    A SAT Solver for Circuits Based on the Tableau Method
    (KI - Künstliche Intelligenz: Vol. 24, No. 1, 2010) Egly, Uwe; Haller, Leopold
    We present an extension of the BC tableau, a calculus for determining satisfiability of constrained Boolean circuits. We argue that a satisfiability decision procedure based on the BC tableau can be implemented as a non-clausal DPLL procedure and that therefore, advances to the DPLL framework can be integrated into such a tableau procedure. We present a prototypical implementation of these ideas and evaluate it using a set of benchmark instances. We show that the extensions increase the efficiency of the basic BC tableau considerably and compare the performance of our solver with that of the non-clausal solver NoClause and the CNF-based SAT solver MiniSat.
  • Zeitschriftenartikel
    Vertical Data Integration for Reactive Scheduling
    (KI - Künstliche Intelligenz: Vol. 24, No. 2, 2010) Sauer, Jürgen
    Within supply chains planning and scheduling tasks are spread across several companies and over several hierarchically levels. But the main scheduling direction is top down which means that reactive scheduling in the case of disturbing events is not supported on all scheduling levels of the supply chain. To support a reactive scheduling process in the supply chain this paper presents a concept of vertical data integration using basic data from shop floor to generate events useful in scheduling decisions on higher levels.
  • Zeitschriftenartikel
    Knowledge Processing for Cognitive Robots
    (KI - Künstliche Intelligenz: Vol. 24, No. 3, 2010) Tenorth, Moritz; Jain, Dominik; Beetz, Michael
    Knowledge processing methods are an important resource for robots that perform challenging tasks in complex, dynamic environments. When applied to robot control, such methods allow to write more general and flexible control programs and enable reasoning about the robot’s observations, the actions involved in a task, action parameters and the reasons why an action was performed. However, the application of knowledge representation and reasoning techniques to autonomous robots creates several hard research challenges. In this article, we discuss some of these challenges and our approaches to solving them.
  • Zeitschriftenartikel
    Approaching Manual Intelligence
    (KI - Künstliche Intelligenz: Vol. 24, No. 4, 2010) Maycock, Jonathan; Dornbusch, Daniel; Elbrechter, Christof; Haschke, Robert; Schack, Thomas; Ritter, Helge
    Grasping and manual interaction for robots so far has largely been approached with an emphasis on physics and control aspects. Given the richness of human manual interaction, we argue for the consideration of the wider field of “manual intelligence” as a perspective for manual action research that brings the cognitive nature of human manual skills to the foreground. We briefly sketch part of a research agenda along these lines, argue for the creation of a manual interaction database as an important cornerstone of such an agenda, and describe the manual interaction lab recently set up at CITEC to realize this goal and to connect the efforts of robotics and cognitive science researchers towards making progress for a more integrated understanding of manual intelligence.
  • Zeitschriftenartikel
    KI braucht Gefühle
    (KI - Künstliche Intelligenz: Vol. 24, No. 3, 2010) Dietrich, Dietmar; Bruckner, Dietmar
    Wenn wir in der Automatisierung oder der KI Maschinen auf hohem Abstraktionslevel entscheiden lassen wollen, müssen wir uns nach bionischen Überlegungen mit Gefühlen naturwissenschaftlich auseinandersetzen. Nach Aussagen der führenden Gehirnwissenschaftler sind aber Gefühle mit Bewusstsein eng verknüpft. Der Aufsatz spricht die Schwierigkeiten an, zeigt aber auch eine prinzipielle Lösungsmöglichkeit auf, um zu einem einheitlichen Modell des psychischen Apparates zu kommen.
  • Zeitschriftenartikel
    Automated Enactment Tracking for Dynamic Workflows
    (KI - Künstliche Intelligenz: Vol. 24, No. 4, 2010) Sauer, Thomas
    The notion of workflows is an established concept to coordinate the activities within an organization. However, human workflow participants typically have to explicitly report the steps taken, limiting acceptance and effectiveness of workflow technology. In the presented PhD thesis, the novel approach of automated enactment tracking is introduced to overcome this problem. Using a Multi-Agent System, the data produced during everyday activities is evaluated in a robust and flexible manner. The system applies Case-Base Reasoning to identify the tasks performed, following the principle that similar tasks produce similar data. Agents further collaborate with each other to identify processes enacted in parallel, and to compensate for missing or inaccurate information.
  • Zeitschriftenartikel
    Willkommen bei Springer
    (KI - Künstliche Intelligenz: Vol. 24, No. 1, 2010) Engesser, Hermann
  • Zeitschriftenartikel
    Real-time Image-based Localization for Hand-held 3D-modeling
    (KI - Künstliche Intelligenz: Vol. 24, No. 3, 2010) Mair, Elmar; Strobl, Klaus H.; Bodenmüller, Tim; Suppa, Michael; Burschka, Darius
    We present a self-referencing hand-held scanning device for vision-based close-range 3D-modeling. Our approach replaces external global tracking devices with ego-motion estimation directly from the camera used for reconstruction. The system is capable of online estimation of the 6DoF pose on hand-held devices with high motion dynamics especially in rotational components. Inertial information supports directly the tracking process to allow for robust tracking and feature management in highly dynamic environments. We introduce a weighting function for landmarks that contribute to the pose estimation increasing the accuracy of the localization and filtering outliers in the tracking process. We validate our approach with experimental results showing the robustness and accuracy of the algorithm. We compare the results to external global referencing solutions used in current modeling systems.