KI-Modelle in den Sozialwissenschaften: logische Struktur und wissensbasierte Systeme von Balancetheorien

Gegenstand der Untersuchung ist die Anwendung nicht-numerischer, wissensbasierter Verfahren der Künstlichen Intelligenz (KI) auf die Modellierung sozialwissenschaftlicher Theorien. Ziel ist es zu zeigen, daß der Einsatz von KI-Programmen eine fruchtbare methodische Erweiterung für die Sozialwissenschaften darstellt. Die wissensbasierte Modellierung erfolgt auf dem Hintergrund logisch rekonstruierter Theorien im Rahmen eines neueren wissenschaftstheoretischen Ansatzes, der strukturalistischen Theorienkonzeption. In einem ersten Teil werden Grundlagen der Computermodellierung, Wissensverarbeitung und Wissenschaftstheorie behandelt. Auf dieser Basis wird in einem zweiten Teil die wissensbasierte Modellierung von Theorien erörtert. Dies geschieht am Beispiel von Heiders Balancetheorie in ihrer von Abelson und Rosenberg verallgemeinerten Form. In der Weiterentwicklung der Balancetheorien stehen vor allem graphentheoretische Überlegungen im Vordergrund. Abschließend fragt der Verfasser nach dem wissenschaftstheoretischen Status der dargestellten Balancetheorien, wobei vor allem intertheoretische Relationen sowie die Evolution der Gleichgewichtstheorien im Vordergrund stehen. (ICE2

SKIL 2012 - Dritte Studentenkonferenz Informatik Leipzig: Dritte Studentenkonferenz Informatik Leipzig 2012Leipzig, Deutschland, 25. September 2012Tagungsband

Die Studentenkonferenz des Instituts für Informatik der Universität Leipzig richtet sich an alle Studierende der Informatik sowie angrenzender Disziplinen mit Schwerpunkt Informatik. Die Konferenz setzt sich zum Ziel, Studierenden eine Plattform zu bieten, ihre Projekte und Forschungsvorhaben vorzustellen. Im Mittelpunkt der Tagung stehen studentische Projekte aus Seminaren, Praktika, Abschlussarbeiten oder extracurricularen Aktivitäten. Die SKIL bietet den Studierenden die Möglichkeit, vor einem akademischen Publikum Ideen, Pläne und Ergebnisse zu präsentieren und zu diskutieren. Die Organisation der Konferenz unterscheidet sich nur wenig von wissenschaftlichen Fachkonferenzen. Die Einreichung der Beiträge erfolgte mit Hilfe eines Conference Systems; anschließend wurden alle Einreichungen durch das Programmkomitee bewertet. Angenommene Beiträge wurden am Konferenztag vorgestellt und in dem hier vorliegendem Tagungsband publiziert. Die dritte Studentenkonferenz Informatik Leipzig 2012 fand im Rahmen der SABRE am 25.09.2012 statt. Die SABRE ist eine internationale integrative Multikonferenz auf dem Gebiet zukunftsweisender Technologien der Softwareentwicklung, Agententechnologien und Servicecomputing für Wirtschaft, Entwicklung und Wissenschaft. Die SKIL 2012 wurde am Institut für Angewandte Informatik (InfAI) e.V. organisiert. Initiiert und maßgeblich realisiert wurde die SKIL 2012 von den Forschungsgruppen Agile Knowledge Engineering and Semantic Web (AKSW) und Service Science and Technology (SeSaT) der Universität Leipzig

Beiträge zum Gründungsworkshop der Fachgruppe Verteilte Künstliche Intelligenz Saarbrücken 29.-30. April 1993

Gegenwärtig wird in der Verteilten Künstlichen Intelligenz heftig diskutiert, ob ein Agent eher als reflektiven oder als reaktives System aufgefaßt werden sollte. In der reflektiven Sichtweise muß der Agent explizit über "mentale" Zustände (Wissen, Annahmen, Ziele) verfügen um über Ziele und Pläne räsonieren zu können. In der reaktiven Sichtweise dagegen bildet sich das angemessene Verhalten aus einem einfachen Reiz-Antwort Schema heraus. In jüngster Zeit werden sogenannte hybride Agenten-Architekturen diskutiert, in denen sowohl reaktives als auch reflektives Verhalten modelliert wird. Die meisten der vorgestellten Systeme betreffen aber einen einzelne Agenten und sein Verhalten in dynamischen Umgebungen .. ln diesem Beitrag wird eine hybride Architektur vorgestellt, die zusätzlich berücksichtigt, daß im Umfeld eines Agenten weitere Agenten mit weitgehend unvorhersehbarem Verhalten existieren. Diese Architektur ist im Rahmen des COSY Projekts entstanden

Relevanzbasierte Informationsbeschaffung für die informierte Entscheidungsfindung intelligenter Agenten

This dissertation introduces relevance-based information acquisition for intelligent software agents based on Howard s information value theory and decision networks. Active information acquisition is crucial in domains with partial observability in order to establish situation awareness of autonomous systems for deliberate decisions. The new semi-myopic approach addresses the complexity challenge of decision-theoretic relevance computation by reducing the set of variables to be evaluated in the first place. Links in a decision network encode stochastic dependencies of variables. Through utility dependency analysis using Pearl s d-separation criterion, the set of relevant variables can be efficiently reduced to a proven minimum without actually computing information value. In addition to an implementation with detailed runtime performance analysis, the applicability of the approach is shown in the domain of intelligent logistics control