Logical reasoning (inferencing) on microRNA data

Abstract

Logical reasoning played an important role in artificial intelligence. Applying logical reasoning on microRNA data brings intelligence into data analysis. Here, we provide basic introduction about logic (especially propositional logic) and automated reasoning based on knowledge described in the form of logic rules. We also introduce tools that could be used for building automated reasoning systems with microRNA data.