許楠

摘要

上下文是普適計(jì)算中計(jì)算實(shí)體具有自適應(yīng)能力的必要前提，也是上下感知計(jì)算領(lǐng)域中重要的研究內(nèi)容。文中就上下文相關(guān)概念和上下文模型構(gòu)建進(jìn)行了闡述，探討了典型上下文建模技術(shù)的優(yōu)勢(shì)與缺陷，以期為上下文建模的研究提供參考。

【關(guān)鍵詞】普適計(jì)算 上下文建模 上下文感知

普適計(jì)算是一個(gè)異構(gòu)、多變的分布式計(jì)算模式，其本質(zhì)特征是“透明”交互。在普適計(jì)算模式中，強(qiáng)調(diào)計(jì)算機(jī)與環(huán)境融為一體，人們無需關(guān)注具體的計(jì)算設(shè)備或者計(jì)算技術(shù)，只需要關(guān)心自己的意圖和任務(wù)。上下文感知計(jì)算正是實(shí)現(xiàn)普適計(jì)算“透明”交互的關(guān)鍵，它的主要目的是通過感知利用環(huán)境中可用的上下文信息，系統(tǒng)自動(dòng)地進(jìn)行過濾、融合、推理、決策和計(jì)算，大大減少或避免人一機(jī)或機(jī)一機(jī)間的顯式交互，進(jìn)而實(shí)現(xiàn)透明交互。

1 上下文的概念

上下文是上下文感知計(jì)算模式的核心和基礎(chǔ)。早期，研究者將上下文信息定義為用戶身份、地理位置、人的狀態(tài)以及參與交互的設(shè)備的狀態(tài)信息。以上上下文定義方式需逐一列舉感知環(huán)境中的上下文，而對(duì)于不在列舉范圍內(nèi)的概念無法確定其是否為上下文。另一類是從廣義的抽象角度定義：上下文是環(huán)境以及構(gòu)成環(huán)境的各實(shí)體的狀態(tài)，這里的實(shí)體可以是物理實(shí)體，如人、地點(diǎn)等;也可以是虛擬實(shí)體，如軟件、社會(huì)關(guān)系等。實(shí)體的狀態(tài)包括當(dāng)前狀態(tài)和歷史狀態(tài)。這種抽象式的定義能夠彌補(bǔ)枚舉式定義的缺陷，在業(yè)界得到了比較廣泛的認(rèn)可。

2 上下文分類

上下文種類豐富，數(shù)量龐大，分類標(biāo)準(zhǔn)也有所不同。依據(jù)概念標(biāo)準(zhǔn)，上下文可分為用戶上下文、計(jì)算上下文、物理上下文以及時(shí)間上下文。這種分類方法雖然能夠在一定程度上滿足建模需求，但既不規(guī)范又容易產(chǎn)生混淆，而且擴(kuò)展性較差。從操作的角度上下文分為初級(jí)上下文和次級(jí)上下文。初級(jí)上下文主要包括身份、時(shí)間、位置和動(dòng)作信息，而次級(jí)上下文是使用初級(jí)上下文信息才能夠得到的上下文。此外，還可以結(jié)合變化頻率、持續(xù)時(shí)間及時(shí)效等對(duì)上下文進(jìn)行多維度分類。

3 上下文建模方法

隨著網(wǎng)絡(luò)通信技術(shù)以及人工智能技術(shù)的快速發(fā)展，上下文所處的環(huán)境呈現(xiàn)出高度的復(fù)雜性、動(dòng)態(tài)性及異構(gòu)性。為了實(shí)現(xiàn)上下文的共享、互操作以及統(tǒng)一管理，上下文建模技術(shù)越來越受到研究者的關(guān)注。本文結(jié)合相關(guān)研究成果，重點(diǎn)介紹以下6種上下文建模方法，并總結(jié)各方法的優(yōu)缺點(diǎn)，為后續(xù)研究奠定基礎(chǔ)。

3.1 鍵-值對(duì)模型

該模型是最簡單的表示上下文的方法，支持文本文件、二進(jìn)制文件等多種不同格式的表示，是一種面向特定應(yīng)用的建模技術(shù)。鍵一值對(duì)建模過程簡單、實(shí)現(xiàn)靈活，數(shù)據(jù)規(guī)模較小時(shí)便于管理。但這類模型不支持?jǐn)?shù)據(jù)間關(guān)系的表達(dá)不適于存儲(chǔ)復(fù)雜的數(shù)據(jù)結(jié)構(gòu)，不具有擴(kuò)展性，沒有可用的標(biāo)準(zhǔn)處理工具，數(shù)據(jù)檢索難度較大。

3.2 標(biāo)記模型

