计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2009年
7期
85-87
,共3页
多Agent系统%模态逻辑%认知逻辑%常识%分布式知识
多Agent繫統%模態邏輯%認知邏輯%常識%分佈式知識
다Agent계통%모태라집%인지라집%상식%분포식지식
Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用.逻辑学的理论为人工智能的发展提供了有力的工具.介绍了Agent系统设计的逻辑学基础,以及模态逻辑和认知逻辑,在此基础之上重点介绍了多Agent系统中的常识和分布式知识.
Agent的形式化研究已成為人工智能、哲學邏輯和計算語言學共同關心的重要課題,有著廣汎的應用.邏輯學的理論為人工智能的髮展提供瞭有力的工具.介紹瞭Agent繫統設計的邏輯學基礎,以及模態邏輯和認知邏輯,在此基礎之上重點介紹瞭多Agent繫統中的常識和分佈式知識.
Agent적형식화연구이성위인공지능、철학라집화계산어언학공동관심적중요과제,유착엄범적응용.라집학적이론위인공지능적발전제공료유력적공구.개소료Agent계통설계적라집학기출,이급모태라집화인지라집,재차기출지상중점개소료다Agent계통중적상식화분포식지식.
