Limited logical belief analysis

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

Volumn 1209, Issue , 1997, Pages 104-118

  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; SEMANTICS; SYNTACTICS;

ARBITRARY SETS; KRIPKE SEMANTICS; LOGICAL ANALYSIS; MODEL AGENTS; POSSIBLE WORLDS; RATIONAL AGENTS; REASONERS; TABLEAUX METHODS;

INTELLIGENT AGENTS;

EID: 21744446545     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62686-7_31     Document Type: Conference Paper

References (29)

1. Bell, J., Machover, M., A Course in MathematicM Logic, North Holland, 1977.
2. Beth, E., 'Semantic entailment and formal derivability', in Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde 13, 309-342, 1955.
3. Cresswell, M., 'Intensional logics and logical truth', Journal of Philosophical Logic 1, 2-15, 1972.
4. Delgrande, J., 'A framework for logics of explicit belief', Computational Intelligence 11, 47-86, 1995.
5. Fagin, R., Halpern, J., 'Belief, awareness and limited reasoning', Proceedings of IJCAI-85, 491-501, 1985.
6. Fagin, R., Halpern, J., Moses, Y., Vardi, M., Reasoning about Knowledge, MIT Press, 1995.
7. Halpern, J., 'Reasoning about knowledge: an overview', Proceedings of TARK-86, 1-17, 1986.
8. Halpern, J., Moses Y., 'A guide to completeness and complexity for modal logics of knowledge and belief', ArtificiM Intelligence 54, 319-379, 1992.
9. Hintikka, J., Knowledge and Belief, Cornell University Press, Ithaca, N.Y., 1962.
10. Hintikka, J., 'Impossible possible worlds vindicated', JournM of Philosophical Logic 4,475-484, 1975.
11. Hintikka, J, 'On the logic of an interrogative model of scientific inquiry', Synthese 47, 69-83, 1981.
12. Hintikka, J., 'Reasoning about knowledge in philosophy: the paradigm of epistemic logic', Proceedings of TARK-86, 63-80, 1986.
13. Hintikka, J., 'The interrogative model of inquiry as a general theory of argumentation', Communication and Cognition 25, 221-242, 1992.
14. Hughes, G., Cresswell, M., An Introduction to Modal Logic, Methuen and Co., 1968.
15. Jaspars, J., Calculi for Constructive Communication, Institute for Logic, Language and Computation, ILLC Dissertation Series 1994-4, 1994.
16. Konolige, K., A Deduction Model of Belief, Morgan Kaufmann, 1986.
17. Kripke, S., 'A semantical analysis of modal logic I: normal modal propositional calculi', Zeitschrift für Mathematische Logik und Grundlagen Mathematik 9, 67-96, 1963.
18. Levesque, H., 'A logic of implicit and explicit belief', Proceedings of AAAI- 84,198-202, 1984.
19. McArthur, G., 'Reasoning about knowledge and belief." a survey', Computational Intelligence 4, 223-243, 1988.
20. Moreno, A., Sales, T., 'Dynamic belief analysis', Workshop on Agent Theories, Architectures and Languages, ATAL-96, at the European Conference on Artificial Intelligence, ECAI-96, Budapest, Hungary, August 1996.
21. Moreno, A., Sales, T., 'Dynamic belief modelling', Fourth InternationaJ Colloquium on Cognitive Science, Donostia, May 1995. An extended version is available as Research Report 95-28-R, Department of Software, Technical University of Catalonia (UPC), 1995.
22. Moreno, A.,'Dynamic belief analysis', Research Report 73, Human Communication Research Centre, University of Edinburgh, 1995.
23. Popper, K., The Logic of Scientific Discovery, Hutchinson and Co. Ltd., 1934.
24. Rao, A., Georgeff, M., 'Modelling rational agents within a BDIarchitecture', Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, KRR-91, 1991.
25. Rao, A., Georgeff, M., 'BDI agents: from theory to practice', Proceedings of the International Conference on Multi-Agent Systems, 1995.
26. Reichgelt, H., 'Logics for reasoning about knowledge and belief', Knowledge Engineering Review 4, 119-139, 1989.
27. Rescher, N., Brandom, R., The Logic of Inconsistency, Rowman and Littlefield Eds., 1979.
28. Shoham, Y., 'Varieties of context', in Artificial Intelligence and Mathematical Theory of Computation, 393-408, Academic Press, 1991.
29. Smullyan, R., First-order logic, Springer Verlag, 1968.