使用具有內(nèi)容和屬性標(biāo)記建立層次化的數(shù)據(jù)結(jié)構(gòu)，方便數(shù)據(jù)的獲取與查詢，能較好地解決模式驗(yàn)證問題。但信息層級(jí)較多時(shí)模型變動(dòng)更為復(fù)雜。對(duì)于一些主流的標(biāo)記技術(shù)（如XML技術(shù)），很多驗(yàn)證工具已經(jīng)成熟可用。標(biāo)記模型主要用于臨時(shí)的數(shù)據(jù)存儲(chǔ)、應(yīng)用程序之間或應(yīng)用程序內(nèi)部組件之間的數(shù)據(jù)交換等。

3.3 圖模型

除了對(duì)上下文本身建模外，還兼顧了上下文之間的關(guān)系，支持對(duì)關(guān)系的建模，具有更豐富的表達(dá)能力。如著名的通用建模工具UML包含了豐富的圖元，適合對(duì)上下文建模。圖模型的底層實(shí)現(xiàn)形式多樣，可以是XML，也可以一個(gè)數(shù)據(jù)庫，如SQL數(shù)據(jù)庫。因此，圖模型能夠處理海量數(shù)據(jù)，可以用于上下文持久性存儲(chǔ)，信息檢索也相對(duì)簡單快捷。此外，基于圖模型的建模技術(shù)不具備良好的可擴(kuò)展性。

3.4 基于邏輯的模型

將上下文定義為事實(shí)、表達(dá)式和規(guī)則，采用一階謂詞等邏輯表達(dá)實(shí)現(xiàn)上下文及其關(guān)系的形式化描述，其中規(guī)則用來表達(dá)策略、約束和偏好?；谶壿嫷慕＜夹g(shù)具備更豐富的表達(dá)能力。此外，高度形式化的邏輯理論使其具有天然的推理能力，支持推理得出新的高級(jí)別的上下文信息。另一方面，高度形式化的邏輯基礎(chǔ)顯著地增加了系統(tǒng)開發(fā)的復(fù)雜度，限制了系統(tǒng)的復(fù)用性和通用性。基于邏輯的建模技術(shù)適合對(duì)上下文情境或事件、決策動(dòng)作等的建模。

3.5 面向?qū)ο蟮哪Ｐ?/p>

這類方法主要利用了面向?qū)ο蠓椒ㄖ械姆庋b和繼承特性，把對(duì)上下文的處理封裝在對(duì)象中，通過特定接口實(shí)現(xiàn)對(duì)上下文的訪問。面向?qū)ο蟮纳舷挛慕Ｊ且环N基于代碼的、運(yùn)行時(shí)上下文建模方法，可以解決上下文感知計(jì)算環(huán)境中由動(dòng)態(tài)上下文引起的一些問題。這類建模方法的主要缺點(diǎn)是不能有效解決驗(yàn)證問題，不具備內(nèi)置的推理能力。

3.6 基于本體的模型

本體一詞起源于哲學(xué)，用于研究客觀事物存在的本質(zhì)。在計(jì)算機(jī)科學(xué)研究領(lǐng)域中，本體具有概念化、形式化、可共享和可重用等特征。基于本體的模型使用本體語言來開發(fā)形式化的、強(qiáng)表現(xiàn)力的上下文模型。ASC模型是較早的基于本體技術(shù)的上下文模型，模型考慮了上下文的類型、度量單位和具體內(nèi)容，但忽略了代理/用戶、時(shí)間、物理環(huán)境等上下文;PIVON模型使用OWL語言，采用分層方式構(gòu)建上下文本體模型，模型中關(guān)鍵上下文比較完善，但物理環(huán)境上下文信息包含在位置上下文信息中，降低了模型的重用性;SOUPA模型是普適計(jì)算領(lǐng)域的標(biāo)準(zhǔn)本體模型，由通用本體和特定應(yīng)用場景本體兩部分組成，這樣的建模思想有利于促進(jìn)本體重用，符合本體開發(fā)的要求，本體技術(shù)被公認(rèn)為很有發(fā)展前景的上下文建模技術(shù)。

4 結(jié)論

目前，上下文信息模型大多針對(duì)特定應(yīng)用或特定領(lǐng)域而構(gòu)建，無法在多應(yīng)用、多領(lǐng)域和多系統(tǒng)之間實(shí)現(xiàn)知識(shí)重用、共享和互操作。而本體技術(shù)在共享性、重用性、互操作性以及語義描述和推理能力方面有著顯著的優(yōu)勢(shì)，因此，筆者認(rèn)為在構(gòu)建上下文模型時(shí)，將基于本體的建模技術(shù)與其他建模技術(shù)相結(jié)合，優(yōu)勢(shì)互補(bǔ)，以支持不確定性數(shù)據(jù)的處理，實(shí)現(xiàn)上下文模型的通用性、一致性和擴(kuò)展性。