Reasoning about Knowledge by Variable Forgetting

Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004

Volumn , Issue , 2004, Pages 576-586

  Su, Kaile ^a   Lv, Guanfeng ^a   Zhang, Yan ^b  

^a SUN YAT SEN UNIVERSITY   (China)

^b UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT KNOWLEDGE; BACKGROUND KNOWLEDGE; BASIC OPERATION; COMMON KNOWLEDGE; CONDITION; KNOWLEDGE REASONING; KNOWLEDGE STRUCTURES; OBSERVABLE VARIABLES; REASONING ABOUT KNOWLEDGE; SIMPLE++;

KNOWLEDGE BASED SYSTEMS;

EID: 84866948128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Abadi, M., and Tuttle, M. 1991. A semantics for a logic of authentication. In Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 201-216.
2. Baltag, A.; Moss, L.; and Solecki, S. 1998. The logic of public announcement, common knowledge, and private suspicions. In Gilboa, I., ed., Proc. TARK-98, 125-132. San Francisco: Morgan Kaufmann.
3. Baral, C., and Zhang, Y. 2001. On the semantics of knowledge update. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 97-102.
4. Boole, G. 1854. An Investigation of the Laws of Thought.
5. Burrows, M.; Abadi, M.; and Needham, R. M. 1990. A logic of authentication. ACM Transactions on Computer Systems 8(1).
6. Cervesato, I. 2001. The Dolev-Yao intruder is the most powerful attacker. In Proc. 16th Annual Int. Symp on Logic in Computer Science.
7. Dolev, D., and Yao, A. 1983. On the security of public-key protocols. Communications of the ACM 29(8):198-208.
8. Engelhardt, K.; van der Meyden, R.; and Moses, Y. 1998. Knowledge and the logic of local propositions. In Theoretical Aspects of Rationality and Knowledge, Proc. of TARK 1998, 29-41. Morgan Kaufmann.
9. Engelhardt, K.; van der Meyden, R.; and Su, K. 2003. Modal logics with a hierarchy of local propositional quantifiers. In Advance in Modal Logic, volume 4, 9-30. Kings College Publications.
10. Fagin, R.; Halpern, J.; Moses, Y.; and Vardi, M. 1995. Reasoning about knowledge. Cambridge, MA: MIT Press.
11. Gerbrandy, J. 1999. Bisimulation on Plant Kripke. Ph.D thesis, Institute for Logic, Language and Computation, University of Amsterdam.
12. Halpern, J., and Lakemeyer, G. 1996. Multi-agent only knowing. In TARK 1996, 251-265.
13. Halpern, J., and Zuck, L. 1992. A little knowledge goes a long way: Simple knowledge based derivations and correctness proofs for a family of protocols. Journal of the ACM 39(3):449-478.
14. Hintikka, J. 1962. Knowledge and Belief. Ithaca, NY: Cornell University Press.
15. Lang, J., and Marquis, P. 1998. Complexity results for independence and definability. In Proc. the 6th International Conference on Knowledge Representation and Reasoning, 356-367.
16. Lang, J., and Marquis, P. 2002. Resolving inconsistencies by variable forgetting. In Proc. of KR'2002, 239-250.
17. Levesque, H. 1990. All I know: a study in autoepistemic logic. Artificial Intelligence 42:263-309.
18. Lin, F., and Reiter, R. 1994. Forget it! In Greiner, R., and Subramanian, D., eds., Working Notes of AAAI Fall Symposium on Relevance, 154-159.
19. Lin, F. 2001. On the strongest necessary and weakest sufficient conditions. Artificial Intelligence 128:143-159.
20. Lomuscio, A. 1999. Knowledge Sharing among Ideal Agents. Ph.D thesis, School of Computer Science, University of Birmingham.
21. Lowe, G. 1996. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Margaria, and Steffen., eds., Tools and Algorithms for the Construction and Analysis of Systems, Vol 1055 of Lecture Notes in Computer Science, 147-166. Springer Verlag.
22. R.M.Needham, and M.D.Schroeder. 1978. Using encryption for authentication in large networks of computers. Communication of the ACM 21(12):993-999.
23. Syversion, P. F., and van Oorschot, P. 1996. An unified cryptographic protocol logic. Technical Report NRL Publication 5540-227, Naval Research Lab.
24. Tarski, A. 1955. A lattice-theoretical fixpoint theorem ans its applications. Pacific J. Math. 5:285-309.
25. van der Hock, W.; Jaspars, J.; and Thijsse, E. 2003. Theories of knowledge and ignorance. In S. Rahman, J. Symons, D. G., and van Bendegem, J., eds., Logic, Epistemology and the Unity of Science. Kluwer.
26. van der Hoek, W., and Wooldridge, M. 2002. Model checking knowledge and time. In Proc. 19th Workshop on SPIN (Model Checking Software), 95-111.
27. Weber, A. 1986. Updating propositional formulas. In Proc. First Conference on Expert Database Systems, 487-500.
28. Zhang, Y. 2003. Minimal change and maximal coherence for epistemic logic program updates. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 112-117.