作者：梁冰; 李磊动作逻辑动作推导引擎语音通信软件
摘要：动作逻辑作为描述程序行为的语言．常应用于智能机器人的开发上。该文把动作逻辑作为程序设计中的一种形式化语言，把动作解释为造成系统状态改变的原因，将引擎的思想引入到软件的开发过程中．所谓引擎的思想，就是将状态集合、动作集合瑜入到引擎中，根据这些输入，引擎自动查找相应的算法并执行，从而形成一个完成特定功能的软件系统。将引擎的思想引入到软件开发过程中，可以实现程序自动生成程序，大大提高了代码的重用，减少软件出错的几率，并且程序可读性、可扩充性和易维护性都大大地被提高。把这种根据用户输入自动生成软件系统的引擎称为动作推导引擎。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
