课题基金 / 基金详情

Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web Servises

Formalization of Dynamic Belief Revision and its Application to Real-time Planning for Web Servises
动态信念修正的形式化及其在网络服务实时规划中的应用
批准号：
19300053
负责人：
SATOH Ken
金额：
$9.4万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19300053/
关键词：
動的信念変更投機的計算エージェントプラニングウェブサービス全域アブダクションIFF手法

项目摘要

项目成果

SATOH Ken的其他基金

相关文献

中文摘要
翻译
我们应用我们以前的模型推测计算与动态信念修订到Web服务，并开发了一个可视化工具执行推测Web服务。我们还开发了轻量级的Web服务合成，以使投机合成Web服务容易。
英文摘要
We applied our previous model of speculative computation with dynamic belief revision into web-services and developed a visualization tool for execution of speculative web-services. We also developed lightweight web-service synthesis in order to enable speculative synthesized web-services easily.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Periodical Resource Allocation Using Approximated Combinatorial Auctions
使用近似组合拍卖的定期资源分配
DOI： --
发表时间： 2007
期刊：
影响因子： --
作者： [Naoki, Fukuta]
通讯作者： Fukuta
Winner Price Monotonocity for Approximated Combinatorial Auctions
近似组合拍卖的获胜者价格单调性
DOI： --
发表时间： 2008
期刊：
影响因子： --
作者： [Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh, Naoki Fukuta]
通讯作者： Naoki Fukuta
Speculative Constraint Processing for Hierarchical Agents
分层代理的推测约束处理
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda]
通讯作者： Krysia Broda
Approximated Winner Determination for a Series of Combinatorial Auctions
一系列组合拍卖的近似获胜者确定
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda, Naoki Fukuta]
通讯作者： Naoki Fukuta
共 13 条
    Implementing Japanese Presupposed Ultimate Fact Theory in Logic Programming
    • 批准号：
      23300062
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $12.4万
    • 财政年份：
      2011
    • 负责人：
      SATOH Ken
    • 依托单位：
      National Institute of Informatics
    Development of Reliable Advanced Inter-operable Agent Technology on Web Service Composition
    • 批准号：
      16200010
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $27.46万
    • 财政年份：
      2004
    • 负责人：
      SATOH Ken
    • 依托单位：
      National Institute of Informatics
    Construction of multi-agent systems with speculative computation
    • 批准号：
      13358004
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $22.63万
    • 财政年份：
      2001
    • 负责人：
      SATOH Ken
    • 依托单位：
      National Institute of Informatics
    Construction of Logical Multi-Agent System under Incomplete Information Environment
    • 批准号：
      11480070
    • 项目类别：
      Grant-in-Aid for Scientific Research (B).
    • 资助金额：
      $7.1万
    • 财政年份：
      1999
    • 负责人：
      SATOH Ken
    • 依托单位：
      HOKKAIDO UNIVERSITY