不一致知识库中的BUT推理

摘要

本发明提供了一种利用不一致知识库进行“BUT推理”的方法。该方法不仅给出对布尔问题的回答，而且给出附加的并且指导性的信息。该方法首先寻找解释所述回答与不一致知识库之间的矛盾的桥陈述。然后，该方法选择导致与所述回答的矛盾的BUT陈述，并且构造并验证具有所述回答、所述BUT陈述和可选的所述桥陈述的BUT回答。

说明书

背景技术

除非本文另有指示，否则该部分中描述的方法不是针对本申请中的权利要求的现有技术，并且不能由于被包括在该部分中而将其认为是现有技术。

语义网（Semantic Web）是指使万维网上可用的信息能够被机器所理解。代替用户处理和操纵万维网上的信息，计算机上的个人代理将为用户发掘数据以执行任务，例如回答布尔查询。然而，万维网上存在许多知识库，将它们快速合并导致不一致性。

通常，存在两种方法来应对知识库中的不一致性。第一种方法是修复不一致知识库。然而，由于不一致知识库可能过大或者可能无权修复不一致性，修复不一致性可能没有效果或者甚至无法进行。另外，不一致知识库可能频繁改变，因此不允许任何有意义的修复。应对不一致知识库的第二种方法是利用不一致知识库直接执行推理。存在关于利用不一致性的推理的多个工作。给定布尔查询，这些推理方法通常返回“是”、“否”或“我不知道”。

发明内容

在本公开的一个或更多个实施方式中，提供了一种使处理器利用不一致知识库来响应布尔查询的方法。该方法包括以下步骤：接收具有原始公式的布尔查询，并且确定所述不一致知识库是否非标准地蕴含（non-standardly entail）所述原始公式。当所述不一致知识库非标准地蕴含所述原始公式时，所述方法包括以下步骤：从不一致知识库选择解释与所述原始公式的矛盾的桥公式，并且构造包括所述原始公式、导致与所述原始公式的所述矛盾的but公式和所述桥公式的but回答。所述方法还包括以下步骤：验证所述but回答，并且发送或显示具有至少所述原始公式和所述but公式的所述but回答。

以上的发明内容仅是示意性的，并非旨在以任何方式进行限制。除了上述的示意性方面、实施方式和特征以外，通过参照附图和下面的详细描述，其它的方面、实施方式和特征将变得明显。

附图说明

根据下面的描述和所附权利要求并结合附图，本公开的以上和其它特征将变得更加充分地明显。应理解的是，这些附图仅描述了根据本公开的多个实施方式，因此不能被认为是对本公开的范围的限制，将通过使用附图来利用附加的特征和细节描述本公开。

附图中：

图1是用于实现利用不一致知识库的but推理的计算机的示意性系统的框图；

图2是为实现不一致推理器而由图1的计算机执行的示意性方法的流程图，所述不一致推理器从不一致知识库确定对布尔查询的but回答；

图3是为确定不一致知识库是否非标准地蕴含原始公式而由图1的计算机执行的示意性方法的流程图；

图4示出用于实现用于利用不一致知识库的but推理的方法的示意性计算机程序产品；以及

图5示出全部根据本公开的至少一些实施方式布置的示意性计算机装置的框图。

具体实施方式

I.介绍

在下面的具体实施方式中，参照构成其一部分的附图。附图中，除非上下文另外指出，否则类似的符号通常表示类似的部件。具体实施方式、附图和权利要求书中描述的示意性实施方式并非旨在进行限制。可以采用其它实施方式，并且在不脱离这里呈现的主题的精神或范围的情况下可以做出其它改变。将容易地理解，如本文一般描述并且附图中示出的本公开的多个方面可以按照各种不同的配置来设置、替换、组合和设计，所有这些在本文中被明确设想到。

除其它方面外，本公开被描绘为与使用“but推理”从不一致知识库确定对布尔查询的“but回答”有关的方法、设备、计算机程序和系统。

词“but”可用于表示两个子句的相反合取（contrary conjunction），使用这种but陈述的推理可称为but推理。在从不一致知识库回答布尔查询时，but推理不仅可给出对布尔查询的“原始回答”，而且给出与原始回答相对比的“对比回答”。

