Epistemic states guiding the rational dynamics of information

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

Volumn 1886 LNAI, Issue , 2000, Pages 275-285

  Heidema, Johannes ^a   Burger, Isabella C ^b  

^a UNIVERSITY OF SOUTH AFRICA   (South Africa)

^b UNIVERSITY OF JOHANNESBURG   (South Africa)

Author keywords

Abduction; Belief revision; Epistemic states; Total preorders

Indexed keywords

ARTIFICIAL INTELLIGENCE; EQUIVALENCE CLASSES; SET THEORY; ALGEBRA; FORMAL LOGIC;

ABDUCTION; BELIEF CHANGE; BELIEF REVISION; BELIEF SETS; EPISTEMIC STATE; LINDENBAUM-TARSKI ALGEBRA; POSSIBLE WORLDS; TOTAL PREORDERS;

BOOLEAN ALGEBRA;

EID: 84867834987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44533-1_30     Document Type: Conference Paper

References (13)

1. Alchourrón, C, Gärdenfors, P., Makinson, D. (1985) "On the logic of theory change: Partial meet contraction and revision functions", Journal of Symbolic Logic 50, 510-530.
2. Bar-Hillel, Y., Carnap, Ft. (1953) "Semantic information", The British Journal for the Philosophy of Science 4, 147-157.
3. Brink, C. (1989) "Verisimilitude: Views and reviews", History and Philosophy of Logic 10, 181-201.
4. Dubois, D., Lang, J., Prade, H. (1991) "A possibilistic assumption-based truth maintenance system with uncertainty justifications, and its application to belief revision" pp. 87-106 in Martins, J.P., Reinfrank, M. (eds.) (1991) Truth maintenance systems (LNAI, Vol. 515), Springer-Verlag, Berlin.
5. Forbus, K.D., de Kleer, J. (1993) Building Problem Solvers, MIT Press, Cambridge MA.
6. Kuipers, T.A.F. (1987) "A structural approach to truthlikeness", pp. 79-99 in Kuipers, T.A.F. (ed.) (1987) What is Closer-to-the-truth? (Poznan Studies in the Philosophy of Science, Vol.10), Editions Rodopi, Amsterdam.
7. Kuipers, T.A.F. (1992) "Naive and refined truth approximation", Synthese 93, 299-341.
8. Laux, A., Wansing, H. (eds.) (1995) Knowledge and Belief in Philosophy and Artificial Intelligence (Series Logica Nova), Akademie Verlag, Berlin.
9. Miller, D. (1978) "On distance from the truth as a true distance", pp. 415-435 in Hintikka, J., Niiniluoto, I., Saarinen, E. (eds.) (1978) Essays in Mathematical and Philosophical Logic, D. Reidel, Dordrecht.
10. Nayak, A., Foo, N. (1998) "Reasoning without minimality", pp. 122-133 in Lee, H., Motoda, H. (eds.) (1998) PRICAP98: Topics in Artificial Intelligence. Proceedings of the Fifth Pacific Rim International Conference on Artificial Intelligence (LNAI, Vol. 1531), Springer-Verlag, Berlin.
11. Nayak, A., Foo, N. (1999) "Abduction without minimality", pp. 365-377 in Foo, N. (ed.) (1999) Advanced Topics in Artificial Intelligence. Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI'99) (LNAI, Vol. 1747), Springer-Verlag, Berlin.
12. Niiniluoto, I. (1998) "Verisimilitude: The third period", The British Journal for the Philosophy of Science 49, 1-29.
13. Zwart, S.D. (1998) Approach to the Truth: Verisimilitude and Truthlikeness (ILLC Dissertation Series 1998-02), Institute for Logic, Language and Computation, Amsterdam.