人工智能物联网(AIoT)是什么这些技术与应用从中获益
在这篇文章中,我们将解释人工智能物联网(AIoT)等智能联网设备的增长趋势,以及一些得益于 AIoT 的技术和应用。在下一篇文章中,她将讲述如何在MCU上实现AIoT。
在过去十年中,从医疗设备、家庭和建筑自动化到工业自动化,物联网 (IoT) 设备的数量呈爆炸式增长。可穿戴设备、传感器、电器和医疗监视器等设备都是联网的,能够收集和共享大量数据。根据国际数据公司 (IDC) 的一项预测估计:到 2025 年,将有 416 亿个互联的物联网设备或“物”,它们将产生 79.4 ZB的数据。
造成这种增长的一个关键是无处不在的无线连接,无线连接允许事物之间的互联并将它们连接到互联网。这种超连接具有很多优点:自动化控制、允许设备之间的轻松通信和数据共享。它还允许收集和共享大量的数据,并用这些数据做出智能决策。随着互联设备数量的增加,生成的数据量也在增加。 IDC 预测:在 2018-2025年间,这些设备产生的数据量的复合年增长率将达到 28.7%。
人工智能 (AI) 逻辑上能够让物联网更好地发挥作用。物联网终端设备可以内置智能功能,使它们不仅可以收集和共享数据,还可以分析数据、从中学习、做出决策并采取行动,而整个过程无需任何人工干预。人工智能和物联网的结合(AIoT)创造了“智能”设备,这些设备能从生成的数据中学习并自主做出决策。新的 AI 技术正在实现边缘智能,并可以显著降低与云分析相关的需求和成本。人工智能技术有望帮助物联网发挥最大的潜力。
图 1:AIoT 的六要素。
AIoT 可以让计算更接近数据产生的地方。在边缘设备上运行的人工智能技术可以自动处理并分析从传感器和其他物联网设备上生成的数据——例如温度、压力、湿度、振动或声音——并使用这些信息做出决策和执行操作。
为什么要将人工智能置于边缘?过去,由于机器学习模型的复杂性,人工智能应用主要在云端运行。但是由于缺乏可靠的高带宽连接,有些应用需要在设备上运行模型,也有些应用本身就无法在云端运行。这些应用可能需要快速的、实时的操作,由于其延迟而无法在云端运行。此类应用(例如虚拟助手、工业控制、人脸识别或医疗设备)需要快速实时的响应,不能承受云端的延迟。此外,人们也可能对云端数据的安全性和隐私性存在担忧,因此本地设备上存储和处理数据的需求会增加。云连接和云服务可能很昂贵,而且还会拉高与其相关的设备或服务的成本。
因此,边缘 AI 具有自主性、低延迟、低功耗、低带宽要求、低成本和高安全性的优势,这使其对新兴应用更具吸引力。在边缘设备上增加计算能力可以优化人工智能。人工智能可用于许多物联网应用,例如振动分析、语音处理、图像分类和计算机视觉,这些应用需要结合使用机器学习与 DSP 计算和推理。
物联网中的人工智能——市场的驱动因素和市场趋势AIoT 可让用户将原始IoT数据转换为有用的信息,使系统可以从这些数据中学习并基于此做出决策。 MarketsandMarkets 预测,全球人工智能在物联网市场的规模从 2019 年的 51 亿美元将增长到 2024 年的 162 亿美元。推动市场发展的主要因素是有效地处理大量实时数据,并从物联网设备中获取有价值的信息、进行实时监控、增强用户体验并减少维护成本和停机时间。
近年来的各种市场报告都表明:物联网终端设备越来越多地采用人工智能技术,企业从发展云端人工智能转向了边缘人工智能,以减少延迟和成本,并实现实时监控。物联网领域的许多科技公司都在大力投资人工智能,用于开发新的“智能”产品、提高业务效率并使用数据来深入业务洞察和增强客户体验。
此外,以人工智能为核心的物联网初创企业获得的投资和并购正在快速增长。而且,亚马逊、IBM、微软和Oracle等物联网平台供应商正在为他们的通用和工业物联网平台集成人工智能功能。
AIoT的优势提高运行效率:AIoT 可以处理和检测人眼发现不了的实时运行数据中的模式,并可使用该数据随时设置运行条件,从而优化业务成果。因此,人工智能可以帮助优化生产流程并改善工作流程,从而提高工作效率并降低运营成本。
改善风险管理:人工智能可以帮助机构用数据及时辨别风险,并利用这些信息优化流程,以提高安全性和减少损失,并做出更明智的业务决策。可利用人工智能降低风险的应用包括预测航空公司的机械故障和检测工厂车间的安全风险。
提供新产品和新服务:能够从大量数据中处理和提取信息,帮助开发新技术,例如语音识别、人脸识别和预测分析。这些新创建的功能可被用于许多应用,例如在交付服务、灾难搜索和救援行动中使用的机器人、智能视频门铃、语音虚拟助手以及车辆或建筑自动化系统的预测维护等等。
缩短意外停机时间:在制造业中,设备故障导致的机器意外停机可能对业务造成极大影响。预测性维护可以通过分析机器数据并主动安排维护来避免设备故障,从而减少意外停机的发生率和成本。
改善用户体验:在零售环境中,AIoT 有助于定制专属购物体验,并根据客户信息、人口统计信息和客户行为提供个性化推荐。
降低产品成本:通过将分析和决策带到边缘进行处理,人工智能有助于减少需要传输到云的数据量,从而降低与云连接和云服务相关的成本。
应用AIoT有助于或将有助于哪些类型的应用发展?以下是一些例子。
农业 AIoT:农业是可以从 AIoT 中受益的关键领域之一。 AI 用于创建智能系统,可根据天气条件、用水量、温度和作物/土壤条件调整参数。对来自传感器的数据进行分析,用于在作物选择、肥料、灌溉和害虫防治方面做出最佳决策。人工智能帮助农民提高产量,并利用资源进行季节性预测和天气预测,以便作物规划。带有人工智能的计算机视觉将被用于监控农作物,识别问题区域并在必要时发出警报。
图 2:农业中的人工智能和机器人技术。
机器人:在制造业和消费产品中的机器非常适合搭载人工智能。搭载传感器的真空吸尘器机器人,可以收集环境数据并使用人工智能来决定空间中的行进路线。同样,用于灾区重建、包装/食品配送或搜救行动的机器人可以利用人工智能来感知复杂的(有时会是恶劣的)环境,并相应地调整机器人的反应。具有识别面部和人类情绪能力的机器人也可以被用在零售业中,用于导购并丰富购物体验。
工业自动化:带有人工智能的计算机视觉可提高装配线上的质量控制并进行异常检测。人工智能还有助于对机器进行预测性维护,避免机器停机、延长机器寿命并降低制造成本。机器人可用于生产车间或仓库,用于移动包裹、协助装配过程、检查产品质量并执行重复性、高精度的任务。
图 3:工业自动化中的人工智能
自动驾驶汽车:结合了物联网和人工智能的自动驾驶汽车可自行导航,应对不断变化的交通、天气或道路状况、预测行人的行为。人工智能还可根据收集到的数据来评估车辆状况,并为车辆维护提供预测性建议。
图 4:汽车人工智能
建筑/家庭自动化:AIoT 可以根据建筑的使用情况和用户偏好数据调整照明和气候控制,从而帮助公司降低能源成本并提高建筑物的能源效率。预测性维护(利用了建筑健康系统的诊断数据)允许按需维修而不是按计划维修,从而帮助公司节省成本。他们还可以在系统故障发生之前进行预警,并进行调整以获得最佳性能。 AI 还可以使用摄像头传感器进行自动访问控制。
智慧城市:通过AIoT收集和分析来自传感器和物联网设备的大量数据,并提取用于实时调整的信息,可以创建更高效的城市、维护城市基础设施并改善社区公共服务。人工智能的实际应用包括废物管理、停车管理、交通管理和智能照明等公共服务。例如,无人机可用于实时监控交通,其数据可用于调整交通信号灯或车道分配和管理,以减少交通拥堵,所有这些都无需人工干预。同样,也可以在垃圾箱上安装传感器,在垃圾箱已满时提醒清洁工来清空垃圾,从而降低成本。
运输和物流:人工智能可应用于车队管理,提供预测性维护。它可以实时监控车队,并根据从 GPS 跟踪器和传感器收集的数据对车辆进行维护。人工智能还可以通过实时导航帮助车队运营商降低燃料成本、关注车辆维护并识别驾驶员的危险行为。
零售管理:人工智能可以通过两种方式应用于零售。人工智能和预测性分析可以收集和分析大量数据,零售商可以使用这些信息进行预测,并做出准确的、基于数据的业务决策。AIoT可以使用客户信息、人口统计数据和行为分析,为购物者提供个性化推荐,并改善商店运营、产品放置策略、客户服务和整体用户体验。零售机器人可以提供导购服务并提高客户体验。
图 5:零售业的人工智能
医疗保健:医疗保健中的 AIoT可用于多种应用,例如通过分析成像数据来检测和诊断疾病、通过传感器远程监控患者情况并在发现异常时报警、通过分析 EHR(电子病历)预测患者的疾病风险和药物的相互作用。此外,机器人手术系统可以执行或协助非常复杂和高精度的手术,并使微创手术成为可能。
AI是物联网的未来AIoT 正在发展新的应用和用例,并将帮助 IoT 发挥其最大潜力。 AIoT 可应用于智能城市、工业自动化、医疗、农业和智能家居等各种市场。我们将持续看到更多将人工智能纳入物联网终端的应用,越来越多的制造商将把人工智能作为重要的投资领域。
(参考原文:WhatistheAIofthings(AIoT)?)
责编:AmyGuan
本文为《电子工程专辑》2021年10月刊杂志文章,版权所有,禁止转载。点击申请免费杂志订阅
人工智能发展五个阶段,核心技术闭环是五个阶段的重要基础。
https://www.toutiao.com/a6672892600971690503/
人工智能发展五个阶段,核心技术闭环是五个阶段的重要基础。
核心技术闭环
从感知到认知决策的一系列技术组成了核心技术闭环:
感知技术:人脸识别、语音识别、文字识别OCR、体态识别、跨镜追踪(ReID)、车辆识别等
认知决策:自然语言处理(NLP)、脑科学、大数据分析(风控、精准营销)等
感知技术闭环是一个让计算机完全理解人类世界的过程。从人脸、语音、体态识别等帮助计算机感受到这个世界的信息,然后再进入认知决策环节:将这些得到的信息进行分析,只有彻底运用这些信息才能帮助计算机理解人类、理解世界。
《人工智能》之《知识表示方法》
教材:《人工智能及其应用》,蔡自兴等,2016m清华大学出版社(第5版)
参考书:
《人工智能》之《知识表示方法》1状态空间法(StateSpaceRepresentation)1.1问题状态描述1.2状态图示法1.3示例:修道士(Missionaries)和野人(Cannibals)问题2问题归约法(ProblemReductionRepresentation)2.1问题归约描述2.2示例:梵塔难题(TowerofHanoiPuzzle)2.3与或图表示2.4问题归约的描述3谓词逻辑法(PredicateLogicMethod)3.1一阶谓词逻辑表示的逻辑学基础3.2谓词演算(predicatecaculus)3.3谓词公式3.4谓词逻辑表示方法3.5置换与合一置换(Substitution)合一(Unification)置换与合一的作用3.6谓词逻辑法的优缺点主要优点主要缺点4语义网络法(SemanticNetworkMethod)4.1一元语义网络的表示4.2二元语义网络的表示4.3多元语义网络的表示4.4命题运算4.5概念节点与实例节点4.6语义网络的推理过程继承匹配4.7语义网络法的优缺点主要优点主要缺点:5框架表示(Frame)5.1框架的构成5.2框架的推理5.3框架表示法的优缺点6本体技术6.1背景知识6.2本体(Ontology)6.3本体建模方法7知识图谱8小结知识是一个抽象的术语,用于尝试描述人对某种特定对象的理解。
知识的定义
知识的一般概念:知识是人们在改造客观世界的实践中积累起来的认识和经验。
知识的代表性定义:
知识是经过裁剪、塑造、解释、选择和转换的信息(Feigenbaum);知识由特定领域的描述、关系和过程组成(Bernstein);知识=事实+信念+启发式(HeyesRoth)。知识、信息、数据的关系:知识的类型
按知识的性质:概念、命题、公理、定理、规则和方法。
按知识的作用域:
常识性知识:通用通识的知识,人们普遍知道的、适用于所有领域的知识;领域性知识:面向某个具体专业领域的知识。按知识的作用效果:
事实性知识:用于描述事物的概念、定义、属性等,或用于描述问题的状态、环境、条件等的知识;过程性知识:用于问题求解过程的操作、演算和行为的知识,或指出如何使用那些与问题有关的事实性知识的知识;控制性知识:(元知识或超知识)。是关于如何使用过程性知识的知识。例如:推理策略、搜索策略、不确定性的传播策略。按知识的确定性:
确定性知识:可说明其真值为真或为假的知识;不确定性知识:包括不精确、模糊、不完备知识。1.不精确:知识本身有真假,但由于认识水平限制却不能肯定其真假;表示:用可信度、概率等描述2.模糊:知识本身的边界就是不清楚的。例如:大,小等;表示:用可能性、隶属度来描述3.不完备:解决问题时不具备解决该问题的全部知识。例如:医生看病。知识表示
对知识的一种描述;一种计算机可以接受的用于描述知识的数据结构;表示方法不唯一;是人工智能的核心。知识表示的要求
表示能力:能否正确、有效地表示问题。包括:表达范围的广泛性领域知识表示的高效性对非确定性知识表示的支持程度可利用性:可利用这些知识进行有效推理。包括:对推理的适应性:推理是根据已知事实利用知识导出结果的过程对高效算法的支持程度:知识表示要有较高的处理效率可实现性:要便于计算机直接对其进行处理可组织性:可以按某种方式把知识组织成某种知识结构可维护性:便于对知识的增、删、改等操作自然性:符合人们的日常习惯知识表示存在的问题
人是如何表示知识,存储知识的仍然是个迷;目前用计算机来进行知识处理面临三大难题:1.“Clear-Cut”问题:主要处理可形式化的边界清晰问题;2.知识获取瓶颈:很难把现实中的知识转化为计算机可理解的知识;3.知识窄台阶:多为专家系统知识,缺乏常识性知识。如何让机器理解下面的故事?主人让小马托着两袋盐巴过河,他不小心把一部分浸到了河里。于是盐巴融化在河里一部分,盐袋子也变轻了。小马很开心,得意洋洋地回家了。第二次,主人又给小马托起棉花过河。小马想起来上次,故意把棉花都浸到了河里。结果,小马沉得要死,死扛着回家了。
如何让机器理解如此场景?
我们不是音频分析的手段来实现对贝多芬音乐的欣赏,也不是用视频分析的手段来实现对梵高油画的欣赏”(杨雄里院士)。这其中蕴含深刻的整合过程,因此必然涉及大量的背景知识和感知经验。
人的概念系统
人的概念系统是非任务特定性的,具有很强的通用性。正是这种不局限于特定目标的特性,使人可以处理各种各样问题(通用人工智能的目标);Nisson认为“人工智能最重要的部分就是发现一个适用的概念化知识结构。”(建立一套基于统一认知理论的计算模型,即基于单一结构上多个程序的认知模型)。1状态空间法(StateSpaceRepresentation)许多问题的求解方法是试探搜索方法。这些方法是通过在某个可能的解空间内寻找一个解来求解问题的。这种基于解答空间的问题表示和求解方法就是状态空间法,它是以状态和算符为基础来表示和求解问题的。
状态(state):表示问题解法中每一步问题状况的数据结构;算符(operator):把问题从一种状态变换为另一种状态的手段(或操作)。
1.1问题状态描述定义:
状态(State):描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合,即(n+1)维向量。算符(Operate):使问题从一种状态变化为另一种状态的手段,也称操作符。状态空间(StateSpace):是一个表示该问题全部可能状态及其关系的图,它包含三种说明的集合,即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G,即三元状态(S,F,G)。要完成某个问题的状态描述,必须:
该状态描述方式,特别是初始状态描述;操作符集合及其对状态描述的作用;目标状态描述的特性。1.2状态图示法有关图的知识:《软件技术基础》之《图》
图的显示说明:对于显式说明,各节点及其具有代价的弧线由一张表明确给出。此表可能列出该图中的每一节点、它的后继节点以及连接弧线的代价(相关知识:D是邻接矩阵,如何求i,j的最短距离?)
图的隐示说明:已知起始节点{si}和后继节点算符Γ。后继节点算符能作用于任一节点以产生该节点的
全部后继节点各连接弧线的代价(例如:棋局)寻找一种状态到另一种状态的算符序列等价于寻找图上的最短路径问题。
表示方法的多样性:如3数码难题中
规则1:移动数码(3X4条规则)规则2:移动空格(4条规则)应该选择小而简单的状态空间。
1.3示例:修道士(Missionaries)和野人(Cannibals)问题问题描述
设在河的一岸有三个野人、三个修道士和一条船,修道士想用这条船把所有的人运到河对岸,但受以下条件的约束:
修道士和野人都会划船,每次船上至多可载两个人;在河的任一岸,如野人数超过修道士数,修道士会被野人吃掉。如果野人会服从任何一次过河安排,请规划一个确保修道士和野人都能过河,且没有修道士被野人吃掉的安全过河计划。
状态表示
用一个三元组来表示状态:S=(m,c,b)
集合说明m左岸的修道士人数(missionary)c左岸的野人数(cannibal)b左岸的船数(bank)右岸的状态可由下式确定:
状态式右岸修道士数m’=3-m右岸野人数c’=3-c右岸船数b’=1-b该表示方式下,m,c都可取0、1、2、3,b可取0和1,共有4×4×2=32种状态,如下所示:操作集
状态空间
给出状态和操作的描述之后,该问题的状态空间是:状态空间图
2问题归约法(ProblemReductionRepresentation)问题归约法是另一种基于状态空间的问题描述与求解方法。已知问题的描述,通过一系列变换把此问题最终变为一个本原问题集合;这些本原问题的解可以直接得到,从而解决了初始问题。
2.1问题归约描述问题归约法由3部分组成:
一个初始问题描述;一套把问题变换为子问题的操作符;一套本原问题描述。问题归约法的实质:从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题规约为一个平凡的本原问题集合。
归约方式
分解等价变换2.2示例:梵塔难题(TowerofHanoiPuzzle)问题描述
有3个柱子(1,2,3)和3个不同尺寸的圆盘(A,B,C)。在每个圆盘的中心有个孔,所以圆盘可以堆叠在柱子上。最初,全部3个圆盘都堆在柱子1上:最大的圆盘C在底部,最小的圆盘A在顶部。要求把所有圆盘都移到柱子3上,每次只许移动一个,而且只能先搬动柱子顶部的圆盘,还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上。
归约过程
移动圆盘A和B至柱子2的双圆盘难题;移动圆盘C至柱子3的单圆盘难题;移动圆盘A和B至柱子3的双圆盘难题。由上可以看出简化了难题每一个都比原始难题容易,所以问题都会变成易解的本原问题。归约描述
问题归约方法是应用算符来把问题描述变换为子问题描述。
可以用状态空间表示的三元组合(S、F、G)来规定与描述问题;对于梵塔问题,子问题[(111)→(122)],[(122)→(322)]以及[(322)→(333)]规定了最后解答路径将要通过的脚踏石状态(122)和(322)。
问题归约方法可以应用状态、算符和目标这些表示法来描述问题,这并不意味着问题归约法和状态空间法是一样的。
梵塔问题归约图
2.3与或图表示与图、或图、与或图
我们用一个似图结构来表示把问题归约为后继问题的替换集合,这一似图结构叫做问题归约图,也叫与或图。相关概念
父节点、子(后继)节点、弧线终叶节点:对应于原问题的本原节点。或节点:只要解决某个问题就可解决其父辈问题的节点集合,如(M,N,H)。与节点:只有解决所有子问题,才能解决其父辈问题的节点集合,如(B,C)和(D,E,F)各个结点之间用一端小圆弧连接标记。与或图:由与节点及或节点组成的结构图。右图是增加附加结点后的规范化与或图。
可解结点
终叶节点是可解节点(因为它们与本原问题相关连)。如果某个非终叶节点含有或后继节点,那么只要当其后继节点至少有一个是可解的时,此非终叶节点才是可解的。如果某个非终叶节点含有与后继节点,那么只有当其后继节点全部为可解时,此非终叶节点才是可解的。不可解结点
没有后裔的非终叶节点为不可解节点。全部后裔为不可解的非终叶节点且含有或后继节点,此非终叶节点才是不可解的。后裔至少有一个为不可解的非终叶节点且含有与后继节点,此非终叶节点才是不可解的。解树由可解节点构成,并且由这些可解节点可以推出初始节点(它对应着原始问题)为可解节点的子树为解树。在解树中一定包含初始节点。
问题归约求解过程即生成解树,即证明原始节点是可解节点的过程。
2.4问题归约的描述问题归约方法应用算符把问题描述转化为子问题描述,可以采用各种数据结构:表列、树、字符串、矢量、数组等;
例如梵塔问题的表示:包含两个数列的表列:[(111),(333)]
可以把问题归约法看成比状态空间法更通用的问题求解方法;其核心实现是不断简化问题(即缩小子问题的状态空间),直至问题成为本原问题(已知问题、易解问题)。
3谓词逻辑法(PredicateLogicMethod)3.1一阶谓词逻辑表示的逻辑学基础断言(assertion):一个陈述句称为一个断言。
命题(proposition):具有真假意义的断言。
命题的真值:
T:命题的意义为真F:命题的意义为假命题真值的说明:
一个命题不能同时既为真又为假一个命题可在一定条件下为真,而在另一条件下为假论域(domainofdiscourse):由所讨论对象的全体构成的集合。亦称为个体域(individualdomain)。
个体(individual):论域中的元素。
谓词(predicate):在谓词逻辑中命题是用形如P(x1,x2,…,xn)的谓词来表示的。
谓词名:命题谓语,表示个体的性质、状态、个体之间的关系个体:命题主语,表示独立存在的事物或概念函数(function):
逻辑语句:一种形式语言,能把逻辑论证符号化,用于证明定理,求解问题。
形式语言(FormalLanguage):严格地按照相关领域的特定规则,以数学符号(符号串)形式描述该领域有关客体的表达式。
3.2谓词演算(predicatecaculus)原子公式(atomicformula):由谓词符号和若干项组成的谓词演算。原子公式是谓词演算基本积木块。
项包括常量符号、变量符号、函数符号等。
定义原子公式为真值或假值就表示了某种语义(semantics)。
若t1,t2,…,tn是项,P是谓词,则称P(t1,t2,…,tn)为原子谓词公式(原子公式)。
无变量的原子公式取值确定,包含变量的原子公式取值不定。
例如:“机器人(ROBOT)在1号房间(room1)内”INROOM(ROBOT,room1)为真INROOM(ROBOT,room2)为假
连词(Connective)
与、合取(conjunction):用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。例:LIKE(I,MUSIC)∧LIKE(I,PAINTING)(我喜爱音乐和绘画。)或、析取(disjunction):用连词∨把几个公式连接起来而构成的公式。析取项是析取式的每个组成部例:PLAYS(LILI,BASKETBALL)∨PLAYS(LILI,FOOTBALL)(李力打篮球或踢足球。)蕴涵(Implication):“→”表示“如果—那么”(IF—THEN)关系,其所构成的公式叫做蕴涵。非(Not):表示否定,¬、~均可表示量词(Quantifier)辖域(scope):指位于量词后面的单个谓词或用括弧括起来的合式公式。
约束变元(boundvariable):辖域内与量词中同名的变元。
自由变元(freevariable):不受约束的变元。
变元的换名
对约束变元,须把同名的约束变元都统一换成另外一个相同的名字,且不能与辖域内的自由变元同名。
对辖域内的自由变元,不能改成与约束变元相同的名字。
3.3谓词公式原子公式:P(x1,x2,…,xn)一个n元谓词公式,为谓词演算的原子公式,或原子谓词公式。其中,P是n元谓词;x1,x2,…,xn是客体变量或变元。
文字(literal):一个原子公式,和原子公式的否定。
子句(clause):文字的析取(V)构成的公式。
**合成公式(WFF,well-formedformula)**的递归定义:示例:试把下列命题表示为谓词公式:任何整数,或者为正数或者为负数。用I(z)表示“z是整数”,P(z)表示“z是正数”,N(z)表示“z是负数”。给定命题用下列谓词公式来表示:合成公式的真值表
等价(Equivalence)如果两个合式公式,无论如何解释,其真值表都是相同的,那么我们就称此两合式公式是等价的。
注意:(10)说明在一个量化的表达式中的约束变量是一类虚元,它可用任何一个不在表达式中出现过的其他变量符号来代替
3.4谓词逻辑表示方法表示步骤:
确定个体域;根据要表示的知识定义谓词;用连词、量词把这些谓词连接起来。3.5置换与合一谓词逻辑的推理:将推理规则应用于一定的合式公式(集),以产生新的合式公式。谓词公式的等价性和永真蕴含性
置换(Substitution)表达式中用置换项置换变量,如用项A替换函数表达式中的变量(x)表达式E(Expression)用一个置换s(Substitution)而得到的表达式的置换,记为EsE(s1s2)=(Es1)s2置换合成
合一(Unification)是人工智能中很重要的一个过程;寻找项对变量的置换,以使多个表达式一致的操作。如果一个置换s作用于表达式集{Ei}的每个元素,则我们用{Ei}s来表示置换例的集。如存在置换s使得表达式集{Ei}置换后有:E1S=E2S=E3S=…,则称表达式集{Ei}是可合一的,s称为{Ei}的合一者(unifier)。还有其他的合一者,最简单的合一者为:g={B/y}。
最通用的合一者:如对表达式集{Ei}的任一合一者s,都存在某一s’,使得{Ei}s={Ei}gs’,则称g为{Ei}的最通用合一者(mostgeneralunifier,i.e.mgu)
置换与合一的作用谓词逻辑推理的基本方法,就是寻找简单有效置换合一,采用消解原理利用消解反演方法求解问题,详见第三章。
3.6谓词逻辑法的优缺点主要优点自然:一阶谓词逻辑是一种接近于自然语言的形式语言系统,谓词逻辑表示法接近于人们对问题的直观理解;明确:有一种标准的知识解释方法,可表示的知识明确、易于理解;精确:谓词逻辑的真值只有“真”与“假”,其表示、推理都是精确的;灵活:知识和处理知识的程序是分开的,无须考虑处理知识的细节;模块化:知识之间相对独立,这种模块性使得添加、删除、修改知识比较容易进行。主要缺点知识表示能力有限:只能表示确定性知识,而不能表示非确定性知识、过程性知识和启发式知识(与精确相对);存在组合爆炸:由于难以表示启发式知识,因此只能盲目地使用推理规则,这样当系统知识量较大时,容易发生组合爆炸;语义表达能力低:它把推理演算与知识含义截然分开,抛弃了表达内容中所含有的语义信息,往往使推理过程冗长(与灵活相对)。4语义网络法(SemanticNetworkMethod)1968年,奎廉(J.R.Quillian)在研究人类联想记忆时,受到以下两点的启发:
人脑记忆的一个重要特征是人脑中不同信息片段之间的高度连接;高度相关的概念能够比不太相关的概念更快地回忆起来。提出一种心理学模型,即语义网络,认为记忆是由概念间的联系实现的,把它用作知识表示。1972年,西蒙在自然语言理解系统中也采用了语义网络表示法。
语义网络是一个通过语义关系连接的概念网络。语义网络其实是一种有向图表示的知识系统。节点代表的是概念,而边则表示这些概念之间的语义关系。语义网络中最基本的语义单元称为语义基元,可以用三元组形式表示:。
4.1一元语义网络的表示属性关系:指事物和其属性之间的关系。
常用的属性关系有:
Have:含义为“有”,表示一个节点具有另一个节点所描述的属性;
Can:含义为“能”、“会”,表示一个节点能做另一个节点的事情;
Age:含义为“年龄”,表示一个节点是另一个节点在年龄方面的属性。
4.2二元语义网络的表示上述关系的主要特征:属性继承性,处在具体层的节点可以继承抽象层节点的所有属性。
示例1:用语义网络表示:动物能运动、会吃。鸟是一种动物,鸟有翅膀、会飞。鱼是一种动物,鱼生活在水中、会游泳。示例2:用语义网络表示:王强是百度公司的经理;百度公司在中关村;王强28岁。
4.3多元语义网络的表示示例1:小燕是一只燕子,燕子是一种鸟,鸟有翅膀;巢-1是小燕的巢,巢-1是巢中的一个。存在的问题:上述的语义网络为二元关系,无法表示复杂事实,如:小燕从春天到秋天占有巢-1。如果采用谓词逻辑表示为一个四元谓词演算:Owns(XIAOYAN,NET-1,SPRING,FALL)
解决办法:通过星形连接的方式,把多个变元联系起来。
表示方法:增加情况、动作节点。
示例2:用语义网络表示:“小燕子这只燕子从春天到秋天占有一个巢”。示例3:用语义网络表示:“JohngaveMarythebook.”
如果用谓词逻辑法:GAVE(JOHN,MARY,BOOK)
多元语义网络表示的实质:把多元关系转化为一组两两之间的二元关系的组合,或二元关系的合取。通过星形连接的方式,把多个变元联系起来。
4.4命题运算与运算示例:或运算示例:非运算示例:
4.5概念节点与实例节点自己的理解:如果语义网络只用来表示一个特定的物体或概念,那么当有更多的实例时就需要更多的语义网络,这样就使问题复杂化。我们可以找到一个通用的概念,称为概念节点;而把一个更加具体的点作为这个概念的实例,称为实例节点。例如:把汽车作为概念节点,我的汽车、张三的汽车作为汽车的一个实例节点。
4.6语义网络的推理过程值节点(valuenode):在链的尾部的节点。
节点的槽(slot):链的别称。
示例:BRICK12有3个链(2个槽):COLOR槽只有一个值,填入RED;ISA槽有两个值,填入了BRICK和TOY。
继承在语义网络中,继承是把对事物的描述从概念节点或类节点传递到实例节点。
示例:
概念节点BRICK的SHAPE槽,有值节点RECTANGULAR(矩形),属性RECTANGULAR可通过ISA链传递给实例节点BRICK12,实例节点BRICK12无SHAPE槽,可从语义网络推理出BRICK12的SHAPE的外形为RECTANGULAR(矩形)。
一共有三种继承过程:值继承、“如果需要”继承、“缺省”继承。
值继承:ISA(Isa)链与AKO(AKindOf)链,常用知识传递方法;放入值侧面中。“如果需要”(If-needed)继承:有时对不知道的槽值,可计算得到,通过此计算程序得到知识的模式称为if-needed链,如通过体积、密度在需要时可以计算其质量。If-needed程序放入IF-NEEDED侧面中。“缺省”继承:在对事务所作假设无十分把握时,可加上“可能”字样,这种不肯定的值称为“缺省”值,放入槽的DEFAULT侧面中。匹配推理步骤:
根据提出的待求解问题,构造一个局部网络或网络片段,其中有的节点、弧标注为空,表示有待求解的问题,称为未知处;根据这个局部网络、网络片段到知识库中寻找可匹配的语义网络,以便求得问题的解答(匹配可近似);问题的局部语义网络与知识库中的某种语义网络片段匹配时,则与未知处相匹配的事实就是问题的解。已知结构有2个部件:TOY-HOUSE、TOY-HOUSE77
虚节点和虚链:TOY-HOUSE、TOY-HOUSE77之间有ISA链,就知虚节点和虚链。
已知结构有2个部件:BRICK12、楔块WEDGE18
部件匹配:STRUCTURE35、TOY-HOUSE之间有ISA链,就知BRICK12须支撑WEDGE18虚线箭头:BRICK12和WEDGE18间的SUPPORT虚链
4.7语义网络法的优缺点主要优点结构性:显式地表示事物属性、事物间的各种语义联系,是一种结构化的知识表示方法。下层结点可继承、新增、变异上层结点的属性。联想性:因人类联想记忆模型提出,强调事物间的语义联系,体现了人类的联想思维过程。自索引性:明确、简洁的方式表示各接点之间的联系,通过与某一结点连接的弧可很容易的找出与该结点有关的信息,而不必查找整个知识库。有效的避免搜索时的组合爆炸问题。自然性:带标识的有向图可直观表示知识,符合人们表达事物间关系的习惯,且与自然语言语义网络之间的转换也较易实现。主要缺点:非严格性:无谓词的严格形式表示体系,给定语义网络的含义完全依赖于处理程序对它所进行的解释,所实现的推理不能保证其正确性。复杂性:表示知识的手段多种多样,虽对其表示带来了灵活性,同时也因表示形式的不一致,增加了处理的复杂性。5框架表示(Frame)框架理论(微世界理论):明斯基1975年作为理解视觉、自然语言对话及其它复杂行为的一种基础提出来的,认为人们对现实世界中各种事物的认识都是以一种类似于框架的结构存储在记忆中的,当遇到一个新事物时,就从记忆中找出一个合适的框架,并根据新的情况对其细节加以修改、补充,从而形成对这个新事物的认识。例:对饭店、教室等的认识。
框架:人们认识事物的一种通用的数据结构形式。
实例框架:对于一个框架,当人们把观察、认识到的具体细节填入后,就得到了该框架的一个具体实例,即实例框架。
框架系统:框架是知识的基本单位,把一组有关的框架连结起来便可形成一个框架系统。
框架系统推理:由框架之间的协调来完成。
5.1框架的构成由描述事务的各个方面的槽组成,每个槽可以拥有若干个侧面,而每个侧面可拥有若干个值。示例:框架的关系:一个框架可为另一个框架的槽值,且一个框架结构可作为几个不同框架的槽值。相同的信息不必重复存储,节约空间。
示例:一个立体视图的框架表示最高层的框架用ISA槽说明是一个立方体,并由region槽指示出它所拥有的3个可见面A,B,E。而A,B,E又分别用3个框架来具体描述。用mustbe槽指示它们必须是一个平行四边形。
框架系统
学生框架研究生框架infer槽:用于指出两个框架所描述事物间的逻辑推理关系,可用来表示相应的产生式规则。
示例:如果咳嗽、发烧且流涕,则八成是患感冒,需服用“感冒清”,一日三次,每次2-3粒,多喝开水。
5.2框架的推理框架系统的基本推理方法:
特性继承(ISA/AKO链),如:燕子→鸟部分匹配,如:TOY-HOUSE从描述中直接引用,如:Student例子各槽值的相关信息可以指导进行该槽值的描述解答子节点与父节点差异的原因,例如:三条腿的椅子相似网络推理代表性知识库:FrameNet官网:FrameNet
Howtouse:FrameNet&FrameNetPythonAPI
5.3框架表示法的优缺点6本体技术6.1背景知识研究背景2000年12月18日,Berners-Lee在XML2000的会议上正式提出了语义Web。目标是使Web上的信息具有计算机可以理解的语义,满足智能软件代理(Agent)对WWW上异构、分布信息的有效访问和搜索。Berners-Lee为未来的Web发展提出了语义Web体系结构。
语义网语义网体系结构语义网提供了一套为描述数据而设计的表示语言和工具,用于形式化地描述一个知识领域内的概念、术语和关系。
第一层:Unicode和URI(uniformresourceidentifier,通用资源标识符),是整个语义网的基础。Unicode处理资源的编码,实现网上信息的统一编码;URI负责标识资源,支持网上对象和资源的精细标识。
第二层:XML+NS(NameSpace)+XMLSchema,用于表示数据的内容和结构的可扩展标记语言。通过XML标记语言将网上资源信息的结构、内容和数据的表现形式进行分离。
第三层:RDF+RDFSchema,用于描述网上资源及其类型,为网上资源描述提供一种通用框架和实现数据集成的元数据解决方案。
第四层:OntologyVocabulary,用于描述各种资源之间的联系,揭示资源本身及资源之间更为复杂和丰富的语义联系,明确定义描述属性或类的术语语义及术语间关系。
第五层:逻辑层,主要提供公理和推理规则,为智能推理提供基础。该层用来产生规则。
第六层:证明层,执行逻辑层产生的规则,并结合信任层的应用机制来评判是否能够信赖给定的证明。
第七层:信任层,注重于提供信任机制,以保证用户代理在网上进行个性化服务和彼此间交互合作时更安全可靠。
核心层为XML、RDF、ONTOLOGY,用于表示信息的语义。
XMLXML(eXtensibleMarkupLanguage,可扩展标记语言)是最早的语义网表示语言,它取消了HTML的显示样式和布局描述能力,突出了数据的语义和元素结构描述能力。特性:XML只定义了文档结构和数据类型,没有定义数据的语义,机器仍然无法理解文档的内容。为了让应用程序理解数据的语义,就出现了RDF。
RDFRDF(ResourceDescriptionFramework)是一种资源描述框架,利用当前的多种元数据标准来描述各种网络资源,形成人机可读,并可由机器自动处理的文件。
RDF的核心思想:利用Web标识符(URI)来标识事物,通过指定的属性和相应的值描述资源的性质或资源之间的关系。
示例:RDFSchema示例:RDF(S)的优缺点
优点:
简单:资源以三元组的形式描述,简单、易控制。易扩展:描述和词汇集分开,具备良好的可扩展性。包容性:允许定义自己的词汇集,并可以无缝使用多种词汇集来描述资源。易综合:RDF认为一切都是资源,这样很容易综合描述。缺点:
不能准确描述语义:同一个概念有多种词汇表示,同一个词汇有多种含义(概念)。
没有推理模型,不具备推理能力。
6.2本体(Ontology)本体(Ontology)通过对概念的严格定义和概念与概念之间的关系来确定概念的精确含义,表示共同认可的、可共享的知识。
本体的定义本体的组成OWLOWL(WebOntologyLanguage,Web本体语言)是在语义网上表示本体的推荐语言,作为RDF(S)的扩展,其目的是提供更多原语以支持更加丰富的语义表达并支持推理。
OWL是RDF的扩展,提供了更广泛的定义RDFS词汇的功能——可以定义词汇之间的关系,类与类间的关系,属性与属性之间的关系等,从而使得数据的语义定义更加丰富,并且构成一个知识系统并支持推理。
OWL的三个子语言:
OWLLite:提供一个分类层次和简单属性约束。OWLDL:提供推理系统,保证计算完备性和可判定性。OWLFull:支持完全自由的RDF语法,但是不具备可计算性保证。表达能力:OWLLite