But推理具有两个主要目的。But推理可通过提供相关的对比回答来避免误导信息。例如，可以说“all cars are polluting but electric cars are not polluting（所有汽车都造成污染，但是电动汽车不造成污染）”。所有汽车都造成污染的简单回答是误导，因为电动汽车是该规则的例外。But推理还可实现非预期的附加回答的有效影响。例如，可以说“the conference will be held in Holland,but not in Amsterdam（会议将在荷兰举行，但不是在阿姆斯特丹举行）”。对于荷兰的所有会议均将在阿姆斯特丹举行的正常预期而言，会议将不在阿姆斯特丹举行的对比回答是出人意料的。

But推理可揭示知识库与外部预期之间的矛盾（如会议示例中）或知识库的不同部分之间的矛盾（如污染汽车示例中）。出于这些原因，由于but推理不是简单地用“是”、“否”或“我不知道”的布尔回答来响应布尔查询，而是提供带有一些“出人意料的”信息的信息性but回答，所以but推理可用于使用不一致知识库的推理。

II.But推理的形式化

逻辑学中的经典、标准的蕴含是爆炸性的：任何公式是矛盾的逻辑结果。因此，通过经典推断从不一致知识库提取的结论可能是完全没有意义的。在不一致知识库中推理的任何系统的一般任务如下：给定不一致知识库，对查询返回“有意义的”回答。如果回答被不一致知识库的选择的一致子集所支持，而其否定不被该一致子集支持，则该回答是“有意义的”。在下面，符号|=表示标准蕴含，符号|≈表示非标准蕴含。

非标准蕴含|≈应该满足健全性（soundness）和有意义性。“健全性”表示利用经典推理从不一致知识库的一致子集得出的不一致知识库O得出公式。非标准蕴含的有意义性表示蕴含的所有回答均为有意义的。

|≈的性质类似于标准蕴含|=的性质。然而，有一个重要的例外。给定不一致知识库O和两个公式α和β，O|≈α和O|≈β，无法总是得出结论O|≈α∧β。针对此，一个原因在于选择的支持O|≈α的子集可能不同于选择的支持O|≈β的子集，而两个子集的合并可能不一致；另一原因在于α∧β可能是矛盾。

非标准蕴含的概念可用于定义but回答的中心概念。非形式地，but回答可包括三个部分：

原始公式：回答原始查询的公式；

But公式：与原始回答公式形成对比的公式；

桥公式：解释原始公式和but公式之间出现矛盾的原因的公式。知识库无需隐含（但可能隐含）澄清公式。在一些应用情景中，如果用户不要求解释对比回答，则but回答中可省略澄清公式。

要注意的是，本公开中的公式是指一阶逻辑（FOL）公式。不失一般性，描述逻辑（DL）公理可被变换为（合取的）FOL公式。在下面，仅考虑单个公式，因为可利用合取将许多公式变换为单个公式。

以上导向but回答的形式定义。

定义1（But回答）：给定不一致知识库O，but回答O|≈αbutγalthoughβ包含以下部分：原始公式α、but公式γ和桥公式β，使得：O|≈α，O|≈β，O|≈γ，α∧β不是矛盾，β∧γ不是矛盾，但α∧β∧γ是矛盾（即，α∧β∧γ|=⊥）。

要注意的是，but回答可忽略桥公式，但是仅当存在桥公式时but回答才是对比的。另外要注意的是，当且仅当（iff）不存在能够满足公式的模型时公式才是矛盾，当且仅当不存在能够满足知识库中的所有公式的模型时知识库才是不一致的。

定义2（不带解释的But回答）：给定不一致知识库O，如果存在桥公式β，使得O|≈αbutγalthoughβ是but回答，则O|≈αbutγ是不带解释的but回答。

以上定义意味着but回答具有很好的交换性质。即，通过交换原始公式、but公式和桥公式，可获得更多but回答。

命题1（But回答的交换性质）：对于不一致知识库O和三个公式α、β、γ，以下有效：

交换：

