乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T20:27:11Z","timestamp":1744316831762},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1145\/174652.174658","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:25:57Z","timestamp":1027769157000},"page":"340-367","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":260,"title":["Reasoning about knowledge and probability"],"prefix":"10.1145","volume":"41","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[{"name":"IBM Almaden Research Center, San Jose, CA"}]},{"given":"Joseph Y.","family":"Halpern","sequence":"additional","affiliation":[{"name":"IBM Almaden Research Center, San Jose, CA"}]}],"member":"320","published-online":{"date-parts":[[1994,3]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"1236","article-title":"Agreeing to disagree","volume":"4","author":"~AUMANN R. J.","year":"1976","unstructured":"~AUMANN , R. J. , 1976 . Agreeing to disagree . Ann. Stat. 4 , 6, 1236 1239. ~AUMANN, R. J., 1976. Agreeing to disagree. Ann. Stat. 4, 6, 1236 1239.","journal-title":"Ann. Stat."},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0165-1765(83)90126-X","article-title":"Learning to agree","volume":"12","author":"~CAVE J.","year":"1983","unstructured":"~CAVE , J. 1983 . Learning to agree . Econ. Lett. 12 , 147 152. ~CAVE, J. 1983. Learning to agree. Econ. Lett. 12, 147 152.","journal-title":"Econ. Lett."},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"~FAGIN R. HALPERN J. Y. AND MEGIDDO N. 1990. A logic for reasoning about probabilities. ~InJ. Comput. 87 1\/2 78-128. 10.1016\/0890-5401(90)90060-U ~FAGIN R. HALPERN J. Y. AND MEGIDDO N. 1990. A logic for reasoning about probabilities. ~InJ. Comput. 87 1\/2 78-128. 10.1016\/0890-5401(90)90060-U","DOI":"10.1016\/0890-5401(90)90060-U"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80039-X"},{"key":"e_1_2_1_5_1","volume-title":"i957. An Introduction to Probab&tv TheoO' and Its Apphcatlons","author":"~FELLER W.","unstructured":"~FELLER , W. i957. An Introduction to Probab&tv TheoO' and Its Apphcatlons , volume 1 . Wfiey, ~New York . ~FELLER, W. i957. An Introduction to Probab&tv TheoO' and Its Apphcatlons, volume 1. Wfiey, ~New York."},{"issue":"2","key":"e_1_2_1_6_1","first-page":"194","article-title":"Propositional dynamic logic of regular programs. J. ~Comput","volume":"18","author":"ISCHER M. J.","year":"1979","unstructured":"~f ISCHER , M. J. AND LADNER , R E . , 1979 . Propositional dynamic logic of regular programs. J. ~Comput . Svst. Scl. 18 , 2 , 194 - 211 . ~fISCHER, M. J. AND LADNER, R E., 1979. Propositional dynamic logic of regular programs. J. ~Comput. Svst. Scl. 18, 2, 194-211.","journal-title":"Svst. Scl."},{"key":"e_1_2_1_7_1","volume-title":"k. D","author":"~FISCHER M. J.","year":"1987","unstructured":"~FISCHER , M. J. AND ZUCK , k. D ., 1987 . Relatwe knowledge and belief (extended abstract). Tech. ~Rep. YALEU\/DCS\/TR-589. Yale Univ. ~FISCHER, M. J. AND ZUCK, k. D., 1987. Relatwe knowledge and belief (extended abstract). Tech. ~Rep. YALEU\/DCS\/TR-589. Yale Univ."},{"key":"e_1_2_1_9_1","first-page":"275","volume-title":"Theorettcal Aspects of' Reasoning ~about Knowledge: Proceedings o} the 1086 Cottference","author":"~GA FMAN","unstructured":"~GA 1 FMAN , H., 1986. A theory of higher order probabilities . In Theorettcal Aspects of' Reasoning ~about Knowledge: Proceedings o} the 1086 Cottference , J. Y. Halpern, ed., Morgan-Kaufmann, San ~Mateo, Calif ., pp. 275 - 292 . ~GA1FMAN, H., 1986. A theory of higher order probabilities. In Theorettcal Aspects of' Reasoning ~about Knowledge: Proceedings o} the 1086 Cottference, J. Y. Halpern, ed., Morgan-Kaufmann, San ~Mateo, Calif., pp. 275-292."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"e_1_2_1_11_1","volume-title":"Measure Theory","author":"~HALMOS P.","unstructured":"~HALMOS , P. , 1950. Measure Theory . Van Nostrand , New York . ~HALMOS, P., 1950. Measure Theory. Van Nostrand, New York."},{"key":"e_1_2_1_12_1","first-page":"37","volume-title":"Using reasoning about knowledge to analyze distributed systems. In ~Annual Redew of Computer Science","author":"~HALPERN J. Y.","unstructured":"~HALPERN , J. Y. , 1987. Using reasoning about knowledge to analyze distributed systems. In ~Annual Redew of Computer Science , vol. 2 . J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. ~Nilsson, eds. Annual Reviews Inc., Palo Alto, Calif ., pp. 37 - 68 . ~HALPERN, J. Y., 1987. Using reasoning about knowledge to analyze distributed systems. In ~Annual Redew of Computer Science, vol. 2. J. F. Traub, B. J. Grosz, B. W. Lampson, and N. J. ~Nilsson, eds. Annual Reviews Inc., Palo Alto, Calif., pp. 37-68."},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01531062","article-title":"The relationship between knowledge, belief, and certainty","volume":"4","author":"~HALPERN J. Y.","year":"1991","unstructured":"~HALPERN , J. Y. , 1991 . The relationship between knowledge, belief, and certainty . Ann. Math. ~Artif. Int. 4 , 301 - 322 . ~HALPERN, J. Y., 1991. The relationship between knowledge, belief, and certainty. Ann. Math. ~Artif. Int. 4, 301-322.","journal-title":"Ann. Math. ~Artif. Int."},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"~HALPERN J. Y. AND MCALLESTER D. A. 1989. Knowledge likelihood and probability. Compu- ~tat. htt. 5 151-160. 10.1111\/j.1467-8640.1989.tb00325.x ~HALPERN J. Y. AND MCALLESTER D. A. 1989. Knowledge likelihood and probability. Compu- ~tat. htt. 5 151-160. 10.1111\/j.1467-8640.1989.tb00325.x","DOI":"10.1111\/j.1467-8640.1989.tb00325.x"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79161"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"~HALPERN J. Y. AND MOSES Y. 1992. A guide to completeness and complexity for modal logics ~of knowledge and belief. Artif. hzt. 54 319 379. 10.1016\/0004-3702(92)90049-4 ~HALPERN J. Y. AND MOSES Y. 1992. A guide to completeness and complexity for modal logics ~of knowledge and belief. Artif. hzt. 54 319 379. 10.1016\/0004-3702(92)90049-4","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"e_1_2_1_17_1","first-page":"132","volume-title":"Proceedings of the 20th ACM Symposium on Theory of Computing","author":"~HALPERN J. Y.","year":"1988","unstructured":"~HALPERN , J. Y. , MOSES , Y. , AND TUTTLE , M. R. , 1988 . A knowledge-based analysis of zero ~knowledge . In Proceedings of the 20th ACM Symposium on Theory of Computing ( Chicago, II1., ~May 2-4). ACM, New York , pp. 132 - 147 . 10.1145\/62212.62224 ~HALPERN, J. Y., MOSES, Y., AND TUTTLE, M. R., 1988. A knowledge-based analysis of zero ~knowledge. In Proceedings of the 20th ACM Symposium on Theory of Computing (Chicago, II1., ~May 2-4). ACM, New York, pp. 132-147. 10.1145\/62212.62224"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","unstructured":"~HALPERN J. Y. AND RABIN M. O. 1987. A logic to reason about likelihood. Artif. Int. 32 3 ~379-405. 10.1016\/0004-3702(87)90093-2 ~HALPERN J. Y. AND RABIN M. O. 1987. A logic to reason about likelihood. Artif. Int. 32 3 ~379-405. 10.1016\/0004-3702(87)90093-2","DOI":"10.1016\/0004-3702(87)90093-2"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/153724.153770"},{"key":"e_1_2_1_20_1","first-page":"1","volume-title":"ACM","author":"~HART S.","year":"1984","unstructured":"~HART , S. AND SHARIR , M. , 1984 . Probabilistic temporal logics for finite and bounded models. In ~Proceedings of the 16th ACM Symposium on Theory of Computing (Washington, DC, Apr. ~30-May 2) . ACM , New York , pp. 1 13. 10.1145\/800057.808660 ~HART, S. AND SHARIR, M., 1984. Probabilistic temporal logics for finite and bounded models. In ~Proceedings of the 16th ACM Symposium on Theory of Computing (Washington, DC, Apr. ~30-May 2). ACM, New York, pp. 1 13. 10.1145\/800057.808660"},{"key":"e_1_2_1_21_1","volume-title":"Knowledge and Belief: Cornell University Press","author":"~HINTIKKA J.","unstructured":"~HINTIKKA , J. , 1962. Knowledge and Belief: Cornell University Press , Ithaca, NY . ~HINTIKKA, J., 1962. Knowledge and Belief: Cornell University Press, Ithaca, NY."},{"key":"e_1_2_1_22_1","volume-title":"An Inu'oduction to Modal Logic","author":"~HUGHES G. E.","unstructured":"~HUGHES , G. E. AND CRESSWELL , M. J. , 1968. An Inu'oduction to Modal Logic . Methuen , London . ~HUGHES, G. E. AND CRESSWELL, M. J., 1968. An Inu'oduction to Modal Logic. Methuen, London."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"~KOZEN D.","year":"1985","unstructured":"~KOZEN , D. , 1985 . Probabilistic PDL. J. Comput. Syst. Sct. 30 , 162 - 178 . ~KOZEN, D., 1985. Probabilistic PDL. J. Comput. Syst. Sct. 30, 162-178.","journal-title":"Probabilistic PDL. J. Comput. Syst. Sct."},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"A semantical analysis of modal logic. I: Normal modal propositional calculi. Z. ~Math","volume":"9","author":"~KRIPKE S.","year":"1963","unstructured":"~KRIPKE , S. , 1963 . A semantical analysis of modal logic. I: Normal modal propositional calculi. Z. ~Math . Logik Grundl. Math. 9 , 67 - 96 . (Announced in J. Syrnb. Logic 24, 1959, p. 323.) ~KRIPKE, S., 1963. A semantical analysis of modal logic. I: Normal modal propositional calculi. Z. ~Math. Logik Grundl. Math. 9, 67-96. (Announced in J. Syrnb. Logic 24, 1959, p. 323.)","journal-title":"Logik Grundl. Math."},{"issue":"3","key":"e_1_2_1_25_1","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","article-title":"The computational complexity of provability in systems of modal proposi- ~tional logic","volume":"6","author":"~LADNER R. E.","year":"1977","unstructured":"~LADNER , R. E. , 1977 . The computational complexity of provability in systems of modal proposi- ~tional logic . SIAM J. Conlput. 6 , 3 , 467 - 480 . ~LADNER, R. E., 1977. The computational complexity of provability in systems of modal proposi- ~tional logic. SIAM J. Conlput. 6, 3, 467-480.","journal-title":"SIAM J. Conlput."},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"~LEHMANN D. AND SHELAH S. 1982. Reasoning about time and change. Inf. Control 53 ~165-198. ~LEHMANN D. AND SHELAH S. 1982. Reasoning about time and change. Inf. Control 53 ~165-198.","DOI":"10.1016\/S0019-9958(82)91022-1"},{"key":"e_1_2_1_27_1","first-page":"1","article-title":"Recent work m epistemic logic","volume":"30","author":"~LENZEN W.","year":"1978","unstructured":"~LENZEN , W. , 1978 . Recent work m epistemic logic . Acta Phil. Fen. 30 , 1 - 219 . ~LENZEN, W., 1978. Recent work m epistemic logic. Acta Phil. Fen. 30, 1-219.","journal-title":"Acta Phil. Fen."},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","unstructured":"~MAKINSON D. 1966. On some completeness theorems in modal logic. Z. Math. Logik Gnmdl. ~Math. 12 379-384. ~MAKINSON D. 1966. On some completeness theorems in modal logic. Z. Math. Logik Gnmdl. ~Math. 12 379-384.","DOI":"10.1002\/malq.19660120131"},{"key":"e_1_2_1_29_1","article-title":"A paradox of information. Brit","author":"~MILLER D.","year":"1966","unstructured":"~MILLER , D. , 1966 . A paradox of information. Brit . J. Phil. Sci., 17. ~MILLER, D., 1966. A paradox of information. Brit. J. Phil. Sci., 17.","journal-title":"J. Phil. Sci., 17."},{"key":"e_1_2_1_30_1","volume-title":"m","author":"~MONDERER D.","year":"1989","unstructured":"~MONDERER , D. AND SAMET , m ., 1989 . Approximating common knowledge with common beliefs. ~Games and Economic Behat ,ior 1, 170-190. ~MONDERER, D. AND SAMET, m., 1989. Approximating common knowledge with common beliefs. ~Games and Economic Behat,ior 1, 170-190."},{"key":"e_1_2_1_31_1","first-page":"319","volume-title":"Fomlal Theories of the ~Commonsense World","author":"~MOORE R. C.","unstructured":"~MOORE , R. C. , 1985. A formal theory of knowledge and action . In Fomlal Theories of the ~Commonsense World , J. Hobbs and R. C. Moore, eds. Ablex Publishing Corp ., Norwood, N.J., ~pp. 319 - 358 . ~MOORE, R. C., 1985. A formal theory of knowledge and action. In Fomlal Theories of the ~Commonsense World, J. Hobbs and R. C. Moore, eds. Ablex Publishing Corp., Norwood, N.J., ~pp. 319-358."},{"key":"e_1_2_1_32_1","first-page":"261","volume-title":"Proceedings of the 2nd conference on Theoret- ~ical Aspects of Reasoning about Knowledge. M. Y. Vardi, ed., Morgan-Kaufmann, San Mateo, ~Calif.","author":"~MOSES Y.","year":"1988","unstructured":"~MOSES , Y. , 1988 . Resource-bounded knowledge . In Proceedings of the 2nd conference on Theoret- ~ical Aspects of Reasoning about Knowledge. M. Y. Vardi, ed., Morgan-Kaufmann, San Mateo, ~Calif. , pp. 261 - 276 . ~MOSES, Y., 1988. Resource-bounded knowledge. In Proceedings of the 2nd conference on Theoret- ~ical Aspects of Reasoning about Knowledge. M. Y. Vardi, ed., Morgan-Kaufmann, San Mateo, ~Calif., pp. 261-276."},{"key":"e_1_2_1_33_1","unstructured":"NEVEU J. 1964. Bases Mathemattques du Calcul des Probabiht~s. Mason. NEVEU J. 1964. Bases Mathemattques du Calcul des Probabiht~s. Mason."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90031-7"},{"key":"e_1_2_1_35_1","first-page":"115","volume-title":"Proceedtngs of the 20th IEEE Symposium on ~Foundations of Computer Science. IEEE","author":"~PRAT","year":"1979","unstructured":"~PRAT t, V. R. , 1979 . Models of program logics . In Proceedtngs of the 20th IEEE Symposium on ~Foundations of Computer Science. IEEE , New York , pp. 115 - 122 . ~PRATt, V. R., 1979. Models of program logics. In Proceedtngs of the 20th IEEE Symposium on ~Foundations of Computer Science. IEEE, New York, pp. 115-122."},{"key":"e_1_2_1_36_1","first-page":"924","volume-title":"Proceedings ~of the l Oth International Joint Conference on Artificial Intelligence ( IJCAI-87 )","author":"~RUSPINI E.","year":"1987","unstructured":"~RUSPINI , E. n. , 1987 . Epistemic logics, probability, and the calculus of evidence . In Proceedings ~of the l Oth International Joint Conference on Artificial Intelligence ( IJCAI-87 ) , pp. 924 931. ~RUSPINI, E. n., 1987. Epistemic logics, probability, and the calculus of evidence. In Proceedings ~of the l Oth International Joint Conference on Artificial Intelligence ( IJCAI-87 ), pp. 924 931."},{"key":"e_1_2_1_37_1","volume-title":"A Mathematical Theory of Et~idence","author":"~SHAFER G.","unstructured":"~SHAFER , G. , 1976. A Mathematical Theory of Et~idence . Princeton University Press , Princeton , ~N.J. ~SHAFER, G., 1976. A Mathematical Theory of Et~idence. Princeton University Press, Princeton, ~N.J."},{"key":"e_1_2_1_38_1","volume-title":"Prospects for Pragmatism: Essays in Honor of ~F. P. Ramso'","author":"~SKYRMS B.","unstructured":"~SKYRMS , B. , 1980. Higher order degrees of belief . In Prospects for Pragmatism: Essays in Honor of ~F. P. Ramso' . D. H. Mellor, ed., Cambridge University Press, Cambridge , U.K. ~SKYRMS, B., 1980. Higher order degrees of belief. In Prospects for Pragmatism: Essays in Honor of ~F. P. Ramso'. D. H. Mellor, ed., Cambridge University Press, Cambridge, U.K."}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/174652.174658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T20:59:48Z","timestamp":1672347588000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/174652.174658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["10.1145\/174652.174658"],"URL":"https:\/\/doi.org\/10.1145\/174652.174658","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]},"assertion":[{"value":"1994-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}