2016 Fiscal Year Annual Research Report
Distribute Inference to Support Inter-subjective Formalization and its Application to Sensor Networks
| Project/Area Number |
25540101
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
沼尾 正行 大阪大学, 産業科学研究所, 教授 (30198551)
|
|---|
| Project Period (FY) |
2013-04-01 – 2017-03-31
|
| Keywords | 間主観 / 論理型言語 / 分散推論 / 帰納論理プログラミング / FPGA / センサーネットワーク |
|---|
| Outline of Annual Research Achievements |
作成中分散配置されたハードウェアのネットワーク全体で、高階の述語計算を行う方法を提案した。高階の述語を両辺に持つ規則で書き換える機構を実現するのに、計算ノード上にスイッチ、状態記憶と演算回路を配置する。規則中のリテラルLi, Ri が、「(引数1, …,引数p)」と記述されるとする。通常、引数1に述語名を書くが、変数を置くことで高階の柔軟な処理をする。ルールの形式は、「 L1, …, Lm :- R1, …, Rn. 」とする。この形の規則を注意深く記述することで、各種の論理や代数の計算が行える。エキスパートシステムで用いられたプロダクションシステムに似ているが、作業記憶を分散配置することで、分散システムにも適した方法となる。またこの方法によれば、センサネットワークのセンサ間で信憑の候補をやりとりすることが可能になる。すなわち、セマンティックセンサネットワークの構築が容易となる。
申請者の所属する大阪大学産業科学研究所では、ベルギーのルーベンカトリック大学が運営するimec と共同で、次世代エレクトロニクス技術の開発を進めている。また、ルーベンカトリック大学のコンピュータ科学科には、論理と機械学習の専門家が多く在籍している。これらの研究者と共同研究を行うため、ルーベンカトリック大学およびそれと隣接するimec と継続的なテレビ会議と日本での打合せを行った。
|
Research Products
(5 results)