条件提升：

条件移位：

除了以上交换性质之外，but回答还具有以下其它性质。

首先，but回答中的公式可用合取运算符∧来扩展。例如，“Penguins are birds（企鹅是鸟）”but“Penguins cannot fly（企鹅不能飞）”是but回答，因此“Penguins haveflippers（企鹅具有鳍状肢）”and“Penguins are birds”but“Penguins cannot fly”也是but回答。

其次，在but回答中，原始公式、but公式和桥公式一起具有以下性质：可解析一个公式以及其它两个公式的合取。例如，在企鹅示例“Penguins are birds”but“Penguins cannot fly”although“All birds can fly（所有鸟都可以飞）”中，原始公式是“Penguins are birds”，桥公式和but公式的合取是“All birds can fly”and“Penguinscannot fly”。容易看出，原始公式中是“birds”，而在所述合取中是因为所有鸟都可以飞表示某物或者可以飞或者不是鸟。

第三，给定but回答O|≈αbutγalthoughβ，对于其中的任何公式，比方说α，存在被{β,γ}蕴含的公式φ，φ被α蕴含，α与α矛盾。该矛盾是句子“αbutγ”令人意外的原因所在。

基于以上分析，but回答的这些附加性质如下形式化：

命题2（But回答的附加性质）：给定不一致知识库O和三个公式α、β、γ，

1.1)O|≈αbutγalthoughβ并且α∧α’∧β不是矛盾并且（扩展），其中α’是任意公式；

1.2)O|≈αbutγalthoughβ并且α∧β∧β’不是矛盾并且β∧β’∧γ不是矛盾并且（扩展），其中β’是任意公式；

1.3)O|≈αbutγalthoughβ并且β∧γ∧γ’不是矛盾并且（扩展），其中γ’是任意公式；

2)（解析）；

3)（意外原因）。

要注意的是，当且仅当存在原子公式A，使得A在合取范式（CNF）中的两个公式中的一个中，A在另一个中时，才可解析这些CNF公式。

III.实现方式

在本公开的一个或更多个实施方式中，所述方法可确定不一致知识库是否非标准地蕴含原始公式。当不一致知识库非标准地蕴含原始公式时，所述方法可从不一致知识库选择可与原始公式解析并且不与原始公式矛盾的桥公式。所述方法可选择作为原始公式和桥公式的解析式的but公式。所述方法可生成包括原始公式和but公式的but回答，然后通过确认知识库非标准地蕴含but公式来验证but回答。

图1是本公开的一个或更多个实施方式中的实现用不一致知识库的but推理的计算机的示意性系统100的框图。系统100包括具有不一致知识库K的存储器102以及计算机104。不一致知识库K被表示为FOL公式的集合。可从诸如万维网的计算机网络106收集、推导或者以其它方式获得FOL公式。存储器102可以是计算机104的本地存储器或者经由计算机网络通过另一计算机可访问的远程存储器。计算机104包括运行称作不一致推理器的软件应用的处理器和存储器，所述不一致推理器使用but推理从不一致知识库K确定对布尔查询的but回答。布尔查询可源自计算机104上的另一软件应用、用户108或者另一机器110。

图2是本公开的一个或更多个实施方式中的为实现不一致推理器而由计算机104执行的示意性方法200的流程图，所述不一致推理器从不一致知识库K确定对布尔查询的but回答。方法200可包括方框所示的一个或更多个操作、功能或动作。尽管这些方框按照依次顺序示出，但这些方框也可并行和/或按照与本文所述那些顺序不同的顺序执行。另外，基于期望的实现方式，各种方框可被组合成更少的方框、被划分成另外的方框、和/或被排除。

使用基于Mad Cow知识库的运行示例来解释方法200。在Mad Cow知识库中，因为疯牛被定义为吃羊脑的牛，而牛被定义为吃草动物（vegetarian），所以存在不一致性。Mad Cow知识库中的FOL公式被表示为下表1中所列的DL公理。

表1.

其中，表示概念包含，表示存在量词（存在值），表示全称量词（针对所有值），表示否定。

