田雅倩, 顾海军, 崔 莹

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

0 引 言

随着物联网技术的快速发展, 电视机操控方式从最初的机械操控方式到遥控器工具的出现, 再到现在普及应用的红外线遥控器, 极大地方便了人们的生活[1]。但随着海量电视节目的涌入, 传统的遥控器只能随人们需求变化增加越来越多的固定按键, 使人们在搜索喜爱节目时出现操作复杂、 查找过程麻烦等问题[2], 因此苹果、 亚马逊、 Google、 小米、 百度和360等相继加入智能遥控器的研究领域, 在功能实现方面取得了极大突破[3]。

知识表示与推理是智能化研究的核心问题, 研究者认为人工智能可通过显示的知识表示和符号化推理实现, 但关键问题是如何利用理论工具对领域知识进行形式化表示并根据该知识进行问题求解[4]。经过多年研究, 逻辑编程技术获得了显著进展, 研究者相继提出逻辑编程语言Prolog、 回答集(ASP： Answer Set Programming)语义[5]、 行为语言A、B、C、C+以及BC[6]。随着对行为语言程序求解的计算机系统cplus2asp的出现, 越来越多的研究者将行为语言作为知识表示与推理工具应用于行为规划系统, 在问题域应用中实现问题求解。笔者选用行为语言BC作为电视遥控领域的知识表示工具, 根据逻辑编程思想, 只要采用行为语言BC描述出问题领域知识, 即可使用求解系统推理得出结果, 而不利用设计复杂的算法。

在此技术背景下, 笔者提出构建一种普适的行为规划逻辑框架并应用于智能电视遥控器设计中, 使用户通过语音快速实现节目搜索等功能, 还可自行定义节目搜索限制条件。……