Automatic reasoning on internetware based on possible worlds
Wenjie Wang · Jisuanji gongcheng yu sheji · 2011
To deal with automatic reasoning for internetware,the paper builds an automated reasoning which according to internetware based on possible worlds.First,the paper gains some general principles about automated reasoning through the analysis of syllogism.And it also testified all the valid 24 syllogisms.Second,the paper finds a coding method by analyzing,and based on the method it creates a three-valued logic.Finally,the paper presents some general steps for automated reasoning through an example.The experiment show,compared with the resolution principle,that it raises the logical reasoning mechanization and reasoning efficiency.