W - A Logic System Based on the Shared Common Knowledge Views

Wang, Xianchang; Chen, Huowang; Zhao, Quingping; Li, Wei

W - A Logic System Based on the Shared Common Knowledge Views

Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Distributed AI. Pages 410-414.

Abstract

In this paper, we give a logic system - W based on the view of shared common knowledge, and prove some properties ofW. By W, we effectively describe and solve the Conway Paradox, the typical multi-agent problem involving common knowledge. Keywords: Common Knowledge, Agent, Proof, Logic, Reasoning.

Xianchang Wang, Huowang Chen, Quingping Zhao, and Wei Li. 1993. W - A Logic System Based on the Shared Common Knowledge Views. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 410–414. https://ijcai.org/proceedings/1993/58

@inproceedings{ijcai1993p58,
  title     = {W - A Logic System Based on the Shared Common Knowledge Views},
  author    = {Wang, Xianchang and Chen, Huowang and Zhao, Quingping and Li, Wei},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {410--414},
  year      = {1993},
  note      = {Distributed AI},
  url       = {https://ijcai.org/proceedings/1993/58},
}

TY  - CPAPER
TI  - W - A Logic System Based on the Shared Common Knowledge Views
AU  - Wang, Xianchang
AU  - Chen, Huowang
AU  - Zhao, Quingping
AU  - Li, Wei
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 410
EP  - 414
UR  - https://ijcai.org/proceedings/1993/58
ER  -