Description:
Temporal logic has been well studied for decades, and its logic expressions are used in many reasoning system. However, the information explosion makes logic reasoning becomes harder and harder. There are a lot of information have to be considered in logic reasoning. Relationships and related information make temporal logic cannot easily specify an information domain. Knowledge becomes a basis of information analysis. We propose a Semantic Temporal Logic, which incorporates relationships between different elements in a specific knowledge domain into temporal logic using a semantic format to represent domain elements.