CAJ | 학술논문

通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过＂泥孩问题＂的推理展示了该形式系统的创建方法,多主体环境下的主体认知能力可以通过通信规则和公理加以描述,公共知识的刻画可以通过主体之间共享语言片段完成.由于针对不同的应用背景可以选择不同的公理和规则,该系统具有通用性.
통신신식계통CIS묘술료다주체적신식표시화통신방법.저충계통시경전명제라집재다주체배경중적확장.통과＂니해문제＂적추리전시료해형식계통적창건방법,다주체배경하적주체인지능력가이통과통신규칙화공리가이묘술,공공지식적각화가이통과주체지간공향어언편단완성.유우침대불동적응용배경가이선택불동적공리화규칙,해계통구유통용성.
An approach,which is called Communicated Information Systems,is introduced to describe the information available in a number of agents and specify the information communication among the agents.The systems may be regarded as the extensions of classical propositional logics in multi-agents context.By examing reasoning about ＇muddy boy puzzle＇,the formalization has been showed.One may model cognitive ability of agents in contextual conditions by communicated rules and axioms.The common knowledge can be characterized by agents sharing some specical pieces of local languanges.Since the corresponding communication rules can be chosen for different applications,the approach is general purpose one.