메뉴 건너뛰기




Volumn 13, Issue 1, 2003, Pages 15-35

Controlled revision - An algorithmic approach for belief revision

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; CONSTRAINT THEORY; DATABASE SYSTEMS; MATHEMATICAL MODELS; THEOREM PROVING;

EID: 12244309125     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/13.1.15     Document Type: Article
Times cited : (28)

References (33)
  • 1
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet contraction and revision functions
    • C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions, Journal of Symbolic Logic, 50, 510-530, 1985.
    • (1985) Journal of Symbolic Logic , vol.50 , pp. 510-530
    • Alchourrón, C.1    Gärdenfors, P.2    Makinson, D.3
  • 3
    • 0030712510 scopus 로고    scopus 로고
    • On the logic of iterated belief revision
    • A. Darwiche and I. Pearl. On the logic of iterated belief revision, Artificial Intelligence, 89, 1-29, 1997.
    • (1997) Artificial Intelligence , vol.89 , pp. 1-29
    • Darwiche, A.1    Pearl, I.2
  • 4
    • 0018544688 scopus 로고
    • A truth maintenance system
    • J. Doyle. A truth maintenance system, Artificial Intelligence, 12, 231-272, 1979.
    • (1979) Artificial Intelligence , vol.12 , pp. 231-272
    • Doyle, J.1
  • 5
    • 0002404185 scopus 로고
    • Reason maintenance and belief revision - Foundations vs. Coherence theories
    • P. Gärdenfors, ed.; Cambridge University Press
    • J. Doyle. Reason maintenance and belief revision - Foundations vs. Coherence theories. In Belief Revision, P. Gärdenfors, ed., pp. 29-51. Cambridge University Press 1992.
    • (1992) Belief Revision , pp. 29-51
    • Doyle, J.1
  • 9
    • 12244300879 scopus 로고    scopus 로고
    • Compromise update and revision: A position paper
    • R. Pareschi and B. Fronhöfer, eds; Applied Logic Series (12). Kluwer Academic Publishers, Dordrecht and Boston
    • D. M. Gabbay. Compromise update and revision: a position paper. In Dynamic Worlds - From the Frame Problem to Knowledge Management, R. Pareschi and B. Fronhöfer, eds, pp. 111-148, Applied Logic Series (12). Kluwer Academic Publishers, Dordrecht and Boston. 1999.
    • (1999) Dynamic Worlds - from the Frame Problem to Knowledge Management , pp. 111-148
    • Gabbay, D.M.1
  • 10
    • 0013328168 scopus 로고    scopus 로고
    • Revision by translation
    • B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh, eds.; Kluwer Academic Publishers, Dordrecht and Boston
    • D. M. Gabbay, O. Rodrigues, and A. Russo. Revision by translation. In Information, Uncertainty and Fusion, B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh, eds. pp. 3-31. Kluwer Academic Publishers, Dordrecht and Boston, 2000.
    • (2000) Information, Uncertainty and Fusion , pp. 3-31
    • Gabbay, D.M.1    Rodrigues, O.2    Russo, A.3
  • 11
    • 0003172978 scopus 로고    scopus 로고
    • Dynamics of practical reasoning
    • M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, eds; CSLI Publications, 2001
    • D. M. Gabbay. Dynamics of Practical Reasoning. In Advances in Modal Logic, Vol 2, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, eds, pp. 179-224. CSLI Publications, 2001.
    • Advances in Modal Logic , vol.2 , pp. 179-224
    • Gabbay, D.M.1
  • 16
    • 0002428155 scopus 로고
    • The dynamics of belief systems: Foundations vs. Coherence theories
    • P. Gärdenfors. The dynamics of belief systems: Foundations vs. Coherence theories. In Revue Internationale de Philosophie, 44, 42-46, 1990.
    • (1990) Revue Internationale de Philosophie , vol.44 , pp. 42-46
    • Gärdenfors, P.1
  • 19
    • 0000103388 scopus 로고
    • In defense of base contraction
    • S. O. Hansson. In defense of base contraction. Synthese, 91, 239-245, 1992.
    • (1992) Synthese , vol.91 , pp. 239-245
    • Hansson, S.O.1
  • 21
    • 0026383919 scopus 로고
    • Propositional knowledge base revision and minimal change
    • H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change, Artificial Intelligence, 52, 263-294, 1991.
    • (1991) Artificial Intelligence , vol.52 , pp. 263-294
    • Katsuno, H.1    Mendelzon, A.2
  • 22
    • 0001697333 scopus 로고
    • On the difference between updating a knowledge base and revising it
    • P. Gärdenfors, ed.; Cambridge University Press
    • H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Belief Revision, P. Gärdenfors, ed., pp. 183-203. Cambridge University Press, 1992.
    • (1992) Belief Revision , pp. 183-203
    • Katsuno, H.1    Mendelzon, A.2
  • 24
    • 84968442805 scopus 로고
    • Relations between the logic of theory change and nonmonotonic logic
    • A. Fuhrmann and M. Morreau, eds; Volume 465 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin
    • D. Makinson and P. Gärdenfors. Relations between the logic of theory change and nonmonotonic logic. In The Logic of Theory Change, A. Fuhrmann and M. Morreau, eds, pp. 185-205. Volume 465 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1991.
    • (1991) The Logic of Theory Change , vol.465 , pp. 185-205
    • Makinson, D.1    Gärdenfors, P.2
  • 26
    • 0002130827 scopus 로고
    • Syntax-based approaches to belief revision
    • P. Gärdenfors, ed., Cambridge University Press, Cambridge, MA
    • B. Nebel. Syntax-based approaches to belief revision. In Belief Revision, P. Gärdenfors, ed., pp. 52-88. Cambridge University Press, Cambridge, MA, 1992.
    • (1992) Belief Revision , pp. 52-88
    • Nebel, B.1
  • 29
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32, 57-95, 1987.
    • (1987) Artificial Intelligence , vol.32 , pp. 57-95
    • Reiter, R.1
  • 30
    • 0013328737 scopus 로고
    • Conditionals and theory change: Revision, expansions, and additions
    • H. Rott. Conditionals and theory change: Revision, expansions, and additions, Synthese, 81, 91-113, 1989.
    • (1989) Synthese , vol.81 , pp. 91-113
    • Rott, H.1
  • 31
    • 85026643511 scopus 로고
    • Logics of mental attitudes in AI
    • G. Lakemeyer and B. Nebel, eds; Vol 810 of Lecture Notes in Computer Science (Subseries LNAI). Springer-Verlag, Berlin
    • Y. Shoham and S. B. Cousins. Logics of mental attitudes in AI. In Foundations of Knowledge Representation and Reasoning, G. Lakemeyer and B. Nebel, eds, pp. 296-309. Vol 810 of Lecture Notes in Computer Science (Subseries LNAI). Springer-Verlag, Berlin, 1994.
    • (1994) Foundations of Knowledge Representation and Reasoning , vol.810 , pp. 296-309
    • Shoham, Y.1    Cousins, S.B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.