| Project/Area Number |
09650444
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
System engineering
|
|---|
| Research Institution | HOKKAIDO INSTITUTE OF TECHNOLOGY |
|---|
Principal Investigator |
KURIHARA Masahito HOKKAIDO INSTITUTE OF TECHNOLOGY, DEPARTMENT OF ELECTRICAL ENGINEERING, PROFESSOR, 工学部, 教授 (50133707)
|
|---|
| Project Period (FY) |
1997 – 1999
|
| Project Status |
Completed (Fiscal Year 1999)
|
| Budget Amount *help |
¥3,400,000 (Direct Cost: ¥3,400,000)
Fiscal Year 1999: ¥400,000 (Direct Cost: ¥400,000)
Fiscal Year 1998: ¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 1997: ¥200,000 (Direct Cost: ¥200,000)
|
|---|
| Keywords | agent / distributed constraint satisfaction / verification / diagnosis / rewrite system / termination / completion / 停止性検証 / 二分決定グラフ / 項書換え系 |
|---|
| Research Abstract |
This research focuses distributed constraint satisfaction of agents, develops organization of agents for their reasoning ability, and applies it to verification and diagnosis problems of computer systems. The results are summarized by the following four items.
1. Verification of software is investigated by formulating termination verification of rewrite systems as constraint satisfaction problems. The method for solving these problems is developed which organizes the agents by using the structure of binary decision diagrams (BDDs). The point is that the agents do not work independently, but share the information by exchanging it through the organized BDD structure, thus making the overall system more efficient.
2. Completion procedures of equational systems, a reasoning mechanism for constraint satisfaction of equality-based specifications, are multi-agentified for its application to hardware fault diagnosis in mind. This allows the agents to handle the partial orders in parallel and cooperate via the unique truth maintenance system, leading to efficient constraint satisfaction procedures.
3. A reflective computation mechanism is introduced into the rewrite language as a structural framework of epistemic agents for rewrite programs. Message exchange protocols between base- and meta-levels are designed. Axiomatic definition of agents' behavior is developed, while its operational semantics defines the model of computation for agents.
4. Agent-based distributed constraint satisfaction systems and fault diagnosis systems on real network environments are implemented in Java-based distributed object-oriented software architecture. The evaluation by typical test problems shows its effectiveness as expected.
|
