是由公共Lisp的程序语言、一套可扩展的一阶逻辑理论和一个机械化的定理证明工具所组成的软件系统。...[继续阅读]

    指无须经验或先于经验获得的知识。通常与后验知识相比较,后验为需要经验才能获得的知识。从原因到结果的论证称为“先验的”,而从结果到原因的论证称为“后验的”。...[继续阅读]

    一种在多个节点的路径图形平面上,求出最低通过成本的算法。该算法属于人工智能中的启发式搜索算法,常用于游戏中的非玩家控制角色(NPC)的移动计算,或线上游戏机器人(BOT)的移动计算。...[继续阅读]

    同“A星算法”。...[继续阅读]

    在状态空间采用A星算法进行搜索,对每一个搜索的位置进行评估,得到最好的位置,再从这个位置进行搜索直到目标。启发式搜索对位置的评估是十分重要的,采用不同的评估可以有不同的效果,从而省略大量无谓的搜索路径,提高了效率...[继续阅读]

    指为求解最短路径最有效的直接搜索方法而构建的树形结构,来保证找到最短路径(最优解的)条件。...[继续阅读]

    一种通过科学的实验设计、采样样本、流量分割与小流量测试等方式来获得具有代表性的实验结论,并确信该结论在推广到全部流量可信。为同一个目标制定两个方案,让一部分用户使用A方案,另一部分用户使用B方案,记录用户的使用...[继续阅读]

    指将标准量(或参考量)为基准的模拟量转化成二进制数字量形式的离散信号的转换器。...[继续阅读]

    用来检测数字信号与模拟信号的传感器。...[继续阅读]

    指最基本的电子会议系统,A/V为audio(音频)与video(视频)的缩写,该系统由麦克风、功放、音响、桌面显示设备(例如桌面智能终端、液晶显示器)组成,起到了传声、显示、扩声的作用。广泛应用于监控、指挥、调度、公安、消防、军事、...[继续阅读]