A Multi-Agent Belief Logic and Its Generalization with Probability
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In this paper, a multi-agent belief logic named MBL (multi-agent belief logic) is presented firstly. Based on the classical belief logic, MBL is added into the modal operators of every-belief and common belief. Then the Kripke semantics and generalized Aumann semantics of MBL are given, the equivalence of the two semantics, the soundness and completeness of MBL about the two semantics are proved. Secondly, a multi agent probabilistic belief logic named MPBL (multi-agent probabilistic belief logic) is presented. By introducing the probability space on generalized Aumann model, the probabilistic Aumann semantics of MPBL are given, and its soundness about generalized Aumann semantics is proved. At last, some corollaries of MPBL are given.

    Reference
    Related
    Cited by
Get Citation

曹子宁,董红斌,石纯一.多Agent信念逻辑及其在概率意义下的推广.软件学报,2001,12(9):1366-1374

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 13,1999
  • Revised:April 20,2000
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063