多Agent系统中的常识和分布式知识  

General Knowledge and Distributed Knowledge of Multi-Agent System

作　　者：缪治[1] 邓辉宇[1] 

机构地区：[1]武警工程学院基础部,西安710086

出　　处：《计算机与数字工程》2009年第7期85-87,共3页Computer & Digital Engineering

摘　　要：Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用。逻辑学的理论为人工智能的发展提供了有力的工具。介绍了Agent系统设计的逻辑学基础,以及模态逻辑和认知逻辑,在此基础之上重点介绍了多Agent系统中的常识和分布式知识。The study of Agent formalization has been an important task for artificial intelligence, philosophy, logic and computer language study. The theory of logic offers powerful tool for AI. The fundamental knowledge of logic is introduced in this paper, such as modal logic and epistemic logic. The general knowledge and distributed knowledge are introduced mainly.

关 键 词：多AGENT系统 模态逻辑 认知逻辑 常识 分布式知识 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]