A reasoning system for uncertain and dynamic environments

Lu, Zhirui, Augusto, Juan Carlos ORCID logoORCID: https://orcid.org/0000-0002-0321-9150, Liu, Jun, Wang, Hui and Aztiria, Asier (2012) A reasoning system for uncertain and dynamic environments. International Journal on Artificial Intelligence Tools, 21 (5) . ISSN 0218-2130 [Article] (doi:10.1142/S0218213012500236)


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.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments group
Item ID: 9975
Useful Links:
Depositing User: Dr. Juan C. Augusto
Date Deposited: 26 Mar 2013 15:19
Last Modified: 13 Oct 2016 14:26
URI: https://eprints.mdx.ac.uk/id/eprint/9975

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.