A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

Knowledge-Based Systems - Tập 23 - Trang 162-168 - 2010
Lijun Wu1, Jinshu Su2, Kaile Su3, Xiangyu Luo4, Zhihua Yang5
1School of Computer Science, University of Electronic Science and Technology, Chengdu 410073, China
2School of Computer Science, National University of Defense and Technology, Changsha 610054, China
3School of Electronics Engineering and Computer Science, Peking University, Beijing 10084, China
4School of Software, Tsinghua University, Beijing 10084, China
5Information School, Guangdong University of Business Studies, Guangzhou 510320, China

Tài liệu tham khảo

Hintikka, 1962

Lenzen, 1978, Recent work in epistemic logic, Acta Philosophica Fennica, 30, 1

Fagin, 1995

Meyer, 1995, vol. 41

Aumann, 1995, Epistemic conditions for nash equilibrium, Econometrica, 63, 16, 10.2307/2171725

Fisher, 1977, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, 18, 194, 10.1016/0022-0000(79)90046-1

Harel, 2000

van Ditmarsch, 2005, Dynamic epistemic logic with assignment, vol. 1, 141

J. Plaza, Logics of public communications , in: Proceedings of the Fourth International Symposium on Methodologics for Intelligent System, 1989, pp. 201–216.

J. Gerbrandy, Bisimulation on planet Kripke, Ph.D. thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01, 1999.

J. Van Bentem, Logics of information update, in: Proceedings of TARK VIII, Los Altos, 2001, pp. 51–88.

van Ditmarsch, 2002, Description of game actions, Journal of Logic, Language and Information, 11, 349, 10.1023/A:1015590229647

Peleg, 1987, Concurrent dynamic logic, Journal of the ACM, 34, 450, 10.1145/23005.23008

Peleg, 1987, Communication in concurrent dynamic logic, Journal of Computer and System Sciences, 35, 23, 10.1016/0022-0000(87)90035-3

H. van Ditmarsch, W. van der Hoke, B. Kooi, Concurrent dynamic epistemic logic for MAS, in: Knowledge Contributors, Dordrecht, 2003, pp. 45–82.

Kaile Su, Abdul Sattar, et al., A computational grounded logic of knowledge, belief and certainty, in: AAMAS-2005, pp. 149–156.

Lamarre, 1994, Knowledge, certainty, belief, and conditionalisation, 415

A.Baltag, L.Moss, S.Solecki. The logic of public announcements, common knowledge and private suspicions. CWI Technical Report SEN-R9922, 1999.

Agotnes, 2009, Completeness and complexity of multi-modal CTL, Electronnic Notes Theoretical Computer Science, 231, 259, 10.1016/j.entcs.2009.02.040

Baeten, 1990

Levesque, 1998, Foundations for the situation calculus, Electronic Transactions on Artificial Intelligence, 2, 159

Thông tin
Thông tin xuất bản

Knowledge-Based Systems

Tập 23

162-168

Thông tin tác giả