Diss. Nr. 9519 techn. Wiss. ETH Zürich. / siehe auch: Robust algorithms in a program library for geometric computation. Literaturverz.

Universiẗat, Diss.--Tübingen, 1997.

Die in der vorliegenden Arbeit entwickelte Theorie künstlicher Agenten möchte als Versuch verstanden werden, einen relevanten Beitrag zu den logisch-begrifflichen und softwaretechnischen Grundlagen von Multiagentensystemen zu leisten. Nach einer allgemeinen Einführung in Kapitel 1 wird in den Kapiteln 2{5 eine umfassende Theorie der Wissensrepräsentation entwickelt. Dabei werden eine Reihe von wichtigen Systemen, wie Relationale, Temporale, Disjunktive und Fuzzy- Datenbanken, in einem einheitlichen Rahmen definiert. Es wird gezeigt, wie diese Systeme zu erweitern sind, so daß sie die Repräsentation negativer Information in Wissensbasen erlauben. Alle zuvor behandelten extensionalen Wissensbasen können durch Hinzufügung von Deduktionsregeln zu deduktiven Wissensbasen erweitert werden. In deduktiven Wissensbasen können Prädikate sowohl extensional, d.h. durch die Angabe ihrer Extension in der Form einer Tabelle, als auch intensional, d.h. durch die Angabe von Deduktionsregeln, repräsentiert werden. Die `Semantik' deduktiver Wissensbasen, d.h. die Definition der jeweiligen Inferenzrelation, folgt aus der Definition eines intendierten Abschlusses. Es wird gezeigt, wie der Begriff eines stabil erzeugten Abschlusses (ohne Bezug zur Modelltheorie) zu definieren ist. Nach der Behandlung der Wissensrepräsentation folgt in Kapitel 6 die Definition von Reagenten, d.h. einfachen vividen Agenten ohne die Fähigkeit zur Planung und Planausführung. In Kapitel 7 wird gezeigt, wie die Kommunikation und Kooperation zwischen Wissensbasen im Rahmen des Reagentenmodells formal präzisiert werden kann. Nach einer kurzen Darstellung des Planungsproblems in Kapitel 8 folgt in Kapitel 9 die Definition vivider Agenten, deren reaktives Verhalten mit ihrem proaktiven (auf Planung und Planausführung basierenden) Verhalten verzahnt ist. Schließlich wird in Kapitel 10 die auf dem Modell vivider Agenten basierende Agentenprogrammiersprache VIVA vorgestellt. Dem Text folgen drei Anhänge, in denen die partielle, die possibilistische und die temporale Logik mit ihren wesentlichen Grundbegriffen definiert werden.

Techn. Hochsch., Diss.--Aachen, 1990.

Thesis (doctoral)--Hochschule St. Gallen für Wirtschafts-, Rechts- und Sozialwissenschaften, 1990.

Das Informationsmanagement im Gesundheitswesen entwickelt Informationssysteme von Krankenhäusern und medizinischen Organisationen weiter. Dazu benötigt es Informationen, die ihm von Informationsmanagement-Informationssystem (IMIS) bereitgestellt werden. Das IMIS muss ebenfalls zielgerichtet weiterentwickelt werden. Die Grundlage für die Bewertung und Konstruktion eines IMIS ist ein Modell der Aufgaben und verarbeiteten Informationen im Informationsmanagement. Der Autor entwickelt eine Formalisierung der Informationsverarbeitung und darauf aufbauend Kriterien für Modelle der Informationsverarbeitung im Informationsmanagement im Gesundheitswesen sowie Modellierungsregeln und ein Vorgehen zur Modellierung. Die Angemessenheit der entwickelten Formalisierung und der Kriterien, der Regeln und des Vorgehens zeigt der Autor mit der Modellierung der Informationsverarbeitung in den neun Kernprozessen der Information Technology Infrastructure Library (ITIL), einer Sammlung von Empfehlungen für das Management von IT-Dienstleistungen. Aufbauend auf einer erweiterten Version dieses Modells kann ein IMIS für das Gesundheitswesen konstruiert werden.

No description available.

Zugl.: Wien, Univ., veränd. Masterarbeit, 2006

RijksUniversity, Diss.--Groningen, 1995.

Diss. tech. Wiss. ETH Zürich, 1990. - ETH Nr. 9269. / siehe auch: Interaktive Bearbeitung konventioneller Musiknotation. Literaturverz.