方法200可开始于方框202。在方框202中，计算机104将不一致知识库K中的FOL公式变换为等效的CNF公式。CNF公式是“子句”的合取，各个子句是“字面值”的析取。因此，不一致知识库K可被表示为c₀∧c₁∧…∧c_i∧…，其中子句c_i是ρ₁∨ρ₂∨…，字面值ρ_i是原子公式或原子公式的否定，∨是析取运算符。计算机104通常在接收任何布尔查询之前离线地执行方框202。另选地，另一计算机在计算机104接收任何布尔查询之前离线地执行方框202。在所述运行示例中，下表2中列出MadCow知识库中的变换的公式。

表2.

方框202之后可跟随方框204。

在方框204中，计算机104接收布尔查询α，其中α是原始公式。在所述运行示例中，原始公式α是Cow(Dazy)，因此布尔查询α被表示为“Is Dazy a cow?（Dazy是牛么？）”。方框204之后可跟随方框206。

在方框206中，计算机104确定不一致知识库K是否非标准地蕴含原始公式α（即，K|≈α）。为了确定不一致知识库K是否非标准地蕴含原始公式α，计算机104从不一致知识库K选择标准地蕴含原始公式α的子集（即，Σⁿ|=α）。计算机104仅选择与原始公式α相关的公式。有许多方法来确定非标准蕴含。尽管本文描述了非标准蕴含的一个方法，但是可使用其它方法。

图3是本公开的一个或更多个实施方式中为确定不一致知识库K是否非标准地蕴含原始公式α而由计算机104执行的示意性方法300的流程图。根据解析技术，只有可直接或间接与布尔查询公式的否定解析的公式可影响蕴含结果。因此，方法300使用选择函数“rs”来将可与原始公式α的否定解析的公式添加到子集Σⁿ，直至子集Σⁿ包含所有可解析地相关的公式或者变得不一致。当子集Σⁿ变得不一致时，方法300按照基数的降序在最后增加的公式中执行广度优先搜索，直至子集Σⁿ恢复其一致性。最后，方法300确定子集Σⁿ是否蕴含原始公式α以确定不一致知识库K是否非标准地蕴含原始公式α。方法300从方框302开始。

在方框302，计算机104将穿行计数k初始化为1初始子集Σ′。方框302之后可跟随方框304。

在方框304中，计算机104使用选择函数rs将来自不一致知识库K的公式添加到初始子集Σ′，以形成用于当前穿行的子集Σⁿ。方框304之后可跟随方框306。

在方框306中，计算机104确定子集Σⁿ是否一致。如果否，则方框306之后可跟随方框308。否则，方框306之后可跟随方框316。

在方框308中，计算机104从子集Σⁿ移除一个或更多个公式，以使其一致。如上所述，计算机104按照基数的降序在最后增加的公式中执行广度优先搜索，直至子集Σⁿ恢复其一致性。方框308之后可跟随方框310.

在方框310中，计算机104确定子集Σⁿ是否标准地蕴含原始公式α（即，Σⁿ|=α?）。如果否，则方框310之后可跟随方框312。否则，方框310之后可跟随方框314。

在方框312中，计算机104确定不一致知识库K没有非标准地蕴含原始公式α，并结束方法300。

在方框314中，计算机104确定不一致知识库K非标准地蕴含原始公式α并结束方法300。

在方框316中，计算机104确定子集Σⁿ是否为初始子集Σⁿ的超集。如果否，则方框316之后可跟随方框318。否则，方框316之后可跟随方框320.

在方框318中，计算机104确定不一致知识库K没有非标准地蕴含原始公式α并结束方法300。

在方框320中，计算机104确定子集Σⁿ是否标准地蕴含原始公式α。如果是，则方框320之后可跟随方框322。否则，方框320之后可跟随方框324。

在方框322中，计算机104确定不一致知识库K非标准地蕴含原始公式α并结束方法300。

在方框324中，计算机104将初始子集Σ′设置为等于子集Σⁿ，并将穿行计数k递增。方框324可返回到方框304以重复上述方框。

