可视化析取时态推理器的设计及实现.pdfVIP

第５２卷　第６ 期 中山大学学报 （自然科学版） Ｖｏｌ５２　Ｎｏ６ 　 ２０１３ 年　１１ 月 ＡＣＴＡ　ＳＣＩＥＮＴＩＡＲＵＭ　ＮＡＴＵＲＡＬＩＵＭ　ＵＮＩＶＥＲＳＩＴＡＴＩＳ　ＳＵＮＹＡＴＳＥＮＩ Ｎｏｖ　２０１３ 　 可视化析取时态推理器的设计与实现 １，２ ３ ２ 刘越畅 ，林晓骏 ，汤　庸 （１．嘉应学院计算机学院，广东梅州５１４０１５； ２．华南师范大学计算机学院，广东广州５１０６３１ ； ３．华南理工大学计算机学院，广东广州５１０００６） 摘　要：时态推理是人工智能领域的重要研究方向。析取时态问题 （ｄｉｓｊｕｎｃｔｉｖｅｔｅｍｐｏｒａｌｐｒｏｂｌｅｍ，ＤＴＰ）是一类 表达力极强的定量时态模型，被广泛应用于智能规划和调度领域的时态建模，近年来吸引了研究人员的关注。 提出ＤＴＰ弱蕴含性和弱演化析取时态网络 （ｗｅａｋｌｙｅｖｏｌｕｔｉｏｎａｌｄｉｓｊｕｎｃｔｉｖｅｔｅｍｐｏｒａｌｎｅｔｗｏｒｋ，ＷＥＤＴＮ）的定义，基 于ＷＥＤＴＮ设计和实现了可视化ＤＴＰ求解器ＴＲＳＥ。系统演示发现基于ＷＥＤＴＮ 的可视化比常见的基于搜索树的 可视化更能有利于人们直观理解ＤＴＰ的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。 关键词：人工智能；时态推理；析取时态问题；约束可满足问题；弱演化析取时态网络 中图分类号：ＴＰ１８１　　文献标志码：Ａ　　文章编号：０５２９－６５７９ （２０１３）０６－００３８－０６ ＤｅｓｉｇｎａｎｄＩｍｐｌｅｍｅｎｔａｔｉｏｎｏｆａＶｉｓｕａｌｉｓａｂｌｅＤｉｓｊｕｎｃｔｉｖｅ ＴｅｍｐｏｒａｌＰｒｏｂｌｅｍＳｏｌｖｅｒ １，２ ３ ２ ＬＩＵＹｕｅｃｈａｎｇ ，ＬＩＮＸｉａｏｊｕｎ ，ＴＡＮＧＹｏｎｇ （１．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＪｉａｙｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｍｅｉｚｈｏｕ５１４０１５，Ｃｈｉｎａ； ２．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＳｏｕｔｈＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｇｕａｎｇｚｈｏｕ５１０６３１ ，Ｃｈｉｎａ； ３．ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＳｏｕｔｈＣｈｉｎａＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｇｕａｎｇｚｈｏｕ５１０００６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＴｅｍｐｏｒａｌｒｅａｓｏｎｉｎｇｉｓａｎｉｍｐｏｒｔａｎｔｒｅｓｅａｒｃｈｄｉｒｅｃｔｉｏｎｏｆＡｒｔｉｆｉｃｉａｌＩｎｔｅｌｌｉｇｅｎｃｅ （ＡＩ）．Ｄｉｓｊｕｎｃ ｔｉｖｅｔｅｍｐｏｒａｌｐｒｏｂｌｅｍ （ＤＴＰ）ｉｓａｎｅｘｐｒｅｓｓｉｖｅｑｕａｎｔｉｔａｔｉｖｅｔｅｍｐｏｒａｌｍｏｄｅｌｗｈｉｃｈｉｓｗｉｄｅｌｙｕｓｅｄｉｎａｕｔｏ ｍａｔｅｄｐｌａｎｎｉｎｇａｎｄｓｃｈｅｄｕｌｉｎｇａｎｄｉｓｔｈｅｒｅｆｏｒｅｂｅｉｎｇｗｅｌｌｓｔｕｄｉｅｄ．Ｔｈｅｄｅｆｉｎｉｔｉｏｎｏｆｗｅａｋｉｍｐｌｉｃａｔｉｏｎａｎｄ ｗｅａｋｌｙｅｖｏｌｕｔｉｏｎａｌｄｉｓｊｕｎｃｔｉｖｅｔｅｍｐｏｒａｌｎｅｔｗｏｒｋ （ＷＥＤＴＮ）ｉｓｐｒｏｐｏｓｅｄ．ＢａｓｅｄｏｎｔｈｅＷＥＤＴＮｓｔｒｕｃｔｕｒｅ ａｖｉｓｕａｌＤＴＰｓｏｌｖｅｒＴＲＳＥｉｓｄｅｓｉｇｎｅｄ．ＴｈｅｄｅｍｏｎｓｔｒａｔｉｏｎｒｅｖｅａｌｓｔｈａｔｔｈｅｖｉｓｕａｌｉｚａｔｉｏｎｂａｓｅｄｏｎＷＥＤＴＮ ｂｅｔｔｅｒｆａｃｉｌｉｔａｔｅｓｔｈｅｕｎｄｅｒｓｔａｎｄｉｎｇａｎｄｄｉｓｃｏｖｅｒｙｏｆＤＴＰｓｏｌｖｉｎｇａｌｇｏｒｉｔｈｍａｎｄｔｈｅｉｍｐａｃｔｏｆｓｔｒｕｃｔｕｒａｌｉｎ ｆｏｒｍａｔｉｏｎｏｎｔｈａｔｔｈａｎｕｓｕａ