论文部分内容阅读
据报道.不久前研制了适应于过程按时间展开的编程语言。这些语言中使用的逻辑和操作.构成表示不同对象行为动态的基础。指出,这些语言的研制迄今还带有有限应用的试验性质.但将来会大力推广。迄今为止.这些编程语言主要用于计算的理论与实践方面和研制人工智能系统。但是它们未来的使用范围,包括用户界面。过程控制和社会现象的模拟。作者侧重描述这两种语言的语法和语义。属于第一种标准的是离散型语言.它的语句描述在给定的时间序列内所研究的对象状态之间的联系。以所谓区间时态逻辑(ITL-IntervalTemporalLogic)