如上所述，选择函数rs基于可解析相关性。当且仅当存在原子公式A使得A在两个CNF公式和φ中的一个中，A在另一个中时，这两个CNF公式直接可解析相关。这也可称作公式和φ具有解析式或者公式和φ可解析。

当且仅当存在公式使得和和…和和φ’直接可解析相关时，两个CNF公式φ和φ’相对于公式集Ω可解析k-相关（k度间接可解析相关）。

在本公开的一个或更多个实施方式中，选择函数rs被定义如下：

rs(O,φ,0)=φ；

对于k>1。

换言之，rs(O,φ,1)表示在知识库O中选择与φ1-相关（即，直接相关）的所有公式，rs(O,φ,k)表示在知识库O中选择与φk-相关的所有公式。

在所述运行示例中，方法300如下确定是否O|≈α，其中α:=Cow(Dazy)。

其一致，并且转到k=2,继续；

其一致，并且

因此，O|≈Cow(Dazy)

返回参照图2，当计算机104确定不一致知识库K非标准地蕴含原始公式α时，方框206之后可跟随方框208。否则，方框206之后可跟随方框220，以返回“我不知道”回答。

在方框208中，计算机104从不一致知识库K选择桥公式β。方框208包括子框208A、208B（包括208B-1、208B-2、208B-3）、208C和208D。

在方框208A中，计算机104选择由不一致知识库K非标准地隐含的公式作为桥公式。观察到，如果不一致知识库K非标准地蕴含桥公式（即，K|≈β），则桥公式β是一些子句的合取或者合取的解析式。因此，计算机104可使用广度优先搜索方法来渐增地选择由不一致知识库K非标准地蕴含的所有桥公式β。

在第1级（即，第一次穿行通过方框208A），计算机104选择所有子句的合取。在第k级（即，第k次穿行通过方框208A），计算机104选择k个不同子句的合取。方框208A之后可跟随方框208B。

在方框208B中，计算机104执行过滤。为了使选择处理更有效，介绍三种过滤方法来减少桥公式的数量，因此使处理更有效。

在方框208B-1中，计算机104可执行扩展过滤。根据上述的命题2的扩展性质，如果K|≈αbutγalthoughβ，则也满足K|≈αbutγalthoughβ∧c_i，其中c_i是不一致知识库K中的子句。因此，如果在第k级，满足K|≈αbutγalthoughβ，则在第(k+1)级，计算机104不选择β∧c_i作为桥公式。

在方框208B-2，计算机104可执行矛盾过滤。如果在第k级，桥公式β满足α∧β是矛盾，则在第(k+1)级，计算机104不选择β∧c_i作为桥公式，因为β∧c_i也是矛盾。

在方框208B-3，计算机104可执行解析过滤。如果桥公式β和原始公式α无法被解析，并且公式β’和原始公式α无法被解析，则β∧β’和α无法被解析。因此，计算机104不选择β∧β’作为桥公式。方框208B之后可跟随方框208C。

在方框208C中，计算机104对在当前穿行中选择的所有桥公式检查解析条件。对于各个桥公式β，计算机104测试原始公式α和桥公式β是否可被解析。如果是，则保留桥公式β，并且方框208C之后可跟随方框208D。当桥公式β被拒绝时，方框208C之后可跟随方框216，以检查是否满足至少一个终止条件。

在方框208D，计算机104对在当前穿行中选择的所有桥公式检查矛盾条件。对于各个桥公式β，计算机104测试α∧β是否为矛盾。如果否，则保留桥公式β，并且方框208D之后可跟随方框210。当桥公式β被拒绝时，方框208D之后可跟随方框216，以检查是否满足至少一个终止条件。

在方框210中，计算机104构造but回答。对于各个桥公式β，计算机104确定α∧β的解析式λ。要注意的是，这里使用符号λ代替符号γ，以指示解析式λ是稍后需要验证的候选but公式。对于各个解析式λ，计算机104构造包括原始公式α、but公式λ和桥公式β的but回答。方框210之后可跟随方框212。

在方框212中，计算机104验证but回答。对于各个but回答计算机104确定不一致知识库K是否非标准地蕴含λ。如果是，则该but回答被验证有效，方框212之后可跟随方框214。当but回答无法被验证有效时，方框212之后可跟随方框216。

