课题基金 / 基金详情

Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen

Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen
结合行动形式主义和非单调逻辑来开发复杂环境中的规划和决策方法
批准号:
56521745
负责人:
Professor Dr. Gerhard Brewka
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2007
资助国家:
德国
项目状态:
已结题
起止时间:
2006-12-31 至 2011-12-31

项目摘要

项目成果

Professor Dr. Gerhard Brewka的其他基金

相似基金

相关文献

中文摘要
翻译
智能系统(intelligent system),即自主智能体(agent)或机器人(robot), die in in Umfeld ingebunden sind und mit diesem interagieren, msssen forlaufendenscheiden, welche Aktionen zu einem gegebenen Zeitpunkt möglich and sinvolvolsind。这是一种具有柔性和智能的翻译系统。在komplexen Umgebungen sind disese Entscheidungen häufig mit Unsicherheit行为和können daher nur ad-hoc getroffen werden。因此,wid ein Agent häufig nur unvollständige Information <s:1> berden aktuellen Weltzustand besitzen, Teile dieser Information sind aus Beobachtungen und/oder der commmunikation mit anderen Agenten zu erschließen, wobei diese schl<e:1> sse fast immer den Charakter von default - schl<e:1> ssen haben。研究结果表明:在正常情况下,人的行为是有规律的;在正常情况下,人的行为是有规律的;在正常情况下,人的行为是有规律的。大北光模Stärke nichtmonoder system darin,大北光模模können,大北光模模können,大北光模模unvollständigen/unsicheren Wissens zu reasonable Überzeugungen kommt。Ziel der组合von Aktionsformalismen mit Defaults und Präferenzen ist es, geeignete and effiziente Methoden zum Schließen en der Aktionen in komplexen, unsicheren Umgebungen zu entwickeln。Nichtmonotone interenztechniken dienen hierbei dazu, auf der Basis von unvollständigem Wissen似是而非的schlsse <e:1> berden den aktuellen Weltzustand zu modellien, Erklärungen f<s:1> r Diskrepanzen zwischen dekenwarteen und den tatsächlich beobachteten Effekten von Aktionen zugenerien, sowie die Behandlung qualativer Präferenzen von unterschiedlichen Zielen deintelligenten Systems zu ermöglichen。在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国。Dennoch wollen wir die Ergebnisse and hand konkreter Problemstellungen zum Thema General Game Playing (universselle Spielprogramme) evaluien, das ein hochaktuelles and interessantes Anwendungsgebiet fr die Wissensrepräsentation darstellt。
英文摘要
Intelligente Systeme, wie autonome Agenten oder Roboter, die in ein Umfeld eingebunden sind und mit diesem interagieren, müssen fortlaufend entscheiden, welche Aktionen zu einem gegebenen Zeitpunkt möglich und sinnvoll sind. Sie müssen ihre Wahrnehmungen interpretieren und auf unerwartete Ereignisse flexibel und intelligent reagieren. In komplexen Umgebungen sind diese Entscheidungen häufig mit Unsicherheit behaftet und können daher nur ad-hoc getroffen werden. So wird ein Agent häufig nur unvollständige Information über den aktuellen Weltzustand besitzen, Teile dieser Information sind aus Beobachtungen und/oder der Kommunikation mit anderen Agenten zu erschließen, wobei diese Schlüsse fast immer den Charakter von Default-Schlüssen haben. Effekte von Handlungen treten manchmal nur unter normalen Bedingungen ein, und im Falle einer Diskrepanz zwischen dem erwarteten und beobachteten Effekt einer Handlung sind plausible Erklärungen für die Abweichungen zu erzeugen. Dabei liegt die Stärke nichtmonotoner Systeme darin, dass sie modellieren können, wie man auf der Basis unvollständigen/unsicheren Wissens zu plausiblen Überzeugungen kommt. Ziel der Kombination von Aktionsformalismen mit Defaults und Präferenzen ist es, geeignete und effiziente Methoden zum Schließen über Aktionen in komplexen, unsicheren Umgebungen zu entwickeln. Nichtmonotone Inferenztechniken dienen hierbei dazu, auf der Basis von unvollständigem Wissen plausible Schlüsse über den aktuellen Weltzustand zu modellieren, Erklärungen für Diskrepanzen zwischen den erwarteten und den tatsächlich beobachteten Effekten von Aktionen zu generieren, sowie die Behandlung qualitativer Präferenzen von unterschiedlichen Zielen des intelligenten Systems zu ermöglichen. Entsprechend der Ausrichtung des Gesamtpaketes ist die Forschung auch in diesem Teilprojekt in der Hauptsache grundlagenorientiert. Dennoch wollen wir die Ergebnisse anhand konkreter Problemstellungen zum Thema General Game Playing (universelle Spielprogramme) evaluieren, das ein hochaktuelles und interessantes Anwendungsgebiet für die Wissensrepräsentation darstellt.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Advanced Tools for Graph-Based Formal Argumentation
  • 批准号:
    226818978
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2013
  • 负责人:
    Professor Dr. Gerhard Brewka
  • 依托单位:
Advanced Solving Technology for Dynamic and Reactive Applications
Hybrid Reasoning Over Dynamic Protein Interaction Networks
  • 批准号:
    214256493
  • 项目类别:
    Research Units
  • 资助金额:
    $0.0万
  • 财政年份:
    2012
  • 负责人:
    Professor Dr. Gerhard Brewka
  • 依托单位:
Theoretische Grundlagen einer computationalen Dialektik, die insbesondere kritische Dialoge und Verhandlungen modelliert
  • 批准号:
    5257983
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2001
  • 负责人:
    Professor Dr. Gerhard Brewka
  • 依托单位:
国内基金
海外基金
半有限von Neumann代数中投影集上的Wigner定理
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    钱文华
  • 依托单位:
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
  • 批准号:
    82302106
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30万元
  • 批准年份:
    2023
  • 负责人:
    石伟哲
  • 依托单位:
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
  • 批准号:
    12271074
  • 项目类别:
    面上项目
  • 资助金额:
    45万元
  • 批准年份:
    2022
  • 负责人:
    石瑞
  • 依托单位:
线性保持方法在量子信息研究中的应用
  • 批准号:
    12001420
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    24.0万元
  • 批准年份:
    2020
  • 负责人:
    王美丽
  • 依托单位: