Semantic Represenation on Sort Hierarchy with Multiple Negations and Temporal Information

具有多重否定和时间信息的排序层次结构的语义表示

• 批准号: 13480092
• 负责人: TOJO Satoshi
• 金额: $ 5.12万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-13480092/
• 关键词: Ontology; Temporal Logic; Order-sort; Negation; 様相論理; 区間論理; 複様相論理; イベントの論理; 信念改訂; 信念融合; オ-ダーソート論理; 時間論理; アスペクト; 強い否定・弱い否定; エージェント

In this study, we proposed an inference system with multiple negations ; one is the ordinary negative connective and the other is the innate strong negation. In order to clarify the influence of these multiple negations, we showed the exclusivity, globality, and other scopes of negation in a sort hierarchy. As for temporal reasoning, we included the aspectual information into the ordinary tense logic. As an application, we offered a time-map system that could be seen on HTML interface. In addition, we formalized the aspect information in terms of modal logic, and we showed a many dimensional modal logic and its decidability.In order to assess the feasibility of multiple sort hierarchies, we need to consider the accessibility between those local ontologies. We implemented the framework by multi-agent system, and considered communication channels between them. Also, we provided the system of belief fusion between agents.Finally, we proposed an amalgamation mechanism of multiple local ontologies (sort hierarchies). We used the notion of identity conditions to find corresponding sorts between remote ontologies, and showed a procedure to integrate or to merge them. Furthermore, we discussed the applicability to the study of semantic web.

在这项研究中，我们提出了一个包含多个否定的推理系统，一个是普通否定连接词，另一个是固有的强否定。为了弄清这些多重否定的影响，我们在一个排序层次中展示了否定的排他性、整体性和其他范围。对于时间推理，我们将体信息包含在普通时态逻辑中。作为一个应用程序，我们提供了一个可以在HTML界面上看到的时间地图系统。此外，我们还用模态逻辑对方面信息进行了形式化，给出了一个多维的模态逻辑及其可判定性，为了评估多个排序层次的可行性，我们需要考虑这些局部本体之间的可达性。该框架采用多智能体系统实现，并考虑了它们之间的通信通道。最后，提出了一种多个局部本体(排序层次)的融合机制。我们使用同一性条件的概念来找到远程本体之间的对应排序，并展示了集成或合并它们的过程。此外，我们还讨论了它对语义网研究的适用性。

项目成果

丸山晃生, 東条敏, 小野寛晰: "マルチエージェントモデルのための時相論理とその効率的な証明手続き"コンピュータソフトウェア. 20・1. 51-65 (2003)

Akio Maruyama、Satoshi Tojo、Hiroaki Ono：“多智能体模型的时间逻辑及其高效证明过程”计算机软件 20・1（2003 年）。

Judicial Knowledge Revision with Minimal Negation.

最小否定的司法知识修正。

• 发表时间: 2005
• 期刊: Unilog
• 作者: 今井浩;富田章久;小林弘忠;S.Tojo.
• 通讯作者: S.Tojo.

情報源を明らかにした選考関係を信念とした融合

基于对揭示信息源的选择关系的信念的融合

• 发表时间: 2004
• 期刊: 人工知能学会誌 19
• 作者: 鈴木義崇;東条 敏
• 通讯作者: 東条 敏

マルチエージェントモデルのための時相論理とその効率的な証明探索手続き

多智能体模型的时态逻辑及其高效的证明搜索过程

• 发表时间: 2003
• 期刊: コンピュータソフトウェア 20
• 作者: 丸山晃生;小野寛晰;東条 敏
• 通讯作者: 東条 敏

Occurrence Logic with Temporal Heredity.

具有时间遗传的发生逻辑。

• 发表时间: 2003
• 期刊: IICAI
• 作者: S.Yoshioka;K.Kaneiwa;S.Tojo.
• 通讯作者: S.Tojo.