{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:47Z","timestamp":1747546907645},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Unc. Fuzz. Knowl. Based Syst."],"published-print":{"date-parts":[[2000,4]]},"abstract":"<jats:p> The purpose of this article is to extend the situation calculus, a logical framework for the specification of theories of action and change, with actions that have a non-deterministic or uncertain nature. Our approach is based upon the idea that actions may have a deterministic component, and a probabilistic component. For example, the act of flipping a coin has a deterministic component (the actual coin toss) and an uncertain component (the outcome). We extend the language of the situation calculus in order to make explicit this distinction between these two action components. Furthermore, we provide means to reason about the outcomes of processes specified only in terms of deterministic action components (which we call behaviors). In particular, we show how one can compute the probability that some fluent will hold after specific behavior is realized. An important feature of our approach is that the syntactic and semantic structure of actions and situations is independent of the decomposition of actions into deterministic and uncertain components. Thus, we inherit solutions to the frame problem ramification problem, etc. <\/jats:p>","DOI":"10.1142\/s0218488500000101","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:02:25Z","timestamp":1027767745000},"page":"127-149","source":"Crossref","is-referenced-by-count":7,"title":["NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS"],"prefix":"10.1142","volume":"08","author":[{"given":"JAVIER","family":"PINTO","sequence":"first","affiliation":[{"name":"Departamento de Ciencia de la Computaci\u00f3n, Pontificia Universidad Cat\u00f3lica de Chile, Santiago 6904411, Chile"}]},{"given":"AM\u00cdLCAR","family":"SERNADAS","sequence":"additional","affiliation":[{"name":"CMA, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal"}]},{"given":"CRISTINA","family":"SERNADAS","sequence":"additional","affiliation":[{"name":"CMA, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal"}]},{"given":"PAULO","family":"MATEUS","sequence":"additional","affiliation":[{"name":"CMA, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_2","first-page":"463","author":"McCarthy J.","year":"1969","journal-title":"Scotland"},{"key":"p_4","first-page":"8","volume":"3","author":"Poole D.","year":"1998","journal-title":"Linkoping Electronic Articles in Computer and Information Science"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00031-4"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00088-I"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.6.777"},{"key":"p_21","first-page":"689","author":"Scherl R.","year":"1993","journal-title":"D. C."},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(78)90029-5"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00091-7"}],"container-title":["International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218488500000101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:03:09Z","timestamp":1565146989000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218488500000101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":8,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2000,4]]}},"alternative-id":["10.1142\/S0218488500000101"],"URL":"https:\/\/doi.org\/10.1142\/s0218488500000101","relation":{},"ISSN":["0218-4885","1793-6411"],"issn-type":[{"value":"0218-4885","type":"print"},{"value":"1793-6411","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,4]]}}}