权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Research on Temporal Spatial Logic on the Verification of Behaviors of Multi-Agents Considering Security

考虑安全的多智能体行为验证时空逻辑研究

基本信息

批准号：
14580434
负责人：
TAKAHASHI Kazuko
金额：
$ 1.79万
依托单位：
Kwansei Gakuin University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14580434/
关键词：
multiagents security temporal spatial reasoning RCC knowledge representation verification system process 定性空間推論

项目摘要

This research aims at the development of software high reliability by providing a theoretical model for the multiagents' behaviors in the distributed environment, and developing the software based on this model.The research results are as follows :1.We have developed prototypes : multiagent controlling system in ad-hoc networks, access controlling system to distributed resources, and arrangement system for meeting schedules, and evaluated these systems by simulation. We have also discussed the introduction of verifying agents. As the result, we have proposed the mechanism that is applicable to environmental change without loading the heavy burden onto the network even if behaviors or intentions of agents conflict with each other.2.We have extended RCC(Region Connection Calculus), one of temporal spatial reasoning systems, and proposed the model which can handle the spatial property and semantical property in a corporate manner. We have explored the complete algorithm in that positional relations of regions can be derived from semantical properties that hold on regions and vise versa. We have also implemented the system which transforms the numerical data representing figure or image to the symbolic expression, and the system for checking the equivalence of the expressions. As the result, we have extended the field of applications of temporal spatial reasoning systems.3.We have modelled a beard game using process algebra, and showed that we can represent formally the interaction between processes and state transitions. We have also verified the termination of one turn and that of the entire game using a model checker. This approach can be applied to such problems as periodicity and termination of the propagation in agent communications.

本研究旨在为分布式环境下多Agent的行为提供一个理论模型，并在此模型的基础上进行软件的高可靠性开发，主要研究成果如下：1.开发了ad-hoc网络中的多Agent控制系统、分布式资源访问控制系统和会议日程安排系统等原型系统，并对这些原型系统进行了仿真评估。我们还讨论了采用核查人员的问题。因此，我们提出了适用于环境变化的机制，即使代理的行为或意图相互冲突，也不会给网络带来沉重的负担。2.我们扩展了时间空间推理系统RCC（Region Connection Calculus），提出了一种能够以合作的方式处理空间属性和语义属性的模型。我们已经探索了完整的算法，区域的位置关系可以从区域的语义属性中推导出来，反之亦然。我们还实现了将数字数据表示的图形或图像转换为符号表达式的系统，以及检查表达式的等价性的系统。3.利用进程代数对胡子博弈进行了建模，并证明了进程代数可以形式化地表示进程与状态转移之间的相互作用。我们还使用模型检查器验证了一个回合的终止和整个游戏的终止。这种方法可以应用于代理通信中的传播周期性和终止性等问题。

项目成果

期刊论文数量（83）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Qualitative Spatial Reasoning about Propagation of Properties

关于属性传播的定性空间推理

DOI：
发表时间：
2003
期刊：
Proceedings of the 20th Annual Meeting of Japan Society for Software Science and Technology September(CD-R)
影响因子：
0
作者：
Amano;M.;Kazuko TAKAHASHI
通讯作者：
Kazuko TAKAHASHI

ボードゲームBAOの動作の解析とモデルチェッカによる検証

使用模型检查器分析棋盘游戏 BAO 的行为并进行验证

DOI：
发表时间：
2004
期刊：
第9回ゲームプログラミングワークショップ2004講演論文集
影响因子：
0
作者：
稲畑康博;高橋和子
通讯作者：
高橋和子

モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張および効率化

使用移动代理的动态网络路由系统的扩展和效率提高

DOI：
发表时间：
2003
期刊：
電子情報通信学会論文誌 J86-B,11
影响因子：
0
作者：
河原崎兼介;高橋和子
通讯作者：
高橋和子

河原崎兼介, 高橋和子: "モバイルエージェントを用いたネットワークルーティングシステムの拡張および効率化"情報処理学会第65回全国大会論文集. (印刷中). (2003)

Kensuke Kawarazaki、Kazuko Takahashi：“使用移动代理的网络路由系统的扩展和效率”第 65 届日本信息处理学会全国会议论文集（2003 年）。

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study

密集交互环境中不完整信息的多智能体规划：案例研究

DOI：
发表时间：
2004
期刊：
K.G.Studies in Computer Science, Kwansei Gakuin University 18
影响因子：
0
作者：
高橋和子;川島千明
通讯作者：
川島千明

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

TAKAHASHI Kazuko其他文献

The Semantics of Should Revisited

