| 基于动态逻辑的Agent的形式化模型 | 第1页 |
| <中文摘要> | 第3页 |
| <中文关键词> | 第3-38页 |
| 1 概述 | 第5-10页 |
| 2 基于动态逻揖的Agent的形式化模型 | 第10-30页 |
| 3 BDIK_h模型的可靠性和完备性 | 第30-35页 |
| 4 BDIK_h模型的应用─行为预测 | 第35-36页 |
| 5 结论 | 第36-38页 |
| <参考文献> | 第38-41页 |
| A Dynamic Logic-Based Formal Model of Agent | 第41页 |
| <英文摘要> | 第41页 |
| <英文关键词> | 第41-75页 |
| 1 Introduction | 第43-44页 |
| 2 The dynamic logic-based formal model of agents system | 第44-66页 |
| 3 The completeness of BDIK_h model | 第66-71页 |
| 4 Application-Action Prediction | 第71-72页 |
| 5 Conclusion | 第72-75页 |
| <参考文献> | 第75-79页 |
| Agent系统综述 | 第79页 |
| <中文摘要> | 第79-87页 |
| 1 分布式人工智能的研究进展 | 第81-87页 |
| <参考文献> | 第87-103页 |
| 2 Agent系统 | 第88-103页 |
| <参考文献> | 第103-112页 |
| 3 Agent思维状态模型 | 第105-112页 |
| <参考文献> | 第112-116页 |
| Agent System:a survey | 第116页 |
| <英文摘要> | 第116-124页 |
| 1 Distributed Artificial Intelligence | 第118-124页 |
| <参考文献> | 第124-135页 |
| 2 Agent System | 第125-135页 |
| <参考文献> | 第135-148页 |
| 3 Agent mental states models | 第138-148页 |
| <参考文献> | 第148-151页 |
