| 1 | Introduction | .... 4 |
| 2 | Co-LODEX Overview | .... 7 |
| 3 | Cooperative Distributed Agents | .... 9 |
| 3.1 | Configration and Communication | .... 9 |
| 3.2 | Datapath Design Agent | .... 11 |
| 3.3 | Control Design Agent | .... 12 |
| 3.4 | User Interface Agent | .... 12 |
| 4 | Redesign Based on Assumption-Based Reasoning | .... 13 |
| 4.1 | Hierarchical Design Description | .... 13 |
| 4.2 | Nogood justification | .... 14 |
| 4.3 | NJ Expansion | .... 15 |
| 4.4 | NJ Generation | .... 16 |
| 4.5 | Redesign Algorithm | .... 16 |
| 5 | Status and Conclusions | .... 19 |
| Acknowledgement | .... 20 | |
| References | .... 21 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports