A logical framework for knowledge sharing in multi-agent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2108, Issue , 2001, Pages 561-570

  Su, Kaile ^a,b   Luo, Xudong ^a   Wang, Huaiqing ^b   Zhang, Chengqi ^c   Zhang, Shichao ^a   Chen, Qingfeng ^a,c  

^a SUN YAT SEN UNIVERSITY   (China)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^c DEAKIN UNIVERSITY   (Australia)

Author keywords

Autonomous agents; Logic; Philosophical foundations

Indexed keywords

AUTONOMOUS AGENTS; COMBINATORIAL MATHEMATICS; COMPUTATION THEORY; COMPUTER CIRCUITS; KNOWLEDGE MANAGEMENT; PHILOSOPHICAL ASPECTS; SEMANTICS;

KNOWLEDGE-SHARING; LOGIC; LOGICAL FRAMEWORKS; MULTI-AGENT RESEARCH; MULTI-MODAL LOGIC; PROOF THEORY; SOUND AND COMPLETE;

MULTI AGENT SYSTEMS;

EID: 0010320882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44679-6_62     Document Type: Conference Paper

References (17)

1. Bond, A. and Gasser, L. (eds): Readings in Distributed Artificial Intelligence, Morgan Kaufman Publishers, 1988.
2. Cohen, P.R. and Levesque, H.J.: Communication actions for artificial agents. In Proc. of the First International Conference on Multi-Agent System, pp. 65-72, San Francisco, CA, 1995
3. FIPA: Specification part 2 - Agent communication language. The text refers to the specification dated 23 Oct 1997.
4. Gabbay, D.M.: Fibred semantics and the weaving of logics, part 1, modal and intuitionistic logics. Journal of Symbolic Logic, 61 (1996) 1057-1120
5. Halpern, J.Y.: Reasoning about knowledge: a survey. In D.Gabbay et al eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 4. Oxford University Press. pp.1-34, 1995
6. Halpern, J.Y.: A theory of knowledge and ignorance for many agents. Journal of Logic and Computation. 7 (1997) 79-108
7. Wiebe van der Hoek, Jan Jaspars, and Elias Thijisse. A general approach to multiagent. In M. Ojeda-Aciego et al. (Eds.): JELIA 2000, Lecture Notes in Computer Science, Vol. 1919, pages 254-268, Springer-Verlog, Berlin, 2000.
8. Kripke, S.: A semantical analysis of modal logic. I: Normal modal propositional calculi. Z. Math. Logik Grundl. Math. 9 (1963) 67-96.
9. Lakemeyer, G.: All they know: a study in multi-agent autoepistemic reasoning logic. In Proc. of IJCAI’93, pp.376-381, 1993
10. Lamarre, P. and Shoham, Y.: Knowledge, certainty, belief and conditionalisation. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR’94), pp.415-424, 1994
11. Levesque, J.: Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23 (1984) 155-212
12. Levesque, J.: All I know: a study in autoepistemic logic. Artificial Intelligence, 42 (1990) 263-309
13. McCarthy, J.: Circumscription: A form of nonmonotonic reasoning. Artificial Intelligence, 13 (1980) 27-39
14. Musen, M.A.: Dimensions of Knowledge Sharing and Reuse. Computers and Biomedical Research, 25(1992) 435-467
15. Patil, R.S., Fikes, R.E. and Patel-Schneider, P.F. et al. The DARPA Knowledge Sharing Effort: Progress Report. Readings in Agents, M. N. Huhns and M. P. Singh (eds.), Morgan Kaufmann Publishers, INc., pp. 243-254, 1998.
16. Reiter, R.: A logic for default reasoning, Artificial Intelligence, 13 (1980) 81-132
17. Wooldridge, M.: Verifying that Agents Implement a Communication Language. In Proceedings of AAAI-99, pp. 52-57, 1999.