行为规划语言在问题求解方法中的应用

吉林大学学报(信息科学版)

行为规划语言在问题求解方法中的应用

黄雅楠, 顾海军, 田雅倩

吉林大学通信工程学院, 长春 130012

收稿日期:2016-12-21 出版日期:2017-05-25 发布日期:2017-06-07
作者简介: 黄雅楠(1992— ), 女, 吉林公主岭人, 吉林大学硕士研究生, 主要从事智能推理研究, (Tel)86-18843109667(E-mail) 1543705730@ qq. com; 顾海军(1970— ), 男, 黑龙江海伦人, 吉林大学副教授, 硕士生导师, 主要从事智能信息处理及 Web 智能研究, (Tel)86-15104463305(E-mail)ghyciom@163. com。
基金资助:
吉林省科技发展计划基金资助项目(20140204036GX)

Application of Action Planning Language in Problem Solving

HUANG Yanan, GU Haijun, TIAN Yaqian

College of Communication Engineering, Jilin University, Changchun 130012, China

Received:2016-12-21 Online:2017-05-25 Published:2017-06-07

摘要/Abstract

摘要： 针对传统编程编写的代码可扩展性差的问题, 引进一种声明式编程方法, 利用行为语言 C+进行问题表
征与求解。以经典的倒水问题为例, 利用 C+语言进行主体规则以及目标查询表征, 通过调用求解器 cplus2asp
实现对倒水动作规划。实验证明, 用 C+语言进行编程, 语法简单且求解过程具有自主推理能力, 并且可任意
增添或删减语句而不影响其他语句执行, 具有很高的扩展性。

关键词: 声明式编程, cplus2asp 求解器, C+语言

Abstract: The traditional programming method is rigid and inflexible to implement the programmers’thoughts,
and lacks reasoning ability. And it changes greatly when code modification is needed, the expandability is poor.
A new programming language action language C+ which is a declarative programming method is made use of
to represent and solve issues. Taking the pouring problem as an example, the main rules and query are
represented by C+, then call the cplus2asp to reason automatically. The experiment certifies that the syntax of
C+ language is simple and the solving process has the ability of automatic reasoning, it can add or delete
statements arbitrarily without affecting the execution of other statements, having high expandability.

Key words: cplus2asp analyzer, C+ language, declarative programming

中图分类号:

黄雅楠, 顾海军, 田雅倩. 行为规划语言在问题求解方法中的应用[J]. 吉林大学学报(信息科学版), 2017, 35(3): 333-340.

HUANG Yanan, GU Haijun, TIAN Yaqian. Application of Action Planning Language in Problem Solving[J]. Journal of Jilin University(Information Science Ed, 2017, 35(3): 333-340.

[1]	顾玲嘉, 张栩铭, 闫晓敬, 孙涌钊, 浮思怡. 基于高分辨率卫星遥感影像的松材线虫病检测及分类方法[J]. 吉林大学学报(信息科学版), 2026, 44(3): 588-597.
[2]	刘兴丽, 高月, 白玉兰, 孙源, 刘长成. 气象业务高维相关性缺失数据分块填补算法[J]. 吉林大学学报(信息科学版), 2026, 44(3): 656-662.
[3]	陈艳. 物联网技术下节假日公路交通拥堵状况预测算法[J]. 吉林大学学报(信息科学版), 2026, 44(1): 185-191.
[4]	曹雪 , 罗继江, 李泽洋, 白丽丽. 基于改进灰狼算法的 DC-DC 分数阶移相全桥变换器[J]. 吉林大学学报(信息科学版), 2026, 44(1): 24-35.
[5]	赵青春 , 王坤 , 葛景 , 张海锋 , 宋晓喆 , 张懿夫. 基于新能源多场站短路比的构网型 SVG 优化配置[J]. 吉林大学学报(信息科学版), 2026, 44(1): 71-77.
[6]	吕妍欣. 基于深度学习的思政内容摘要生成[J]. 吉林大学学报(信息科学版), 2026, 44(1): 160-166.
[7]	张丽杰 , 陆江东 , 邱景. 数据挖掘技术下线上诊疗信息多维特征提取方法[J]. 吉林大学学报(信息科学版), 2026, 44(1): 121-128.
[8]	王新颖, 孙文佳. 基于改进 Retinanet 的腹腔镜手术器械检测算法[J]. 吉林大学学报(信息科学版), 2026, 44(1): 136-142.
[9]	赵帅, 杨家驹, 梁施航, 吕秋桦, 马思妍, 马晴, 崔艺蕊, 黄丽媛, 刘海波. 微弱磁场矢量三维空间分布测量系统[J]. 吉林大学学报(信息科学版), 2025, 43(5): 953-959.
[10]	王冬梅, 宋南南, 张丹, 王鹏, 路敬祎. 基于 AOA-SVM 的数字孪生管道泄漏识别模型 [J]. 吉林大学学报(信息科学版), 2025, 43(5): 937-943.
[11]	刘欢, 李宏亮, 陈维汉. 融合多模态信息的跨媒体知识文本分类算法 [J]. 吉林大学学报(信息科学版), 2025, 43(5): 1138-1143.
[12]	刘文杰, 刘新锋, 周方正, 田杰, 贾传宝, 宋立莉. 迁移学习在焊接熔透识别和缺陷检测中的应用 [J]. 吉林大学学报(信息科学版), 2025, 43(4): 763-775.
[13]	李建阁, 王澜, 梁婧涵. 基于EEMD-PRT 的管道泄漏检测去噪算法[J]. 吉林大学学报(信息科学版), 2025, 43(3): 461-466.
[14]	雷保仓, 潘传红, 何斌, 冯乐. 基于改进RSA 算法的通信网络数据加密存储方法 [J]. 吉林大学学报(信息科学版), 2025, 43(3): 467-473.
[15]	李炜, 黄倩. 基于孪生神经网络的智慧门禁人脸识别算法设计[J]. 吉林大学学报(信息科学版), 2025, 43(3): 598-604.