Systemunterstützte Modellierung, Planung und Durchführung komplexer Arbeitsprozesse
Systemunterstützte Modellierung, Planung und Durchführung komplexer Arbeitsprozesse
批准号:
5371064
负责人:
Professorin Dr. Susanne Biundo-Stephan
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2002
资助国家:
德国
项目状态:
已结题
起止时间:
2001-12-31 至 2005-12-31
中文摘要
Effektive Systemunterstützung bei der Konzeption,Planung und Durchführung komplexer Arbeits- und Organisationsprozesse ist für viele Anwendungsbereiche von entscheidender Bedeutung. Dazu zählen konventionelle Anwendungen in Industrie und Verwaltung ebenso wie neuartige im Bereich des“elektronischen Arbeitens”(E-work). Effektive Unterstützung erfordert über den gegenwärtigen Stand der Technik hinaus insbesondere eine erhöhte Autonomie,Robustheit und schoolität der Systeme. KI计划的基础是一项技术,原则上是这样的。这些知识来源于研究框架中的知识,这些知识来源于现实主义的工业和劳动过程规划中的技术支持。Es befasts sich -sowohl konzeptionell/methodisch als auch implementierungstechnisch- mit den Aspekten Domänenmodellierung,Planung,Berücksichtigung von Ressourcen,Interaktion und Informationsakquisition.在这一背景下,软件体系结构将包含三个主要组成部分:建模、规划和监视。该模型是一种用于空间化和管理复杂的家庭模型的工具。Sie verfügt über einen grafikgestützten Editor zur Domänenmodellierung und eine Visualisierungskomponente zur Darstellung der erzeugten Pläne. Geeignete Criterien und deren Überprüfungdurch entsprechende Systemkomponenten garantieren die Konsistenz derspezifizierten Modelle.计划系统遵循层次结构的范式。本文介绍了经典的层次任务网络(HTN)规划的特点-监控器用于计划系统的监控。它是一种用于建模和与Benutzer交互的工具。Schließlich initiiert und überwacht er die Ausführung der generierten Pläne. Dem Planungsformalismus wird eine formal logische Semantik unterlegt auf deren Basis die Konsistenzkriterien sowie weitere formale Eigenschaften von Domänenmodellen und Plänen formuliert und nachgewiesen韦尔登können.对两种灾害风险评估方法的评估:一种是1997年7月地震灾害风险评估技术支持计划的评估,另一种是乌尔姆大学风险评估计划。
英文摘要
Effektive Systemunterstützung bei der Konzeption, Planung und Durchführung komplexer Arbeits- und Organisationsprozesse ist für viele Anwendungsbereiche von entscheidender Bedeutung. Dazu zählen konventionelle Anwendungen in Industrie und Verwaltung ebenso wie neuartige im Bereich des `elektronischen Arbeitens' (E-work). Effektive Unterstützung erfordert über den gegenwärtigen Stand der Technik hinaus insbesondere eine erhöhte Autonomie, Robustheit und Flexibilität der Systeme. Das Gebiet des KI Planens stellt eine Technologie bereit, die prinzipiell geeignet ist, diese Anforderungen zu erfüllen. Das hier vorgestellte Vorhaben zielt auf die Lösung von Forschungsfragen ab, die sich aus der Anwendung dieser Technologie im Bereich realistischer Einsatz- und Arbeitsprozessplanung ergeben. Es befasst sich -sowohl konzeptionell/methodisch als auch implementierungstechnisch- mit den Aspekten Domänenmodellierung, Planung, Berücksichtigung von Ressourcen, Interaktion und Informationsakquisition. In diesem Kontext wird eine Software-Architektur entwickelt, die drei Komponenten umfasst: eine Modellierungsumgebung, ein Planungssystem und einen Monitor. Die Modellierungsumgebung ist ein Werkzeug zur Spezifikation und Verwaltung komplexer Domänenmodelle. Sie verfügt über einen grafikgestützten Editor zur Domänenmodellierung und eine Visualisierungskomponente zur Darstellung der erzeugten Pläne. Geeignete Kriterien und deren Überprüfungdurch entsprechende Systemkomponenten garantieren die Konsistenz derspezifizierten Modelle. Das Planungssystem folgt dem Paradigma der hierarchischen Dekomposition. Es erweitert das klassische Hierarchical Task Network(HTN) Planen hinsichtlich verschiedener Aspekte -Integration von Zustandsabstraktion, Benutzerinteraktion und Informationsakquisition- und integriert Scheduling-Verfahren zur Ressourcenoptimierung auf allen Abstraktionsebenen. Der Monitor dient der Ansteuerung und Kontrolle des Planungssystems. Er ist die Schnittstelle zur Modellierungsumgebung und führt die Interaktion mit dem Benutzer durch. Schließlich initiiert und überwacht er die Ausführung der generierten Pläne. Dem Planungsformalismus wird eine formal logische Semantik unterlegt auf deren Basis die Konsistenzkriterien sowie weitere formale Eigenschaften von Domänenmodellen und Plänen formuliert und nachgewiesen werden können. Zur Evaluierung der hier vorgestellten Forschungsarbeiten dienen zunächst zwei Anwendungen aus dem Bereich der Katastropheneinsatzplanung: ein Ausschnitt aus der Einsatzplanung des Technischen Hilfswerks zur Bekämpfung der Oderflut im Juli 1997 und ein Evakuierungsplan der Abteilung Sicherheit des Universitätsklinikums Ulm.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金