Influx: A Tool and Framework for Reasoning under Uncertainty
DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) CYBER AND ELECTRONIC WARFARE DIV
Pagination or Media Count:
Influx is a reasoning component of REALISE, a generic platform for intelligent systems currently under investigation as part of an ongoing research program conducted by the CAO Branch. Influx is envisioned to have two major uses facilitating and mediating reasoning processes for intelligent missions, and serving as a tool and framework for reasoning under uncertainty. This document reports on some initial research and development efforts pertaining to the reasoning aspect of Influx in the latter scenario. Due in part to its generality, the Dempster-Shafer D-S theory is chosen as a theoretical basis for representing imperfect knowledge and for reasoning with such knowledge. Since Linux is intended to deal with real-time and real-life applications, it is of primary importance for the reasoning tool to practically achieve adequate performance, flexibility, scalability and system dynamics. To this end, Influx aspires to reach such objectives while attaining a plausible reasoning mechanism formulated from D-S methods and techniques. The initial version, Inux1, is a simple, but highly efficient and flexible, nonmonotonic rule-based system enhanced with D-S based belief representation, fusion and inference. Inux1 has been applied towards tasks that include situational awareness and network traffic analysis. This document provides a high-level description of Inux1 from the reasoning perspective. Research and development pertaining to the implementation of the reasoning tool and specific applications are not included in this document.