在方框214中，计算机104保存该but回答。方框214之后可跟随方框216。

在方框216中，计算机104确定是否满足至少一个终止条件。

处理进行迭代，直至满足至少一个终止条件为止。当一个验证处理完成或者桥公式的一个选择处理失败时，计算机104检查终止条件，以确定是否停止方法200。可由用户指定的终止条件描述如下。

当发现一个but回答时停止。方法200用于渐增地获得桥公式并计算对应的but回答。在该终止条件下，当获得一个but回答时，计算机104停止方法200。

k级搜索。用户可指定用于在方法200中选择桥公式β的k的值。计算机104然后通过保持搜索度不超过级k来计算所有but回答。

t时间搜索。用户可指定时间的值t。方法200开始完成所有but回答。在验证候选but回答之后，当执行时间大于t时，计算机104停止方法200。

存在计算but回答的其它终止条件，这些条件可进行组合。

当满足至少一个终止条件时，方框216之后可跟随方框218。否则，方框216可返回到方框208以选择另一桥公式。

在方框218中，计算机104发送或显示一个或更多个but回答。各个but回答包括原始公式α和but公式λ，并且还可包括桥公式β。

在所述运行示例中，对于k=1和k=2示出方框208A至216如下。

针对O|≈Cow(Dazy)选择桥公式。当k=1时，过滤处理没有效果，因为仅有其可与α解析，并且α1∧α不是矛盾。因此，β:=α1。

由于α1和α仅具有一个解析式Vegetarian(Dazy)，所以构造候选

检查利用方法300，确定因此，计算机104返回but回答

当k=2时，根据扩展过滤和解析过滤，仅选择和作为桥公式。

构造候选和

检查和利用方法300，确定和因此，获得but回答

在每一个检查点，计算机104检查终止条件以确定方法200是否应该停止。

图4是根据本公开的一个或更多个实施方式的实现从不一致知识库确定对布尔查询的but回答的方法的计算机程序产品400的示意性实施方式的框图。计算机程序产品400可包括信号承载介质402。信号承载介质402可包括一个或更多个可执行指令404的集合，所述指令在由例如处理器执行时可适于提供上述功能。因此，例如，图1的计算机104响应于由信号承载介质402输送的指令404可承担至少图2或图3中所示的一个或更多个方框。

在一些实现方式中，信号承载介质402可涵盖非瞬时性计算机可读介质406，例如（但不限于）硬盘驱动器、压缩盘（CD）、数字通用盘（DVD）、数码磁带、存储器等。在一些实现方式中，信号承载介质402可涵盖可记录介质408，例如（但不限于）存储器、读/写（R/W）CD、R/W DVD等。在一些实现方式中，信号承载介质402可涵盖通信介质410，例如（但不限于）数字和/或模拟通信介质（例如，光纤、波导、有线通信链路、无线通信链路等）。因此，例如，计算机程序产品400可以由信号承载介质40以无线方式输送，其中信号承载介质402由无线通信介质510（例如，符合IEEE802.11标准的无线通信介质）输送。计算机程序产品400可记录在非瞬时性计算机可读介质406或另一类似可记录介质408上。

图5是示出根据本公开的为but推理而布置的示例计算装置500的方框。在非常基本的配置502中，计算装置500通常包括一个或更多个处理器504和系统存储器506。存储器总线508可用于处理器504和系统存储器506之间的通信。

根据期望的配置，处理器504可以是任何类型，包括（但不限于）微处理器（μP）、微控制器（μC）、数字信号处理器（DSP）或其任何组合。处理器504可包括一个或更多个级别的缓存（例如，1级缓存510和2级缓存512、处理器核514和寄存器516）。示例处理器核514可包括算术逻辑单元（ALU）、浮点单元（FPU）、数字信号处理核（DSP核）或其任何组合。示例存储器控制器518还可与处理器504一起使用，或者在一些实现方式中，存储器控制器518可以是处理器504的内部部件。

