| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2015年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2013年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| 研究成果の概要 |
分散配置されたハードウェアのネットワーク全体で、高階の述語計算を行う方法を提案した。高階の述語を両辺に持つ規則で書き換える機構を実現するのに、計算ノード上にスイッチ、状態記憶と演算回路を配置する。規則中のリテラルLi, Ri が、「(引数1, …,引数p)」と記述されるとする。通常、引数1に述語名を書くが、変数を置くことで高階の柔軟な処理をする。ルールの形式は、「 L1, …, Lm :- R1, …, Rn. 」とする。この形の規則を注意深く記述することで、各種の論理や代数の計算が行える。プロダクションシステムに似ているが、作業記憶を分散配置することで、分散システムにも適した方法となる。
|
