Dynamic belief analysis

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

Volumn 1193, Issue , 2015, Pages 87-101

  Moreno, Antonio ^a   Sales, Ton ^b  

^a UNIVERSITAT ROVIRA I VIRGILI   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS; INTELLIGENT AGENTS; SEMANTICS;

KRIPKE SEMANTICS; NON IDEALS; POSSIBLE WORLDS; REASONING PROCESS;

SEMANTICS; COMPUTATIONAL LINGUISTICS;

EID: 84926333059     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (31)

1. J. Bell and M. Machover. A Course in Mathematical Logic. North Holland, 1977.
2. E. Beth. Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, 13:309-342, 1955.
3. B. Bretier and M. D. Sadek. A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Vedag, Heidelberg, 1996. In this volume.
4. M. Cresswell. Intensional logics and logical truth. Journal of Philosophical Logic, 1:2-15, 1972.
5. J. Delgrande. A framework for logics of explicit belief. Computational Intelligence, 11:47-86, 1995.
6. R. Fagin and J. Halpem. Belief, awareness and limited reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 491-501, 1985.
7. R. Fagin, J. Halpem, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
8. J. Halpem and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319-379, 1992.
9. J. Hintikka. Knowledge and Belief Comell University Press, Ithaca, N.Y., 1962.
10. J. Hintikka. Impossible possible worlds vindicated. Journal of Philosophical Logic, 4:475-484, 1975.
11. J. Hintikka. On the logic of an interrogative model of scientific inquiry. Synthese, 47:69-83, 1981.
12. J. Hintikka. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. In Proceedings of the International Conference on Theoretical Aspects of Reasoning about Knowledge, pages 63-80, 1986.
13. J. Hintikka. The interrogative model of inquiry as a general theory of argumentation. Communication and Cognition, 25:221-242, 1992.
14. G. Hughes and M. Cresswell. An Introduction to Modal Logic. Methuen and Co., 1968.
15. J. Jaspars. Calculi for Constructive Communication. PhD thesis, Institute for Logic, Language and Computation, 1994. ILLC Dissertation Series 1994-4.
16. K. Konolige. A Deduction Model of Belief Morgan Kaufmann, 1986.
17. S. Kripke. A semantical analysis of modal logic i: normal modal propositional calculi. Zeitschrift fur Mathematische Logik und Grundlagen Mathematik, 9:67-96, 1963.
18. H. Levesque. A logic of implicit and explicit belief. In Proceedings of the Conference of the American Association for Aartificial Intelligence, pages 198-202, 1984.
19. A. Lomuscio and M. Colombetti. QLB: a quantified logic for belief. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents I11 -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
20. G. McArthur. Reasoning about knowledge and belief: asurvey. Computationallntelligence, 4:223-243, 1988.
21. A. Moreno. Dynamic belief analysis. Technical report, Human Communication Research Centre, University of Edinburgh, 1995.
22. A. Moreno and T. Sales. Dynamic belief modelling. In ICCS, Donostia, May 1995. Extended version available as Research Report 95-28-R, Department of Software, Technical University of Catalonia.
23. A. Moreno and T. Sales. Limited logical belief analysis. In Workshop on Theoretical and Practical Foundations of Intelligent Agents, in Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, 1996. Extended version to appear in a special volume in Lecture Notes on Artificial Intelligence, Springer Verlag.
24. K. Popper. The Logic of Scientific Discovery. Hutchinson and Co., Ltd., 1934.
25. H. Reichgelt. Logics for reasoning about knowledge and belief. Knowledge Engineering Review, 4:119-139, 1989.
26. N. Rescher and R. Brandom. The Logic of Inconsistency. Rowman and Littlefield Eds., 1979.
27. Y. Shoham. Varieties of context. In Artificial Intelligence and Mathematical Theory of Computation, pages 393-408. Academic Press, 1991.
28. R. Smullyan. First-order logic. Springer Verlag, 1968.
29. M. Wooldridge. A knowledge-theoretic semantics for concurrent metatem. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III -- Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
30. Michael Wooldridge and Nicholas R. Jennings, editors. Intelligent Agents (LNAI Volume 890). Springer-Veflag, 1995.
31. Michael Wooldridge, Jorg P. Muller, and Milind Tambe, editors. Intelligent Agents II (LNAI Volume 1037). Springer-Verlag, 1996.