根据期望的配置，系统存储器506可以是任何类型，包括（但不限于）易失性存储器（例如，RAM）、非易失性存储器（例如，ROM、闪存等）或其任何组合。系统存储器506可包括操作系统520、一个或更多个应用522和程序数据524。应用522可包括不一致推理器526，该不一致推理器526被布置为确定对布尔查询的but回答。程序数据524可包括不一致知识库528以如本文所述与不一致推理器526一起操作。在一些实施方式中，应用522可被布置为在操作系统520上与程序数据524一起操作，使得可如本文所述提供but推理的实现。所描述的基本配置502在图5中通过虚线内的那些部件示出。

计算装置500可具有附加的特征或功能以及附加接口，以便于基本配置502与任何期望的装置和接口之间的通信。例如，可使用总线/接口控制器530以便于基本配置502和一个或更多个数据存储装置532之间的经由存储装置接口总线534的通信。数据存储装置532可以是可移除存储装置536、不可移除存储装置538或二者的组合。举例来说，可移除存储装置和不可移除存储装置的示例包括磁盘装置（例如，柔性盘驱动器和硬盘驱动器（HDD））、光盘驱动器（例如，压缩盘（CD）驱动器或数字通用盘（DVD）驱动器）、固态驱动器（SSD）和带驱动器。示例计算机存储介质可包括按照用于存储信息（例如，计算机可读指令、数据结构、程序模块或其它数据）的任何方法或技术实现的易失性和非易失性、可移除和不可移除介质。

系统存储器506、可移除存储装置536和不可移除存储装置538都是计算机存储介质的示例。计算机存储介质包括（但不限于）RAM、ROM、EEPROM、闪存或其它存储技术、CD-ROM、数字通用盘（DVD）或其它光学存储装置、磁带盒、磁带、磁盘存储装置或其它磁性存储装置、或者可以用于存储期望的信息并且可以被计算装置500访问的任何其它介质。任何这种计算机存储介质可以是计算装置500的一部分。

计算装置500还可包括接口总线540，该接口总线540便于经由总线/接口控制器530从各种接口装置（例如，输出接口542、外围接口544和通信接口546）到基本配置502的通信。示例输出接口542包括图形处理单元548和音频处理单元550，其可被配置为经由一个或更多个A/V端口552与诸如显示器或扬声器的各种外部装置通信。示例外围接口544包括串行接口控制器554或并行接口控制器556，其可被配置为经由一个或更多个I/O端口558与诸如输入装置（例如，键盘、鼠标、笔、语音输入装置、触摸输入装置等）的外部装置或其它外围装置（例如，打印机、扫描仪等）通信。示例通信装置546包括网络控制器560，其可被设置为便于经由一个或更多个通信端口564通过网络通信链路与一个或更多个其它计算装置564通信。

网络通信链路可以是通信介质的一个示例。通信介质通常可由计算机可读指令、数据结构、程序模块或调制的数据信号（例如，载波或其它传输机制）中的其它数据来实现，并且可包括任何信息传送介质。“调制的数据信号”可以是具有其一个或更多个特征集的信号或者按照对信号中的信息编码的方式改变。举例来说，并且没有限制，通信介质可包括有线介质（例如，有线网络或直接有线连接）和无线介质（例如，听觉、射频（RF）、微波、红外（IR）和其它无线介质）。本文所使用的术语计算机可读介质可包括存储介质和通信介质这二者。

计算装置500可被实现为小型便携式（或移动）电子装置（例如，蜂窝电话、个人数据助理（PDA）、个人媒体播放器装置、无线网络观看装置、个人头戴耳机装置、专用装置或包括以上功能中的任何一个的混合装置）的一部分。计算装置500还可被实现为包括膝上型计算机和非膝上型计算机配置这二者的个人计算机。

通过使用框图、流程图和/或示例，以上详述已阐述了设备和/或处理的各种实施方式。在这样的框图、流程图和/或示例包含一个或更多个功能和/或操作的范围内，本领域技术人员将理解的是，可以由大范围的硬件、软件、固件或实际上其任何组合单独地和/或共同地实现这样的框图、流程图或示例内的各功能和/或操作。

