메뉴 건너뛰기




Volumn 147, Issue 2, 2005, Pages 277-321

From knowledge-based programs to graded belief-based programs, part I: On-line reasoning

Author keywords

[No Author keywords available]

Indexed keywords


EID: 28844460455     PISSN: 00397857     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11229-005-1350-1     Document Type: Conference Paper
Times cited : (26)

References (40)
  • 2
    • 0033165498 scopus 로고    scopus 로고
    • Reasoning about noisy sensors and effectors in the situation calculus
    • Bacchus, F., J. Halpern, and H. Levesque: 1999, 'Reasoning about noisy sensors and effectors in the situation calculus', Artificial Intelligence 111, 171-208.
    • (1999) Artificial Intelligence , vol.111 , pp. 171-208
    • Bacchus, F.1    Halpern, J.2    Levesque, H.3
  • 3
    • 84880677805 scopus 로고    scopus 로고
    • Defeasible specifications in action theories
    • Baral, C. and J. Lobo: 1997, 'Defeasible specifications in action theories', in Proceedings of IJCAI'97.
    • (1997) Proceedings of IJCAI'97
    • Baral, C.1    Lobo, J.2
  • 4
    • 0012607804 scopus 로고    scopus 로고
    • A computational model for belief change and fusing ordered belief bases
    • M. A. Williams and H. Rott, (eds.), Kluwer Academic Publishers
    • Benferhat, S., D. Dubois, and H. Prade: 2001, 'A computational model for belief change and fusing ordered belief bases', in M. A. Williams and H. Rott, (eds.), Frontiers in Belief Revision, Kluwer Academic Publishers, pp. 109-134.
    • (2001) Frontiers in Belief Revision , pp. 109-134
    • Benferhat, S.1    Dubois, D.2    Prade, H.3
  • 5
    • 0035330792 scopus 로고    scopus 로고
    • Planning and control in artificial intelligence. A unifying perspective
    • Bonet, B. and H. Geffner: 2001, 'Planning and control in artificial intelligence. A unifying perspective', Applied Intelligence 3(14), 237-252.
    • (2001) Applied Intelligence , vol.3 , Issue.14 , pp. 237-252
    • Bonet, B.1    Geffner, H.2
  • 6
    • 0031698943 scopus 로고    scopus 로고
    • A unified model of qualitative belief change: A dynamical systems perspective
    • Boutilier, C.: 1998, 'A unified model of qualitative belief change: A dynamical systems perspective', Artificial Intelligence Journal 98(1-2), 281-316.
    • (1998) Artificial Intelligence Journal , vol.98 , Issue.1-2 , pp. 281-316
    • Boutilier, C.1
  • 10
    • 0030712510 scopus 로고    scopus 로고
    • On the logic of iterated belief revision
    • Darwiche, A., and J. Pearl: 1997, 'On the logic of iterated belief revision', Artificial Intelligence 87(1-2), 1-29.
    • (1997) Artificial Intelligence , vol.87 , Issue.1-2 , pp. 1-29
    • Darwiche, A.1    Pearl, J.2
  • 12
    • 0000516376 scopus 로고
    • Upper and lower probabilities induced by a multivaluated mapping
    • Dempster, A. P.: 1967, 'Upper and lower probabilities induced by a multivaluated mapping', in Annals Mathematics Statistics 38, 325-339.
    • (1967) Annals Mathematics Statistics , vol.38 , pp. 325-339
    • Dempster, A.P.1
  • 13
    • 0001245395 scopus 로고
    • Possibilistic logic
    • D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Clarendon Press - Oxford
    • Dubois, D., J. Lang, and H. Prade: 1994, 'Possibilistic logic', in D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of logic in Artificial Intelligence and Logic Programming, volume 3, Clarendon Press - Oxford, pp. 439-513.
    • (1994) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.3 , pp. 439-513
    • Dubois, D.1    Lang, J.2    Prade, H.3
  • 14
    • 0001631256 scopus 로고    scopus 로고
    • A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
    • Dubois, D., and H. Prade: 1997, 'A synthetic view of belief revision with uncertain inputs in the framework of possibility theory', International Journal of Approximate Reasoning 17(2-3), 295-324.
    • (1997) International Journal of Approximate Reasoning , vol.17 , Issue.2-3 , pp. 295-324
    • Dubois, D.1    Prade, H.2
  • 17
    • 0010311979 scopus 로고
    • Rank-based systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions
    • Goldszmidt, M. and J. Pearl: 1992, 'Rank-based systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions', in Proceedings of KR'92, pp. 661-672.
    • (1992) Proceedings of KR'92 , pp. 661-672
    • Goldszmidt, M.1    Pearl, J.2
  • 18
    • 0007720422 scopus 로고    scopus 로고
    • Turning high-level plans into robot programs in uncertain domains
    • Grosskreutz, H. and G. Lakemeyer: 2000, 'Turning high-level plans into robot programs in uncertain domains', in Proc. ECAI-2000, pp. 548-552.
    • (2000) Proc. ECAI-2000 , pp. 548-552
    • Grosskreutz, H.1    Lakemeyer, G.2
  • 19
    • 33751372095 scopus 로고    scopus 로고
    • A logic for planning under partial observability
    • Herzig, A., J. Lang, D. Longin, and Th. Polacsek: 2000, 'A logic for planning under partial observability', in AAAI-00, pp. 768-773.
    • (2000) AAAI-00 , pp. 768-773
    • Herzig, A.1    Lang, J.2    Longin, D.3    Polacsek, T.4
  • 20
    • 84880818961 scopus 로고    scopus 로고
    • Action representation and partially observable planning in epistemic logic
    • Herzig, A., J. Lang, and P. Marquis: 2003, 'Action representation and partially observable planning in epistemic logic', in Proceedings of IJCAI03, pp. 1067-1072.
    • (2003) Proceedings of IJCAI03 , pp. 1067-1072
    • Herzig, A.1    Lang, J.2    Marquis, P.3
  • 22
    • 0032073263 scopus 로고    scopus 로고
    • Planning and acting in partially observable stochastic domains
    • Kaelbling, L. P., M. L. Littman, and A. R. Cassandra: 1998, 'Planning and acting in partially observable stochastic domains', Artificial Intelligence 101, 99-134.
    • (1998) Artificial Intelligence , vol.101 , pp. 99-134
    • Kaelbling, L.P.1    Littman, M.L.2    Cassandra, A.R.3
  • 25
    • 85017356857 scopus 로고    scopus 로고
    • From knowledge-based programs to graded BBPs, part I: On-line reasoning
    • Laverny, N. and J. Lang: 2004, 'From knowledge-based programs to graded BBPs, part I: on-line reasoning', in Proceedings of ECAI-04, pp. 368-372.
    • (2004) Proceedings of ECAI-04 , pp. 368-372
    • Laverny, N.1    Lang, J.2
  • 26
    • 28844449067 scopus 로고    scopus 로고
    • From knowledge-based programs to graded BBPs, part II: Off-line reasoning
    • Laverny, N. and J. Lang: 2004, 'From knowledge-based programs to graded BBPs, part II: off-line reasoning', in Proceedings of IJCAI-05.
    • (2004) Proceedings of IJCAI-05
    • Laverny, N.1    Lang, J.2
  • 27
    • 0030352324 scopus 로고    scopus 로고
    • What is planning in the presence of sensing?
    • Levesque, H.: 1996, 'What is planning in the presence of sensing?', in AAAI 96, pp. 1139-1146.
    • (1996) AAAI 96 , pp. 1139-1146
    • Levesque, H.1
  • 29
    • 0002283458 scopus 로고    scopus 로고
    • Embracing causality in specifying the indeterminate effects of actions
    • Lin, F.: 1996, 'Embracing causality in specifying the indeterminate effects of actions', in Proc. of AAAI'96.
    • (1996) Proc. of AAAI'96
    • Lin, F.1
  • 32
    • 85017332807 scopus 로고    scopus 로고
    • On knowledge-based programming with sensing in the situation calculus
    • Reiter, R.: 2001b, 'On knowledge-based programming with sensing in the situation calculus', ACM Transactions on Computational Logic 2, 433-457.
    • (2001) ACM Transactions on Computational Logic , vol.2 , pp. 433-457
    • Reiter, R.1
  • 33
    • 28844455433 scopus 로고
    • The frame problem and knowledge-producing actions
    • Scherl, R. B. and H. J. Levesque: 1993, 'The frame problem and knowledge-producing actions', in AAAI-93, pp. 698-695.
    • (1993) AAAI-93 , pp. 698-1695
    • Scherl, R.B.1    Levesque, H.J.2
  • 35
    • 0000731447 scopus 로고
    • Ordinal conditional functions: A dynamic theory of epistemic states
    • William L. Harper and Brian Skyrms (eds.), Kluwer Academic Pub.
    • Spohn, W: 1988, 'Ordinal conditional functions: a dynamic theory of epistemic states', in William L. Harper and Brian Skyrms (eds.), Causation in Decision, Belief Change and Statistics, volume 2, Kluwer Academic Pub., pp. 105-134.
    • (1988) Causation in Decision, Belief Change and Statistics , vol.2 , pp. 105-134
    • Spohn, W.1
  • 36
    • 28844442120 scopus 로고    scopus 로고
    • Planning with noisy actions (preliminary report)
    • M. Brooks, D. Powers, and M. Stumptner (eds.), LNAI, Adelaide, Australia, December 2001, Springer
    • Thielscher, M.: 2001, 'Planning with noisy actions (preliminary report)', in M. Brooks, D. Powers, and M. Stumptner (eds.), Proceedings of the Australian Joint Conference on Artificial Intelligence, LNAI, Adelaide, Australia, December 2001, Springer.
    • (2001) Proceedings of the Australian Joint Conference on Artificial Intelligence
    • Thielscher, M.1
  • 37
    • 25744441968 scopus 로고
    • Graded modalities for epistemic logic
    • van der Hoek, W. and J.-J.Ch. Meyer: 1991, 'Graded modalities for epistemic logic', Logique et Analyse 133-134, 251-270.
    • (1991) Logique et Analyse , vol.133-134 , pp. 251-270
    • Van Der Hoek, W.1    Meyer, J.-J.Ch.2
  • 40
    • 0001908301 scopus 로고
    • Transmutations of knowledge systems
    • Williams, M.-A: 1994, 'Transmutations of knowledge systems', in Proceedings of KR'94, pp. 619-629.
    • (1994) Proceedings of KR'94 , pp. 619-629
    • Williams, M.-A.1


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