Lyusia语言中状态转移编程体裁的谓词/事件网语义学

【摘要】 Lyusia语言是一种多体裁的人工智能语言,它由五种编程体裁(泛函的,逻辑的,集合论的,状态转移的,数据流的)有机地协调地统一而成,其中有状态转移编程体裁。而状态转移编程体裁实质上又是过程编程体裁与基于法则的编程体裁的结合,并且,还蕴含着数据流(Petri网的一种特殊形式)编程体裁。本文从谓词/事件网的角度,为Lyusia语言中的状态转移编程体栽奠定一种逻辑网的语义学。更多还原