应用科学学报 ›› 1990, Vol. 8 ›› Issue (2): 165-169.

• 论文 • 上一篇    下一篇

带可信度的时序谓词事件网——地震预报决策模型

张一立, 尹伯文   

  1. 四川大学
  • 收稿日期:1988-09-30 修回日期:1989-02-09 出版日期:1990-06-30 发布日期:1990-06-30

THE TEMPORAL PREDICATES-EVENTS NETS WITH CONFIDENCE The Earthquake Forecast and Decision Model

ZHANG YULI, YIN BAIWEN   

  1. Sichuan University
  • Received:1988-09-30 Revised:1989-02-09 Online:1990-06-30 Published:1990-06-30

摘要: 本文在佩特里网(Petri Net)和时序逻辑中基本实体的知识表示和推理的基础上,根据地震预报决策的要求,提出了带可信度的时序谓词事件同模型,它既能对多种因素的因果关系作出简明地表述、推理和验证,又能进行并发处理和动态处理.同时,此模型还可以应用于其它预测和决策问题.

Abstract: According to the requirements of earthquke forecast decision, and using the survey of Petri nets and the knowledge representation of essential entities and inferences of temporal logics, we propose the model of temporal predicates-events nets with confidence. It can express, imply and verify the causality of manifold elements, and can process concurrently and dynamically also. Furthermore, this model can be applied to other forecast and decision problems, such as those in military affairs, meteorology, marketing, etc.