隐式愿望与其形式化.pdfVIP

1000．9825／2005／16(05)0771 ~2005JournalofSoftware 软 件 学 报 Vo1．16，No．5 隐式愿望及其形式化 周熠，陈小平 (中国科学技术大学 计算机科学与技术系，安徽 合肥 230027) ImplicitDesireandItsFormalization ZHOUYi， CHENXiao-Ping (DepartmentofComputerScienceandTechnology，UniversityofScienceandTechnologyofChina，Hefei230027，China) +Correspondingauthor：Phn：+86—551-3606724，E—mail：zyz@mail．ustc．edu．ca，http：／／ai．ustc．edu．ca Received2003-·12-·30；Accepted2004-·11-·03 ZhouY，ChenXP．Implicitdesireanditsformalization．JournalofSoftware，2005，16(5)：771-778．DOI 10．1360j／OS160771 Abstract： Thestudyof ‘Im‘plicitDesire”isessentia