[發明專利]一種公式查詢條件的輸入方法與裝置

無效

• 申請號: 201210135787.3
• 申請日: 2012-05-03
• 公開（公告）號: CN102663138A
• 公開（公告）日: 2012-09-12
• 發明（設計）人: 林曉燕;高良才;湯幟;邱勤
• 申請（專利權）人: 北京大學
• 主分類號: G06F17/30
• 分類號: G06F17/30;G06K9/20
• 代理公司: 北京萬象新悅知識產權代理事務所(普通合伙) 11360
• 代理人: 蘇愛華

技術領域

本發明屬于文檔識別與信息檢索領域，涉及一種用于公式檢索系統的公式查詢條件輸入方法。

背景技術

公式是科技文檔的重要組成部分，在教育、科技等領域得到廣泛使用。文檔中的公式具有豐富含義，包含著重要信息，是一筆寶貴的數字資源。而當前由于缺乏成熟實用的公式檢索技術，使得這部分知識很難被檢索，長久以來未能得到激活、再生和利用。實現公式檢索，一方面可以大大提高檢索公式相關內容、科技文獻等信息的效率，另一方面也可以促進信息的交流與共享。近些年來，以公式為查詢條件以及檢索對象的公式檢索技術開始得到關注和研究。

目前主流的搜索引擎主要基于文本檢索，例如：Google、Baidu，用戶通過輸入關鍵詞作為查詢條件，檢索相關信息。然而，以數學公式為例，數學公式結構復雜，往往包含二維結構，對于大多數用戶，特別是非數學專業的用戶而言，編輯和輸入數學公式作為查詢條件的方式很不方便。如何實現簡單方便的數學公式查詢條件的輸入是構建公式檢索系統的難題之一。目前，一些現有的數學公式檢索系統的查詢條件輸入方式包括以下幾種：

（1）通過輸入關鍵詞和分類信息。典型的系統有：數學資源庫Wolfram?MathWorld（http://mathworld.wolfram.com/）以及ActiveMath（http://www.activemath.org/）。在這些系統中，用戶如果需要檢索感興趣的公式，必須首先了解公式的相關信息（例如：名稱、分類），才能通過關鍵詞和分類索引進行檢索。這種方式需要用戶具備相當深厚的數學背景和充分的數學知識，對用戶提出了很高的使用要求，并不能滿足用戶以公式本身作為查詢條件，檢索相關公式以及文獻資料的需求。

（2）基于特定的查詢語言。在文獻“Youssef，A.Search?of?mathematical?contents:Issues?and?methods.Proceedings?of?the?ISCA?14th?International?Conference?on?Intelligent?and?Adaptive?Systems?and?Software?Engineering.2005.”，以及文獻“Altamimi,M.E.,and?Youssef，A.A?Math?Query?Language?with?an?Expanded?Set?of?Wildcards.Mathematics?in?Computer?Science,2(2),305-331.2008.”中，此類方法被提出。用戶需要根據檢索系統自定義的一系列查詢語言和轉化規則，將二維公式使用一維線性語言進行表示。這種方式需要用戶去學習和適應特定的查詢語言，并不便于用戶快速掌握和使用。

（3）通過上傳公式結構描述文件，例如：LaTeX、MathML等。典型的系統例如LaTeXSearch（http://www.latexsearch.com）需要用戶上傳公式的LaTeX文件作為查詢條件，而大多數情況下，檢索用戶并不是公式的創作者，他們并不擁有現成的公式LaTeX文件。因此，用戶仍然需要額外編輯查詢公式的LaTeX文件。而且，LaTeX是一種較為專業的排版語言，大多數的普通用戶往往并不掌握LaTeX。可見，該輸入方法的使用范圍較為狹窄。

（4）通過公式編輯器輸入公式。文獻“Michael?Kohlhase?and?Ioan?A.Sucan.A?Search?Engine?for?Mathematical?Formulae.Artificial?Intelligence?and?Symbolic?Computation.241-253,2006.”提出的數學公式檢索系統MathWebSearch（http://search.mathweb.org）采用這種輸入方式，在檢索頁面提供圖形化的公式編輯器，供用戶輸入查詢公式。在現有的公式檢索系統的查詢條件輸入方式中，通過公式編輯器輸入查詢公式的方式相對而言較為友好。然而，這種方式仍然要求用戶花費額外精力編輯公式，而不能完全專注于檢索。而且，當需要查詢的公式越復雜，通過編輯器輸入公式的過程也會變得更為復雜。