Studies on Route Construction Based on Paraconsistent Logic Program
Project/Area Number |
20500074
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Research Field |
Computer system/Network
|
Research Institution | University of Hyogo |
Principal Investigator |
NAKAMATSU Kazumi University of Hyogo, 環境人間学部, 教授 (60227874)
|
Co-Investigator(Kenkyū-buntansha) |
WATANABE Takashi 静岡大学, 総合科学技術大学院, 教授 (90201201)
|
Project Period (FY) |
2008 – 2010
|
Project Status |
Completed (Fiscal Year 2010)
|
Budget Amount *help |
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
Keywords | アドホックネットワーク / パラコンシステント論理プログラム / ネットワークルーティング |
Research Abstract |
We have developed a logical model for a multi-route protocol in networks, which is based on plausible and defeasible deontic reasoning in a paraconsistent logic program called Extended Vector Annotated Logic Program EVALPSN. The network routing simulation system based on the logical model is being constructed.
|
Report
(4 results)
Research Products
(18 results)