Expression Reasoning in Automated Reasoning;

Interactive system of mathematical Web services based on AJAX and automated reasoning technologies;

Automated Reasoning and Intelligent Platform for Education Software;

The Research on ICAI of Programming with Function of Automatic Reasoning;

Logic meaning of kinship relations and kindred automatic reasoning

On this basis,the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward.

Based on the characters of the hybrid system and the automata modeling theory, an extended automata model for the hybrid system was developed.

This model runs autonomously by designing the selective transitions, uses only one enzyme to read the symbol of the input and the stack, mimics the operations of pushdown automata by enzyme cleavages and enzyme ligases, and reports the output by the designed detection-molecule.

The pushdown automata are introduced by using the method of semirings and the tools from linear algebra.