您的位置: 专家智库 > >

文献类型

  • 4篇期刊文章
  • 2篇专利

领域

  • 4篇自动化与计算...

主题

  • 3篇人工智能
  • 3篇AGENT
  • 2篇用户
  • 2篇用户操作
  • 2篇有限状态机
  • 2篇智能手机
  • 2篇软件工程
  • 2篇手机
  • 2篇状态机
  • 2篇面向AGEN...
  • 2篇可用性
  • 2篇可用性测试
  • 2篇交互界面
  • 1篇应用程序
  • 1篇语言设计
  • 1篇智能系统
  • 1篇通信语言
  • 1篇状态条
  • 1篇工具条
  • 1篇AOP

机构

  • 6篇南京大学

作者

  • 6篇陈冠岭
  • 3篇徐殿祥
  • 3篇郑国梁
  • 3篇樊晓聪
  • 2篇王林章
  • 2篇李宣东
  • 2篇陈志
  • 1篇侯建民

传媒

  • 3篇计算机科学
  • 1篇软件

年份

  • 1篇2015
  • 1篇2013
  • 3篇1998
  • 1篇1996
6 条 记 录,以下是 1-6
排序方式:
Agent的通信语言——KQML被引量:34
1998年
KQML(Knowledge Query and ManipulationLanguag。)是一种用于交换信息和知识的语言和协议,为表达消息和处理消息提供了标准的格式,用于支持agent之间的实时知识共享。KQML可以用于应用程序和智能系统之间的交互。
陈冠岭樊晓聪徐殿祥郑国梁
关键词:人工智能AGENT通信语言智能系统KQML
一种智能手机应用交互界面程序可用性测试方法
本发明给出一种智能手机应用交互界面程序可用性测试方法,该方法不再需要人工记录用户操作手机程序的工作,通过在应用程序中嵌入少量的代码,在用户操作手机的过程中将用户操作事件上传到服务器,测试人员再根据收集到的数据通过有限状态...
王林章孙家旭陈冠岭李宣东陈志
文献传递
面向Agent软件工程(Ⅱ):规范、实现与验证被引量:9
1998年
AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式表示:能够方便地表示包含其它系统描述的系统;3)AOP是一种超描述性编程风范。在AOP中,我们只需给出一个非常抽象的系统规范,系统在确保其行为与内置的a罗nt理论(如,著名的Cohen一Leve,que意念模型)一致的情况下,由系统的控制机制确定应当怎么做。既然AOP具有很好的发展前景[s1,为使AOP走向实用化,我们必须处理一些软件工程上的问题[’J,即,如何规范、实现和验证面向agent的系统口一般采用非经典逻辑来描述智能agent和多a-gent系统.但是,如何从用逻辑语言描述的规范合理地导出能满足这些规范的实现,是困扰agent理论研究和实际系统实现两大阵营的重要问题,也许主要症结在于:这些逻辑系统通常用抽象、非基本的可能世界语义来刻画agent的信念等心智状态。可能世界语义虽然具有优美的数学性质和对应理论,但可能世界与agent的内部状态之间究竟有什么关系,至今仍不大明朗,因而导致了逻辑系统与实际建立的agent系统之间的关系也模糊不清,而AOP范型的实用化必须首先解决这个问题。 Wooldridge形式定义了一种基于分支时间的表示逻辑Lts],
樊晓聪徐殿祥侯建民陈冠岭郑国梁
关键词:软件工程AGENT人工智能AOP
用MFC制作工具条和状态条
1996年
用传统的SDK工具为WINDOWS编程是一件令人头痛的事,如要想制作出精致的工具条和状态条就更令初学者望而却步。然而当微软公司推出VISIUAL C++2.0以后,WINDOWS程序员终于可以从繁琐的编程中解脱出来了。本文介绍了在实践中用VC的基本类库MFC制作工具条和状态条的一些经验,供大家交流。
陈冠岭
关键词:工具条状态条MFC应用程序
面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计被引量:15
1998年
Agent技术源于人工智能,现已融入主流计算机的各个领域。
樊晓聪徐殿祥侯建民陈冠岭郑国梁
关键词:软件工程人工智能AGENT
一种智能手机应用交互界面程序可用性测试方法
本发明给出一种智能手机应用交互界面程序可用性测试方法,该方法不再需要人工记录用户操作手机程序的工作,通过在应用程序中嵌入少量的代码,在用户操作手机的过程中将用户操作事件上传到服务器,测试人员再根据收集到的数据通过有限状态...
王林章孙家旭陈冠岭李宣东陈志
文献传递
共1页<1>
聚类工具0