Time - The Temporal Logic And Its Knowledge Base Architecture And Research

Traditional executable languages suiting to the Von-Neumann architecture are characterized by the state switching of the automatic machine, the command-driven mode, and the dynamic syntax. But the rule based language suiting to this pre and post assertion model has a static syntax. So when it comes to the inference which is involved with dynamic, synchronized, real-time and some other temporal features, this static inference method will encounter a great deal of trouble. As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems. It can be efficiently applied to the rule's organization and inference. And it can be also applied to KB, IDSS, real-time database and expert systems etc.On the other hand, the organization and inference of the rules in the present KB has no unified symbol, which makes structure complicated, design difficult, reasoning more complex and accurate because of unconformable outer condition and event. Therefore, we can make such a discussion about KB that knowledge rule is framed by using temporal logic and using temporal logic assertion to infer. Thus makes temporality as the unified symbol of rules which drive in KB.Firstly, the paper introduces temporal logic and it's knowledge representation. Secondly, it describes that knowledge rule's structure on temporal logic and gives inference instance and its simulated realization. Lastly, it discusses the temporal-driven of KB. The main task and contribution includes two points as follows. One is that it gives instance about knowledge rule structure and inference on temporal logic, which is researched and simulative realization in the new application field. The other is that it discusses knowledge temporal-driven based on the outer event-driven character and inner rule organization of the KB.