时序谓词相关硕士博士期刊学术论文

本文在佩特里网(Petri Net)和时序逻辑中基本实体的知识表示和推理的基础上,根据地震预报决策的要求,提出了带可信度的时序谓词事......