マルチエージェント環境のための様相論理に対する推論システムの研究
多智能体环境下模态逻辑推理系统研究
基本信息
- 批准号:08680397
- 负责人:
- 金额:$ 1.22万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:1996
- 资助国家:日本
- 起止时间:1996 至 1998
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
マルチエージェント環境のための様相論理に対する推論システムの研究について,今年度は以下の3つのテーマについて研究を行った.1.マルチエージェントシステムに対する知識と時間の様相論理体系の確立(1)各エージェントが「命題pがある時点tで成り立つことを知っている」というような知識と時間に関する表現が可能な様相論理体系MAKTを提案した.(2)論理体系MAKTの意味論は可能世界モデル意味論によって定義される.また,MAKTの式に対する推論は,MAKTの式をそれと等価な(不等号につき)一階述語論理の式に変換されて,その一階述語論理式の充足可能性を調べることによって行われる.(3)以上の結果より,論理体系MAKTに対する効率的な推論方法は,高速な一階述語用の定理証明器を開発することに帰着されるという知見を得た.2.一階述語定理証明器SATCHMOREの効率化一階述語用の定理証明器の一つにSATCHMOREがあるが,本研究においては,それに更に改良を行い効率化を図った.すなわち,SATCHMOREで用いられている関連性に加えて,“利用可能性"という新しい条件を付け加えて,定理証明における探索空間の減少を図った.3.融合型知識ベースに対する推論方式の検討複数の知識ベース(エージェント)が与えられたとき,それらの知識を融合して推論を行う融合型知識ベース(amalgamated knowledge databases)に対する推論方法について検討を行った.
A study on the relationship between environmental factors and logic, This year, the following three topics are studied: 1. The establishment of knowledge and time phase logic system for each topic: (1) The establishment of knowledge and time phase logic system for each topic: (2) The establishment of knowledge and time phase logic system MAKT for each topic: (3) The establishment of knowledge and time phase logic system MAKT for each topic: (4) The establishment of knowledge and time phase logic system MAKT for each topic. (2)Logic system MAKT meaning theory possible world meaning theory definition. The expression of MAKT is related to the inference that the expression of MAKT is equal to the expression of first-order predicate logic. (3)2. Efficient first order predicate theorem prover SATCHMORE efficient first order predicate theorem prover SATCHMORE efficient first order predicate theorem prover 3. Fusion type knowledge 3. Inference mode 3. Discussion of complex knowledge 3. Discussion of complex knowledge 4. The method of inference is discussed in this paper.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
世木 博久其他文献
Proving Properties of Co-logic Programs with Negation by Program Transformations
通过程序变换证明带有否定的协逻辑程序的性质
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
丸谷和史;渡邊淳司;安藤英由樹;植月美希;世木 博久 - 通讯作者:
世木 博久
Twitter上での発話履歴の時系列パターンに基づく特定発話行動予測手法の開発
开发一种基于 Twitter 上语音历史的时间序列模式来预测特定语音行为的方法
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
世木 博久;阿部秀尚 - 通讯作者:
阿部秀尚
世木 博久的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('世木 博久', 18)}}的其他基金
論理プログラムの意味論と問合せ処理の最適化技術の研究
逻辑程序语义与查询处理优化技术研究
- 批准号:
06680353 - 财政年份:1994
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
社会的コミュニケーションにおける発話のダイナミクスの動的様相論理による学際的研究
在社交传播中使用语音动力学的动态模态逻辑进行跨学科研究
- 批准号:
23K21869 - 财政年份:2024
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
様相論理KTBとそれを含む様相論理がなす束の構造に関する研究
模态逻辑KTB及包含它的模态逻辑形成的丛的结构研究
- 批准号:
18700002 - 财政年份:2006
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
様相論理に基づいたプログラム解析手法の研究
基于模态逻辑的程序分析方法研究
- 批准号:
15700011 - 财政年份:2003
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
様相論理の濾過法に基づく暗黙知の論理的定式化およびその認知の有限的解釈への適用
基于模态逻辑过滤方法的隐性知识逻辑表述及其在认知有限解释中的应用
- 批准号:
09780305 - 财政年份:1997
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
様相論理の部分式特性とその応用
模态逻辑的子表达式性质及其应用
- 批准号:
07640290 - 财政年份:1995
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
様相論理に基づく知識の表現と推論
基于模态逻辑的知识表示与推理
- 批准号:
63780019 - 财政年份:1988
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
様相論理プログラミングによる時相概念処理の研究
基于模态逻辑编程的时态概念处理研究
- 批准号:
60580020 - 财政年份:1985
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
様相論理を中心とする非古典論理学の研究とその哲学的諸問題への応用
以模态逻辑为中心的非经典逻辑研究及其在各类哲学问题中的应用
- 批准号:
57710002 - 财政年份:1982
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
様相論理学の意味論的研究
模态逻辑的语义研究
- 批准号:
X00095----564081 - 财政年份:1980
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for General Scientific Research (D)