Deductive algorithmic knowledge

Journal of Logic and Computation

Volumn 16, Issue 2, 2006, Pages 287-309

  Pucella, Riccardo ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

Author keywords

Algorithmic knowledge; Axiomatizations; Deductive systems; Epistemic logic; Explicit knowledge

Indexed keywords

ALGORITHMS; COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; FORMAL LOGIC; INTELLIGENT AGENTS; POLYNOMIAL APPROXIMATION; PROBLEM SOLVING;

ALGORITHMIC KNOWLEDGE; AXIOMATIZATIONS; DEDUCTIVE SYSTEMS; EPISTEMIC LOGIC; EXPLICIT KNOWLEDGE;

KNOWLEDGE ACQUISITION;

EID: 33645745601     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi078     Document Type: Article

References (25)

1. M. Abadi and P. Rogaway. Reconciling two views of cryptography (the computational soundness of formal encryption). In Proceedings of IFIP International Conference on Theoretical Computer Science (TCS'00), volume 1872 of Lecture Notes in Computer Science, pp. 3-22. Springer-Verlag, 2000.
2. C. E. Alchourrón, P. Gärdenfors and D. Makinson. On the logic of theory change: partial meet functions for contraction and revision, Journal of Symbolic Logic, 50, 510-530, 1985.
3. D. Dolev and A. C. Yao. On the security of public key protocols, IEEE Transactions on Information Theory, 29, 198-208, 1983.
4. J. J. Elgot-Drapkin and D. Perlis. Reasoning situation in time I: basic concepts, Journal of Experimental and Theoretical Artificial Intelligence, 2, 75-98, 1990.
5. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.
6. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
7. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-omniscient belief as context-based reasoning. In Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 548-554, 1993.
8. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, 54, 319-379, 1992.
9. J. Y. Halpern, Y. Moses, and M. Y. Vardi. Algorithmic knowledge. In Proceedings of 5th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'94), pp. 255-266. Morgan Kaufmann, 1994.
10. J. Y. Halpern and R. Pucella. Modeling adversaries in a logic for reasoning about security protocols. In Proceedings of Workshop on Formal Aspects of Security (FASec '02), volume 2629 of Lecture Notes in Computer Science, pp. 115-132, 2002.
11. J. Y. Halpern and R. Pucella. Probabilistic algorithmic knowledge, Logical Methods in Computer Science, 1, (3:1), 2005.
12. P. J. Higgins. Algebras with a scheme of operators, Mathematische Nachrichten, 27, 115-132, 1963.
13. J. Hintikka. Knowledge and Belief. Cornell University Press, 1962.
14. G. Hughes and M. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
15. A. N. Kaplan and L. K. Schubert. A computational model of belief, Artificial Intelligence, 120, 119-160, 2000.
16. K. Konolige. A Deduction Model of Belief. Morgan Kaufmann, 1986.
17. R. E. Ladner. The computational complexity of provability in systems of modal prepositional logic, SIAM Journal on Computing, 6, 467-480, 1977.
18. L. V. S. Lakshmanan and F. Sadri. On a theory of probabilistic deductive databases, Theory and Practice of Logic Programming, 1, 5-42, 2001.
19. H. J. Levesque. A logic of implicit and explicit belief. In Proc. 4th National Conference on Artificial Intelligence (AAAI'84), pp. 198-202, 1984.
20. T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events, Journal of Artificial Intelligence Research, 10, 199-241, 1999.
21. D. McAllester. Automatic recognition of tractability in inference relations, Journal of the ACM, 40, 284-303, 1993.
22. J. L. Pollock and J. Cruz. Contemporary Theories of Knowledge. Rowman & Littlefield, second edition, 1999.
23. R. Pucella. Deductive algorithmic knowledge. In Proc. 8th International Symposium on Artificial Intelligence and Mathematics, 2004. AI&M 22-2004.
24. S. J. Rosenschein. Formal theories of knowledge in AI and robotics, New Generation Computing, 3, 345-357, 1985.
25. B. Selman and H. Kautz. Knowledge compilation and theory approximation, Journal of the ACM, 43, 193-224, 1996.