时序Agent程序设计语言TAOPLID的离线解释器

AOPLID是一种面向agent程序设计语言。本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释器。首先,我们对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动。其次,为使TAOPLID离线解释器方便处理以集合方式表示的TAOPLID程序,设计并实现了TAOPLID预处理器,它将TAO-PLID程序的集合形式转换成Prolog子句形式,然后通过TAPOLID离线解释器对其解释生成一可执行的原子行动序列。

浅谈OOP在软件开发中的应用与优势

面向对象程序设计(OOP)技术提供了一种认知和表示世界的思想和方法,它对计算机软件的影响深远。本人结合教学和软件开发过程中使用的OOP,探讨如何将其发挥优势并应用于软件开发中,为学好高级程序语言打下坚实的基础。