{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:47:47Z","timestamp":1770065267628,"version":"3.49.0"},"reference-count":28,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2012,10]]},"abstract":"<jats:p> Decision-making on uncertain and dynamic domains is still a challenging research area. This paper explores a solution to handle such complex decision making based on a combined logic system. We provide an explanation of our reasoning system focused on the algorithms and their implementations. The reasoning system is based on a multi-valued temporal propositional logic which we use as the foundation for the implementation of simulation\/prediction and query answering tools. This system is available for users to represent knowledge and to refine these systems to debug them and to try different problem solving strategies. We provide examples to illustrate how the system can be used including a problem based on a real smart environment. <\/jats:p>","DOI":"10.1142\/s0218213012500236","type":"journal-article","created":{"date-parts":[[2012,5,4]],"date-time":"2012-05-04T01:06:29Z","timestamp":1336093589000},"page":"1250023","source":"Crossref","is-referenced-by-count":6,"title":["A SYSTEM TO REASON ABOUT UNCERTAIN AND DYNAMIC ENVIRONMENTS"],"prefix":"10.1142","volume":"21","author":[{"given":"ZHIRUI","family":"LU","sequence":"first","affiliation":[{"name":"School of Computing and Mathematics, University of Ulster, Shore Road, Newtownabbey, Co. Antrim BT37 0QB, Northern Ireland, UK"}]},{"given":"JUAN","family":"AUGUSTO","sequence":"additional","affiliation":[{"name":"School of Computing and Mathematics, University of Ulster, Shore Road, Newtownabbey, Co. Antrim BT37 0QB, Northern Ireland, UK"}]},{"given":"JUN","family":"LIU","sequence":"additional","affiliation":[{"name":"School of Computing and Mathematics, University of Ulster, Shore Road, Newtownabbey, Co. Antrim BT37 0QB, Northern Ireland, UK"}]},{"given":"HUI","family":"WANG","sequence":"additional","affiliation":[{"name":"School of Computing and Mathematics, University of Ulster, Shore Road, Newtownabbey, Co. Antrim BT37 0QB, Northern Ireland, UK"}]},{"given":"ASIER","family":"AZTIRIA","sequence":"additional","affiliation":[{"name":"University of Mondragon, Basque Country, Spain"}]}],"member":"219","published-online":{"date-parts":[[2012,11,2]]},"reference":[{"key":"rf1","volume-title":"Many-Valued Logic","author":"Rescher N.","year":"1969"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08494-6"},{"key":"rf4","volume-title":"Philosophy of Logic","author":"Gottwald S.","year":"2006"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790252510"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3"},{"key":"rf7","volume-title":"Mathematical Principles of Fuzzy Logic","author":"Novak V.","year":"2000"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9660-2"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44847-1"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.5.531"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012551818243"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037474"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1129642119"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.01.001"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(02)00231-2"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.09.021"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1007\/11788485_4"},{"key":"rf25","unstructured":"Z.\u00a0Lu, Computational Intelligence in Complex Decision Systems, ed. D.\u00a0Ruan (Atlantis Press\/World Scientific, Paris\/Singapore, 2010)\u00a0pp. 127\u2013148."},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(97)00335-7"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(95)00033-X"},{"key":"rf32","first-page":"163","volume":"3","author":"Ribaric S.","journal-title":"Journal of Computing and Information Technology"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(99)00099-8"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8655(00)00127-6"},{"key":"rf41","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(02)00231-2"},{"key":"rf42","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2009.11.008"},{"key":"rf43","volume-title":"Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applications","author":"Pei Z.","year":"2009"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2010.148"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213012500236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:24:27Z","timestamp":1565126667000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213012500236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":28,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2012,11,2]]},"published-print":{"date-parts":[[2012,10]]}},"alternative-id":["10.1142\/S0218213012500236"],"URL":"https:\/\/doi.org\/10.1142\/s0218213012500236","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}