本文所描述的主题通常例示了包含在不同的其它部件中的或与不同的其它部件相连接的不同的部件。应理解的是，所描述的这种架构仅是示例性的，并且实际上，可以实现许多获得了相同的功能的其它架构。在概念上，用于获得相同功能的部件的任何配置都是有效地“关联”的，使得获得期望的功能。因此，不考虑架构或中间部件，可以将本文中被组合以获得特定的功能的任何两个部件视为是彼此“相关联”的，使得期望的功能被实现。同样，如此相关联的任何两个部件也可以被视为彼此“可操作地连接”或“可操作地耦接”，以实现期望的功能，并且能够如此关联的任何两个部件也可以被视为彼此“可操作地可耦接”，以实现期望的功能。可操作地可耦接的具体示例包括但不限于物理上可匹配和/或物理上交互的部件和/或可无线地交互和/或无线地交互的部件和/或逻辑上交互和/或可逻辑上交互的部件。

针对在本文中基本上任何复数和/或单数术语的使用，本技术领域技术人员可以从复数转化为单数和/或从单数转化为复数以适合于上下文和/或应用。为了清楚起见，可以在此明确地阐述各种单数/复数的置换。

本领域技术人员将理解的是，一般来说，本文所使用的措词，特别是在所附权利要求（例如，所附权利要求的主体）中使用的措词，通常旨在是“开放式”措词（例如，措词“包括”应被理解为“包括但不限于”，措词“具有”应被理解为“至少具有”，措词“包含”应被理解为“包含但不限于”等）。本领域技术人员将进一步理解的是，如果所引入的权利要求记载中的特定的数目是有意图的，则这样的意图将在权利要求中明确地记载，并且在没有这样的记载时，不存在这样的意图。例如，作为对理解的辅助，下面所附的权利要求可以包含对“至少一个”和“一个或更多个”的引入性用语的使用，以引入权利要求记载。然而，即使当相同的权利要求包括引入性用语“一个或更多个”或者“至少一个”以及诸如“一”或“一个”的不定冠词（例如，“一”和/或“一个”应被解释为表示“至少一个”或“一个或更多个”）时，使用这样的用语也不应被解释为暗示由不定冠词“一”或“一个”所引入的权利要求记载将包含这种所引入的权利要求记载的任何特定的权利要求限制到仅包含一个这样的记载的发明；对于使用用于引入权利要求记载的定冠词来说也是如此。另外，即使明确地记载了所引入的权利要求记载的特定数目，本领域技术人员将理解的是，这样的记载通常也应该被理解为至少表示所记载的数目（例如，在没有其它修饰的情况下，“两个记载”的无修饰的记载通常表示至少两个记载或者两个或更多个记载）。此外，在使用与“A、B和C中的至少一个等”类似的常规表述的情况下，一般来说，这种结构旨在表示本领域技术人员将理解的该常规表述的含义（例如，“具有A、B和C中的至少一个的系统”将包括但不限于仅具有A的系统、仅具有B的系统、仅具有C的系统、具有A和B的系统、具有A和C的系统、具有B和C的系统和/或具有A、B和C的系统等）。在使用与“A、B或C中的至少一个等”类似的常规表述的情况下，一般来说，这种结构旨在表示本领域技术人员将理解的该常规表述的含义（例如，“具有A、B或C中的至少一个的系统”将包括但不限于仅具有A的系统、仅具有B的系统、仅具有C的系统、具有A和B的系统、具有A和C的系统、具有B和C的系统和/或具有A、B和C的系统等）。本领域技术人员将进一步理解的是，示出两个或更多个替代性措词的几乎任何转折词和/或短语，无论是在说明书、权利要求或附图中，都应被理解为考虑可能包括措词中的一个、措词中任一个或全部措词。例如，短语“A或B”将被理解为可能包括“A”或“B”或“A和B”。

尽管本文已公开了各种方面和实施方式，但是其它方面和实施方式对于本领域技术人员而言将是明显的。本文所公开的各种方面和实施方式是为了说明的目的，而并非旨在进行限制，以下的权利要求指示真实的范围和精神。