Policy Conflict Analysis in Social Network
Loading...
Files
Authors
Liu, Yuanyao
Wu, Zhengping
Issue Date
2011
Type
Presentation
Language
Keywords
Faculty research day
Alternative Title
Abstract
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.
Citation
Poster 31