“应该重新审视”的语义

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Akinobu Sakata;Takamasa Kikuchi;Ryuichi Okumura;Masaaki Kunigami;Atsushi Yoshikawa;Masayuki Yamamura;Takao Terano.;高橋　和子;吉田智佳;吉田智佳;大谷麻美;八木橋宏勇;髙橋　和子;吉田智佳;菊池聡;吉田智佳;TAKAHASHI Kazuko;藤原隆史;伊藤摂子;（編著者）大瀧綾乃・中川右也・若林茂則　（著者）上田　功・寺尾　康・小川睦美・須田孝司・吉田智佳・平川眞規子・大滝宏一・近藤隆子・若林茂則・白畑知彦・横田秀樹;中山実・菊池聡・山本洋雄;髙橋　和子・伊藤　摂子;TAKAHASHI Kazuko;Miki Hanazaki ＆Kazuo Hanazaki
通讯作者：
Miki Hanazaki ＆Kazuo Hanazaki

絵本の内容と外国語活動の単元を紐づけた活動方法の提案 -『Let’s Try! 1』Unit 4 I like blue.の単元と絵本を用いた活動

将图画书的内容与外语活动单元相结合的活动方法提案——“尝试吧！”第4单元我喜欢使用该单元和图画书的活动。

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Akinobu Sakata;Takamasa Kikuchi;Ryuichi Okumura;Masaaki Kunigami;Atsushi Yoshikawa;Masayuki Yamamura;Takao Terano.;高橋　和子;吉田智佳;吉田智佳;大谷麻美;八木橋宏勇;髙橋　和子;吉田智佳;菊池聡;吉田智佳;TAKAHASHI Kazuko;藤原隆史;伊藤摂子;（編著者）大瀧綾乃・中川右也・若林茂則　（著者）上田　功・寺尾　康・小川睦美・須田孝司・吉田智佳・平川眞規子・大滝宏一・近藤隆子・若林茂則・白畑知彦・横田秀樹;中山実・菊池聡・山本洋雄;髙橋　和子・伊藤　摂子;TAKAHASHI Kazuko;Miki Hanazaki ＆Kazuo Hanazaki;髙橋　和子;八木橋宏勇;伊藤　摂子;伊藤　摂子
通讯作者：
伊藤　摂子

英語前置詞の中心義と周辺義における言語使用者の概念化についての一考察

语言使用者对英语介词中心和外围意义的概念化研究

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Akinobu Sakata;Takamasa Kikuchi;Ryuichi Okumura;Masaaki Kunigami;Atsushi Yoshikawa;Masayuki Yamamura;Takao Terano.;高橋　和子;吉田智佳;吉田智佳;大谷麻美;八木橋宏勇;髙橋　和子;吉田智佳;菊池聡;吉田智佳;TAKAHASHI Kazuko;藤原隆史
通讯作者：
藤原隆史

フルオンライン学習環境でのオンライン討論参加による批判的思考態度育成への学習者特性

通过在完全在线学习环境中参与在线讨论来培养批判性思维态度的学习者特征

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Akinobu Sakata;Takamasa Kikuchi;Ryuichi Okumura;Masaaki Kunigami;Atsushi Yoshikawa;Masayuki Yamamura;Takao Terano.;高橋　和子;吉田智佳;吉田智佳;大谷麻美;八木橋宏勇;髙橋　和子;吉田智佳;菊池聡;吉田智佳;TAKAHASHI Kazuko;藤原隆史;伊藤摂子;（編著者）大瀧綾乃・中川右也・若林茂則　（著者）上田　功・寺尾　康・小川睦美・須田孝司・吉田智佳・平川眞規子・大滝宏一・近藤隆子・若林茂則・白畑知彦・横田秀樹;中山実・菊池聡・山本洋雄
通讯作者：
中山実・菊池聡・山本洋雄

メディア報道におけるインタラクションの分析 ―言語学においてインタラクションを分析する意義を求めて―

媒体报道中的互动分析 - 寻找分析互动在语言学中的意义 -

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Akinobu Sakata;Takamasa Kikuchi;Ryuichi Okumura;Masaaki Kunigami;Atsushi Yoshikawa;Masayuki Yamamura;Takao Terano.;高橋　和子;吉田智佳;吉田智佳;大谷麻美;八木橋宏勇;髙橋　和子;吉田智佳;菊池聡;吉田智佳;TAKAHASHI Kazuko;藤原隆史;伊藤摂子;（編著者）大瀧綾乃・中川右也・若林茂則　（著者）上田　功・寺尾　康・小川睦美・須田孝司・吉田智佳・平川眞規子・大滝宏一・近藤隆子・若林茂則・白畑知彦・横田秀樹;中山実・菊池聡・山本洋雄;髙橋　和子・伊藤　摂子;TAKAHASHI Kazuko;Miki Hanazaki ＆Kazuo Hanazaki;髙橋　和子;八木橋宏勇;伊藤　摂子;伊藤　摂子;八木橋宏勇;高橋　和子;多々良直弘
通讯作者：
多々良直弘