JP2002511165A - Acquisition and distribution of document information based on feature constraints - Google Patents

Acquisition and distribution of document information based on feature constraints

Info

Publication number
JP2002511165A
JP2002511165A JP54536098A JP54536098A JP2002511165A JP 2002511165 A JP2002511165 A JP 2002511165A JP 54536098 A JP54536098 A JP 54536098A JP 54536098 A JP54536098 A JP 54536098A JP 2002511165 A JP2002511165 A JP 2002511165A
Authority
JP
Japan
Prior art keywords
document
entity
feature
constraint
relationship
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
JP54536098A
Other languages
Japanese (ja)
Inventor
ジャン マルク アンドレオリ
ウベ ボルグホッフ
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Xerox Corp
Original Assignee
Xerox Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Xerox Corp filed Critical Xerox Corp
Publication of JP2002511165A publication Critical patent/JP2002511165A/en
Withdrawn legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00Digital computers in general; Data processing equipment in general
    • G06F15/02Digital computers in general; Data processing equipment in general manually operated with input through keyboard and computation using a built-in program, e.g. pocket calculators
    • G06F15/0225User interface arrangements, e.g. keyboard, display; Interfaces to other computer systems

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Human Computer Interaction (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

(57)【要約】 システムが、複数のワークステーション、ファイルサーバ、プリンタ、およびその他のネットワークを介して接続された据置型装置、および赤外(IR)リンクによってネットワークに接続される、ユーザ携行型の複数の携帯型装置を含む。各携帯型装置は、該装置のユーザの文書用個人サチェルをエミュレートする、つまり当該装置は、特徴制約(FC)の送受信及び格納をするようプログラムされている。FCは、IRデータパケット送信によって利用者間で配信され、ネットワークに接続されたコンピュータ、プリンタ、または多機能装置が、付属のIR無線機を介してFCを受信すると、サーチリクエストがこのFCから抽出され、このFCを充足する文書指示子(例えばWWWのURL)がサーチエンジンを介して得られる。得られた各URLについて、対応する電子文書が記憶領域から取得された後、表示あるいは印刷される。携帯型装置として、ユーザによるFC転送が可能なグラフィック表示部を有した、ハンドヘルドあるいは腕時計型コンピュータが好ましい。好適な据置型装置は、IR無線機を内蔵した、スキャナ、複写機、またはプリンタを含むものである。 (57) Abstract: A user-portable system in which the system is connected to a network by multiple workstations, file servers, printers, and other stationary devices, and infrared (IR) links. A plurality of portable devices. Each portable device emulates a personal sachet for the document of the user of the device, ie, the device is programmed to send, receive, and store feature constraints (FC). The FC is distributed among users by transmitting IR data packets, and when a computer, printer, or multi-function device connected to the network receives the FC via the attached IR radio, a search request is extracted from the FC. Then, a document designator (for example, a URL of WWW) that satisfies the FC is obtained via the search engine. For each obtained URL, a corresponding electronic document is obtained from the storage area and then displayed or printed. As the portable device, a hand-held or wristwatch-type computer having a graphic display unit capable of FC transfer by a user is preferable. Suitable stationary devices include scanners, copiers, or printers with built-in IR radios.

Description

【発明の詳細な説明】 特徴制約に基づく文書情報の取得と配信 この発明は、データ処理に関し、特に文書に関する情報のコンピュータ間での 転送およびコンピュータを用いた取得に関する。さらに詳しくは、この発明は、 特徴制約(feature constraint)を用いた文書に関する情報の取得と転送に関す る。 携帯形コンピュータの利用が拡大しつつある。しかしながら、未だ携帯形コン ピュータに、ユーザがアクセスを望むすべての文書を電子ファイルとして保存す ることは(記憶容量の限界等の理由により)できていない。また、この携帯形コ ンピュータ間、あるいはこの携帯形コンピュータと卓上型の業務用または家庭用 コンピュータ間での大量の文書転送には長い時間がかかり、ユーザの操作性が低 い。一方で、電子文書を格納する記録媒体の容量は増大し、また、インターネッ トを通じた文書転送の利用が拡大しつつある。 この状況は、ヨーロッパ特許出願第691,619号(以下EP'619とす る)で問題にされており、この発明には、複数のワークステーション、ファイル サーバ、プリンタ、その他のネットワークに接続された据置型装置(多機能装置 を含む)、そして、ユーザが携行して赤外(IR)リンクでネットワークに接続 する方式の種々の携帯機器(例えばハンドヘルドまたは腕時計形コンピュータな ど)を含むシステムが開示されている。これらの各携帯機器では、ユーザの文書 用個人サチェル(satchel)がエミュレートされる。すなわち、これらの携帯機 器は、文書の指示子(ワールドワイドウェブのURL)を送受信したり、保存し たりできるようにプログラミングされている。この指示子は、ウェブ上のあるサ イトにおける電子的記憶領域に保存された電子文書に付随したものである。文書 のURLを送信することによって利用者間での文書配信が行われる。また文書の URLをプリンタ付属のIR無線機に送信することにより、文書はプリンタに送 信される。 このようなシステムにおける問題として、システムが保存または配信するリン ク(ウェブのURL)は一つの文書しか指し示していないということがある。す なわち各文書の指示子の指示は、ある特定の文書に限られることである。さらに 、どのようにして、記憶媒体に格納された刻々と変化する電子文書を絶えず注意 しておくか、文書属性の変化(著者リストの更新、日付けの更新、キーワードの 更新など)に合わせて動的に調整するか、という問題がある。例えば、EP'6 19記載の装置では、ユーザは、題目Cの事項について著者Bが書いた文書Aの URLを用いてサーチを行う。ユーザの知らない、同一の題目Cについて、Aの 2年後に著者Bが書いた最新の文書A’、あるいはCにきわめて関連の深い(例 えば共通のキーワードをもつ)同一の著者によって書かれた別の文書A”が存在 する可能性がある。ユーザは、A’あるいはA”へのリンクをもたず、たとえこ れら文書が有用であるとしても、別途文書の探索およびURLを取得するための 検索/ブラウジング作業を実行しない限り、それら文書に気づかないままになる 。 これまでのシステムの動的対応性の不足を解消し、かつ動的に変化する一連の 文書に対してのポインタをユーザが操作できるようなシステムの提供が望まれる 。 本発明は、プロセッサ、メモリ、およびユーザインタフェースを含むデータ処 理装置で実行される方法を提供するものであり、この方法は、(a)少なくとも 一つのユーザ入力情報を受信する工程であって、このユーザ入力情報は少なくと も一つの関係を規定し、各関係は文書に関するエンティティとそのエンティティ の特性を規定するものである工程、(b)特徴制約のコンパイル工程であって、 この特徴制約は工程(a)で受信された関係を含むものである工程、を含む。 また本発明は、添付した請求項のいずれかの方法を実行するために適切にプロ グラムされたデータ処理装置であって、プロセッサ、メモリ、およびユーザイン タフェースを含む装置を提供する。 また本発明は、添付した請求項中の請求項19〜22によるデータ処理装置、 システムあるいは装置を提供する。 本発明が提供するデータ処理装置は、プロセッサと、プロセッサに接続された メモリと、プロセッサとメモリに接続され、操作によりユーザがユーザ入力情報 を生成可能なユーザインタフェースと、少なくとも一つのユーザ入力情報を受信 する手段であって、当該ユーザ入力情報は少なくとも一つの関係を規定し、この 関係は文書に関するエンティティとそのエンティティの特性を規定するものであ る手段、及び、受信した関係を含む特徴制約をコンパイルする手段、を備える。 上述した諸問題は制約記述(constraint description)を用いることで解決さ れる。すなわち、一つの文書あるいは静的な一連の文書を指定するポインタを使 う代わりに、文書に関する特徴制約が保存および配信され、この特徴制約によっ て与えられた制約を満足する動的な一連の文書を指定するポインタが得られる。 例により本発明の効果を明らかにする。特徴制約が著者名(例えばスミス)と 文書の日付け(例えば1995年より後)のみを制約するとすると、この特徴制 約は1995年より後にスミスによって書かれた全文書を指定する。従って、1 998年にスミスが別の文書を書いたとすると、別途ユーザが操作することなく この文書は「古い」制約に自動的にリンクされる。 さらに本発明は、ユーザが(遠隔地での会議などで)オフィスのワークステ- ションから離れている場合に、複数ユーザの携帯装置間で文書指示子を転送する 上で有益である。送信者が、送信したい文書があることがわかっていても、自分 の装置のURLをもっていない、あるいは自分の装置におけるURLの識別の仕 方を思い出すことができなくてURLを送信することができなくても、著者名と 作成日(または期間)、および/あるいはキーワードがわかっていれば、送信者 は受信者に特徴制約を送信することができる。受信者が、オフィスに戻ると、特 徴制約を用いてデスクトップ・ワークステーション上で文書を検索することがで きる。 本発明の態様を、添付図を参照しながら例に基づいて説明する。 図1は、本発明の一態様の実行に用いるデータ処理ネットワークを模式的に示 す図である。 図2は、本発明の一態様において使用される携帯型コンピュータを示す図であ る。 図3は、符号化された特徴制約によって規定される範囲を模式的に示す図であ る。 図4は、特徴制約をコンパイルするステップを模式的に示すフローチャートで ある。 図5は、クエリーを発行するユーザによる入力時のある瞬間における据置型コ ンピュータのユーザインタフェースを模式的に示す図である。 図6は、ある瞬間における携帯型コンピュータのユーザインタフェースを模式 的に示す図である。 図7は、ある(携帯型または据置型)装置から別の(携帯型または据置型)装 置に特徴制約を送信するステップを示すフローチャートである。 図8は、特徴制約をエンコードするデータパケットを模式的に示す図である。 図9は、特徴制約を用いて文書指示子を検索し、相当する文書を表示または印 刷するステップを模式的に示すフローチャートである。 図10は、図9の処理の間に得られたヒットのリストの一部を示す図である。 図11は、図10のリストから選択されたヒットをHTML書式に変換した後 の表示状態を示す図である。 図12は、選択されたヒットの一つをより詳細に示す図である。 1.システムハードウェア 明らかに本発明は、ローカル・エリア・ネットワーク(LAN)や、より好適 にはワイド・エリア・ネットワーク(WAN)のいずれかの従来のコンピュータ ネットワーク技術を用いて実装することができる。本発明では、従来から用いら れている(ネットスケープ等の)クロスプラットフォーム通信と、インターネッ トを介した文書の交換を行うことができるウエブ・ブラウザを用いて実装される 。この実施の形態を図1に模式的に示す。ネットワーク21の一部を形成する装 置22,24,26は、従来から公知のWindows(商標)が実行されるP Cか、MacOS(商標)が実行されるMac(商標)、あるいはUNIXが実 行されるミニコンピュータのいずれでもよいことは明らかである。例えば、PC のハードウェア構成については、P.HorowitzおよびW.Hill著「Art of Electroni cs」第2版、(Cambridge University Press刊、1989年)に詳細に記載され ている。ただし、明らかに本発明は別のシステム構成によって実行することもで きる(EP'619参照)。(典型的なネットワークの構成については、例えば 欧州特許出願第772,857号、および(米国特許出願番号第08/668, 704 号に対応する)欧州特許出願第 号に詳細に述べられている。) 装置22でユーザがリクエストすると、装置26に保存された文書が検索され 、インターネットを介して、この文書が装置26から複数の中継装置24を介し て装置22に送信される。周知の如く、EP'619に記載されているように、 文書はワールドワイドウェブのURLを一意の識別子として検索される。またE P'619に記載されているように、好適には、複数のプリンタあるいは(スキ ャナ機能とプリンタ機能およびファクシミリ機能等をもつ)多機能装置(図示せ ず)がネットワーク21に接続される。多機能装置については欧州特許出願第7 41,487号に詳細に記載されている。周知の如く、ネットワークに接続され る各装置は、携帯型コンピュータとの通信に適したハードウェアとソフトウェア を備える。前記携帯型コンピュータとして、個人用携帯端末(Personal Digital Assistants、すなわちPDA)、ハンドヘルドPC、またはポケット型もしく は腕時計型コンピュータなどがある。 図2に携帯型コンピュータの好適な一形態を示す。装置2についてはEP'6 19に詳細に記載されている。しかしながら、この装置は様々な形で製造できる ことは明らかである。例えば、装置2の形状は欧州特許出願第 号(出願 番号97 301 669.4、リファレンスD/95594)に開示されたい ずれかの形状でもよい。コンピュータ2およびネットワーク21上の各据置型装 置は、赤外通信機能を有することが好ましい。コンピュータ2と据置型装置との 間でデータパケットが通信されて、文書の取得できるようになっており、このデ ータパケットは、従来公知の、工業規格赤外データ協会(industry standard in frared Data Association、すなわちIrDA)仕様、バージョン1.0に記載 されている物理層およびリンク層のフォーマット(IrLAP)に適合している 。 2.知識ブローカ(brokers) 本発明の一実施形態によれば、図1の各装置は、ローカルまたは遠隔地での印 刷用の文書検索、あるいは別の装置への転送の際にブローカを使用する。 ブローカは、知識サーチリクエストを処理するソフトウェア・エージェントで ある。本明細書では、知識とは公にアクセスできるようにされた個々の電子情報 全てを指す。種々の、配信され得る情報の配給元が利用可能であるとする。情報 の配給元は、例えば、ユーザのディレクトリの一つのファイルから、あるサイト のローカルなデータベース、さらにはインターネット上の広域情報サービス(W AIS)まで、種々のものがある。 リクエストを受信すると、ブローカが十分な知識を有している場合はこのリク エストの処理を行う、さもなければより多くの知識を取得する必要がある。知識 の取得のため、ブローカは他のブローカに向けてサブリクエストを発信する。こ のように、知識の取得は全ブローカの協調(コラボレーション)により実現され る。このブローカは、リクエストを処理するサービスプロバイダ又は、サブリク エストを発信する該サービスのクライアントのどちらかである。このコラボレー ションを行う上で必要なインフラ・ストラクチャ、および知識を各ブローカ内で ロ-カルに保存する方法については本明細書では詳述しない(好適なモデルの詳 細については、Andreoli他著「制約に基づく知識ブローカのモデル:セマンティ クス、実行と解析」J.Symbolic Computation、1996年を参照)。以下では 、各ブローカ内で行われる知識処理について説明する。 コラボレーション処理を行うためには、各ブローカが少なくとも相互に理解し 合う必要がある。つまり、全リクエスト(およびリクエストに対する全回答)を 共通言語で定形化する必要があり、このことは、ブローカがローカルで翻訳を行 う場合であっても必要である。このため、論理を用いて適切な言語を得る。リク エストは、<x,P>の対で表され、この表記は「式Pで表される属性を備えた 知識オブジェクトxを検索せよ」を意味する。xは論理変数であり、Pはxに関 する論理式である。興味深いことに、このリクエストに対する回答も同一の形式 、すなわち「式Qで表される性質を充足する知識オブジェクトxが存在する」を 意味する〈x、Q〉対で表現される。この場合、PはQの論理帰結であって、回 答が少なくともリクエストと同量の知識を含むようにする必要がある。また、同 様の論理形式を用いてブローカの対象範囲、すなわち関連する範囲(scope)の 知識を取得することができる。つまり、範囲〈x、R〉をもつブローカは「私は 式Rで表現される属性を充足しない知識オブジェクトxを取得することはできな い」ということを意味する。多くの場合、外的要因または知識検索処理自体の影 響で 特化したり、あるいは逆に許容量を拡張するために、ブローカの取得範囲は変動 する。 換言すると、論理によって、リクエスト、回答そして範囲を共に表現可能な共 通言語が得られる。ブローカは上記三つの要素についての論理操作を実行する。 もっとも重要な論理操作は充足可能性の照合であり、これに基づいて他の全ての 論理操作を構築し直すことができる。充足可能性の照合とは、あるオブジェクト が式で表現された性質を充足するか、あるいは逆に本質的に矛盾したものである か、を決定することである。残念ながら、周知のように完全に古典的な論理では 、この操作はアルゴリズム的でない。すなわち、必ず処理完了するプログラムを 実装ことはほとんど不可能である。所定の限度内を考慮しつつ、多くの知識表現 の研究が、充足可能性をアルゴリズム的に決定可能な古典論理のフラグメント( fragment)の識別、に集中している。表現性と操作性とはトレードオフの関係に あり、例えば空のフラグメントは明らかに操作が容易であるが表現性はきわめて 悪い。 これまでに解明されたもっとも一般的なフラグメントは「特徴制約」(FC) と呼ばれるものである。この場合、充足可能性の問題は「特徴制約解法(featur e constraint solving)」と呼ばれる。 周知のように、特徴制約は、分類または特徴のいずれかの原子制約で構築され る。分類は単項関係であり、一つのエンティティの性質を表す。例えば、P:p ersonは、エンティティPが分類personからなることを表す。特徴は 二項関係であり、二つのエンティティをリンクする特性を表す。例えば、P:e mployer→Eは、エンティティPが従業員を有し、この従業員がエンティ ティEであることを表す。分類と特徴は別として、大半の特徴体系では、等価( equality)および非等価(disequality)などの組み込み関 係も考慮されている。 3.特徴制約の原理 完全な特徴制約のフラグメントは、前述の原子成分を全部の論理結合記号(結 合、分離、否定および限定)を用いて結合することができるものであり、表現性 は高いが、操作性は悪い。否定と分離が単純に禁じられた、「基本特徴制約」( BFC)と呼ばれるサブフラグメントが検討されており、このサブフラグメント 用に効率的な制約解法アルゴリズムが提案されている。しかしながら、このサブ フラグメントには、否定が全く存在しないため、知識ブローカが実行できる操作 の種類が著しく制限される、という欠点がある。 好適な実施形態において、本発明では「範囲分割」と称する否定の使用に依拠 した強力な操作を利用する。実際には、ブローカが、式Fで表現される判断基準 に基づいて対<x、P>で特定された範囲を分割して、範囲P∧FおよびP∧¬ Fの2つのブローカを生成しようとする。例えば、書誌情報関係のブローカは、 自分のもつ範囲をBFC X X:book X:year→Y Y>1950 で表される「1950年より後に書かれた本」、およびその余りとしての「1 950年より前に書かれた本あるいは本以外の文書」の二つの範囲に分割しよう とする。後者の範囲は、否定と分離なしでは表現することができないためBFC によって表現することはできない。範囲分割操作は多くの場合において有用であ ることが明らかにされており、例えば、生存期間中に集めた情報を記憶および再 利用する能力をもつブローカを実装する場合等で有用である。本発明の実施形態 では、一方で「符号つき特徴制約」(SFC)と呼ばれる特徴制約のフラグメン トを利用し、他方で効率的なSFC用の制約解法を利用する。このSFCでは否 定を限定的に使うことができ、前述の分割された範囲の種類を精密に表現するこ とができる。 3.1 符号つき特徴制約 符号つき特徴制約は、正の部分および負の部分のリストからなり、両者は、い ずれも基本特徴制約である。例えば、次の符号つき特徴制約、 P +P:person P:employer→E, E:”Xerox” −P:nationality→N, N:”American” −P:spouse→P’ P’:person P’:employer→E’ E’:”Xerox” は、米国人以外で、かつ他のXerox従業員と結婚していないXerox従 業員を指定する。このことを図3に図式的に示す。丸枠はエンティティ(論理変 数)を表す。分類関係(単項)は角枠内の分類名で表示されており、破線矢印で 示されている。特徴関係(二項)は角枠内の特徴名で表示されており、実線矢印 で示されている。組み込み述部(この例には存在しない)は菱形で示される。S FCの正の部分は上欄に含まれ、特別のエンティティ(本例ではP)範囲である ことが二重の丸枠により明示されている。SFCの負の部分はグレーの下欄に含 まれている。 SFCの主な特長は次の性質によるものである。すなわち、 ブローカの範囲がSFCであるe01で表され、かつこの範囲がBFCであるe で分割されるならば、得られた二つの分割範囲e+,e-はいずれもSFCである 、ということである。 実際には、e+はe0の正の部分をBFCであるeと併合することによって得ら れ、e-は、eを単独で含む新しい負の部分にe0を伸張することによって得られ る。例えば、アメリカ人(American)以外が書いた芸術(Art)関係の各種文書 (本、ビデオ他)を含む、書誌データベース関係のブローカ力を仮定すると、こ のことはSFC X +X:topic→T T:”Art” −X:author→A A:nationality→N N:”American” で表される。このSFCは「1950年より後に書かれた本」という制約で分 割することができ、この制約はBFC X X:book X:year→Y Y>1950 で表される。得られた範囲は簡明に X +X:book X:topic→T X:year→Y T:”Art” Y>1950 −X:author→A A:nationality→N N:”American” と表され、この表記は、「アメリカ人以外の著者で1950年より後に書かれ た芸術関係の本」を意味する。また X X:topic→T T:”Art” −X:author→A A:nationality→N N:”American” −X:book X:year→Y Y>1950 と表した場合は、「アメリカ人以外が書いた1950年より後の本以外の芸術関 係の文書」を意味する。 3.2 符号つき特徴制約の解法 大半の制約体系は、分類や特徴の性質について体系公理と呼ばれるいくつかの 仮定を設けている。これら公理は、特徴制約が矛盾している場合と充足可能であ る場合とを決定するものであるため、充足可能性アルゴリズムにとってきわめて 重要である。 3.2.1 特徴公理 ここで開示する実施形態では、簡単のため、A・・t-Kaci H.他著「含意を用いた 論理プログラミング用の特徴に基づく制約体系」(Theoretical Computer Scien ce 122,pp.263-283,1994)に用いられた基本公理体系を若干改変したものを利 用する。ただし、当業者により認識される他の公理系にもまた、本方法の原理を 同様に適用できる。 1.特徴は関数である。このことは、もし、同一の特徴により制約される2つ のエンティティの対が同一の第一項を持てば、これらはまた同一の第二項を持っ ていることを意味している。例えば、配偶者(spouse)という特徴が(特定の文 化環境において)関数であることが考えられる。このことは、人は二人の配偶者 をもつことはできないことを意味する。つまり、ある人物Xに対して、X:sp ouse→YおよびX:spouse→Zの二つの関係があるとすると、エンテ ィティYとエンティティZは一致する(すなわち同一人物を表す)。この他に、 多値を許容する特徴体系もある。 2.分類は互いに素である。つまり、エンティティは二つの異なる分類からは 成立しない。例えば、本は人物ではない、すなわちX:bookとX:pers onとなるようなエンティティXはあり得ない。他の体系には、分類を階層的に 配慮するものもあり、あるエンティティは階層上共通の要素を有する限り、複数 の分類を持つこともできる。 3.「値(value)」分類と呼ばれる、特別の分類のサブセットがあり、 これによって二つの異なるエンティティは同値類からは成立しないようにされる 。伝統的な基本要素(文字列や数字等)は典型的な値分類であり、例えば、文字 列「Xerox」あるいは数字「1950」は値分類である。値分類は特徴を持 つことを許されず、分類と特徴を結合するだけのための公理である。他の体系に は、分類と特徴とのより洗練された結合に配慮したものもある。 4.(分類と特徴を含む)伝統的な合同公理をもつ、特別な組み込み二値述語 として、同等というものがある。他の全ての組み込み述語を記述する公理は、分 類と特徴についての記述を含まないものとする。 以上の公理を、本明細書末尾の付録中のセクションA:公理に公式の書式で示 す。これら公理は理論Tの構成要素となる。 3.2.2 制約充足 先ず、組み込み述語上での充足可能性は可解とする。つまり、組み込み述語の みを用いた式Fが存在する場合(Fは組み込み制約とも呼ばれる)、Fが理論T の論理帰結(├TFで表す)であるかどうかを決定するアルゴリズムが存在する 。 BFC上の制約充足は、BFC上の一連の条件付き書き換え規則(付録のセク ションB.1参照)で定義される。この書き換え規則は次の特性をもつ。 (a)規則体系は収束的であり、従ってBFCの「標準形式」を定義している 。体系が「チャーチロッサ」(クリティカルペア収束)および「ネータリアン」 (項のサイズが書き換え毎に厳密に縮小する)であることを証明することにより 、上記内容を古典的方法で示すことができる。 (b)BFCは、標準形式が矛盾であると縮約されなければ、及びそのときに 限って、充足可能である。ある含意は、書き換えステップが充足可能性を保つこ とを示すことによって証明される。反対の含意は、矛盾に縮約されない標準形式 をもつBFCを充足するモデルを示すことによって証明される。 このようにして、書き換え規則により制約充足アルゴリズムのステップが記述 される。書き換え規則体系は収束的であるため、このアルゴリズムは必ず処理終 了する。重要なことは、この規則の定義は、可解とされている組み込み制約の充 足可能性テストに依拠していることである。つまり、このアルゴリズムはモジュ ール方式であり、適正な組み込み制約の充足アルゴリズムが与えられる限り、あ らゆる種類の組み込み制約を取り込むことができる。 制約充足アルゴリズムの書き換え規則は、LispやPrologのような記号言語を用 いて簡単に実装でき、あるいは使用される特定の組み込み制約の特性を考慮する ことで最適化できる。 SFC上での制約充足アルゴリズム(付録の段落B.2参照)は、簡略には次 のように記述される。あるSFCにおいて、最初に正成分がBFCのアルゴリズ ムによって標準化される。結果が矛盾していれば、SFC全体が充足不能である 。矛盾していなければ、(標準化された)正成分が各負成分に挿入された後、負 成分がBFCのアルゴリズムによって標準化される。得られた負成分が矛盾した 標準形式を有していればその成分は削除され、トートロジ的な標準形式を有して いればSFC全体が充足可能でない。このようにして得られたSFCの標準形式 は次の性質をもつ、すなわち: SFCは、標準形式が矛盾に縮約されなければ、及びそのときに限って充足可 能である。前述の場合のように、含意が困難な部分はモデル理論を用いて証明さ れる。 4.特徴制約を用いたユーザトランザクション 図4は、特徴制約をコンパイルするステップを模式的に示すフローチャートで ある。最初に、ユーザがあるクエリ、例えば、「表題に「制約」を含み、「イン ターネット」を含まない1990年より後の本または記事など」を指定すると、 複数のユーザ入力情報が受信される(s41)。入力情報が受信されると、関係 (前述の2節を参照)が決定される。図5は、クエリを行うユーザによる入力時 の一時点での、据置型コンピュータのユーザインタフェースを示す図である。こ のユーザインタフェースについては、本発明とともに出願された、英国特許出願 第9708172.3号(リフアレンスR/97005Q/JDR)に基づく国 際特許出願第 号に詳しく記載されている。ユーザがクエリ要素の入力を終 了すると、得られた関係から特徴制約がコンパイルされる(ステップs42)。 ユーザはショートクエリ名を入力するようにプロンプトされる(s43)、ある いはデフォルトのクエリ名が割り当てられた後、FCが最終形式で保存される。 このユーザによる入力は、携帯型コンピュータで、キーボード、タッチスクリ ーンユーザインタフェース、および表示されたリスト並びにスクロール/コント ロール・ボタン等を用いて、周知の方法で行われる。携帯型コンピュータのユー ザインタフェースが小さい場合は、欧州特許出願第733,964号に開示され た方法−保存された一連のデータのメンバをアクセスする方法−を用いてもよい 。さらに他の方法として、ユーザがスキャナを介して一枚の用紙を用いてクエリ を入力し、このクエリからFCを得る方法がある。すなわち、ユーザがあらかじ め印刷された標準用紙上のボックスにチェックを記入し(この用紙上にはあり得 る関係が人間に判読可能な形態で表示されている)、チェック後の用紙がスキャ ンされると、得られた画像データから関係が抽出され、この関係を用いてFCの コンパイルが行われる。この方法については、前述の国際特許出願(リファレン スR/97005Q/JDR)に詳細に記載されている。 図6は、携帯型コンピュータのユーザインタフェース60のある瞬間における 模式図である。EP'619に開示された汎用的手法を用いてユーザに情報が提 供される。EP'619に開示されているように、保存されたURLに対応する アイコン61と文書名62が表示される。加えて、保存されたFCに対応するア イコン63とショートクエリ名64も表示される。状況により、ユーザは長い説 明を見ることもできる。例えば、アイコン63を選択して公知のユーザインタフ ェースでのダブルクリックに対応して、ボタンの押下を行うことによりこの長い 説明が表示される。この場合は、「「レクチャー」と「オブジェクト指向」とを 表題に含む、1993年より後にバベッジが書いた本」という長い説明が表示さ れている。 図7は、ある(携帯型または据置型)装置から別の(携帯型または据置型)装 置に特徴制約を送信するステップを模式的に示すフローチャートである。EP' 619に記載されているように、コンピュータはコンテキスト依存の処理を行う 。すなわちIR通信領域内の各ユーザのコンピュータのアイコンが相互にユーザ インタフェースに表示される(ステップs71)。ユーザが範囲内の別のユーザ にFCを送信することをリクエストした後(s72)、このリクエストが新規で 、 未だ存在しないFCに関するものならば、図4のプロセスが続けられ、新規なも のでなければFCがメモリから取得される(s73)。次いでこのFCが適当な 形式でエンコードされ、EP'619に記載されたいずれかの通信方法を用いて 配信される。FCがデータ領域にエンコードされたデータパケットの例を図8に 模式的に示す。好適な通信手段はIR信号であり、特にIrDA規格によるデー タ転送を用いたIR信号が好適である。 図7に戻って、受信者のユーザインタフェースにも範囲内の全ユーザのアイコ ンが表示される(ステップs75)。IRデータパケットを受信すると、このパ ケットがデコードされてFCが抽出され(s77)、要求があれば、受信者の装 置のディレクトリ内の指定された位置に保存されて後の利用に備えられる。 図9は、特徴制約を用いて文書指示子を取得し、対応する文書を表示または印 刷するステップを模式的に示すフローチャートである。この操作は、従来のコン ピュータまたは多機能装置あるいはユーザインタフェースを備えたプリンタによ って実行される。最初に、例えば、図8に示すような携帯型装置のユーザからの データパケットにより、又は周知のように、ユーザがキーボードやマウス又はタ ッチスクリーンを用いて装置に対し直接に入力することにより、FCがユーザか ら受信される。適切な入力によるユーザの指示により、セクション3で既に説明 した手順でFCが解かれ、得られた適当な形式のリクエストがサーチエンジンに 送られる(s92)。このサーチリクエストを用いて、該FCを充足する文書に ついてサーチ可能な全記憶媒体がサーチされ(s93)、必要であれば、前述し た国際特許出願(リファレンスR/97005Q)に記載のようにリクエストは サブリクエストに細分化される。 サーチエンジンによって(FCを充足する文書の)ヒットのリストが得られる と、図10に示すように表示される(s94)。次いで、適当なユーザ入力に応 じて、個々のヒットの文書細部の拡張表示、文書情報のHTML形式への変換、 あるいは記憶媒体からの文書のダウンロード等の操作が実行される(s95)。 図11は、図10のリストから選択されたヒットをHTML形式に変換した後 の状態を表している。図に示すように、各ヒットについて、著者名、http_ url、情報源、および表題などの追加情報が表示される。望むならば、ユーザ は表示されたhttp_urlを1回マウスクリックすることによってヒットに 相当する文書を見ることができる。その後、必要に応じて文書の印刷が行われる (s96)。 図12に、選択された一つのヒットについてのより詳細な表示すなわち一連の 文書属性を示す。図に示すように、複数の属性に対応して、これら属性に関する 情報を提供するさらなるページへのリンクを行う複数のURLが表示される。 ここで説明した技術の実装において、セクション3で述べた符号つき特徴制約 形式での特徴制約が使用できることは明らかである。 付録 A 体系公理 次の三つの公理のセットがある。 特徴と種類の特定公理 τ,τ’が任意の分類を表し、fが任意の特徴を表すとする。等号の合同公理 pは任意の組み込み述語を表す。伝統的な合同公理は: 組み込み述語公理 この公理が分類および特徴の記述を行うことはない。例えば、非同等は で公理化される。 優位の制約は で公理化される。 組み込み述語、>,≦,≧、は<および等号によって規定される。 B 制約充足 B.1 BFCの場合 BFCは〈B|Γ〉対で表される。Bは組み込み制約であり、Γは分類および 特徴制約の順序なしリストである(結合的に読む)。⊥は矛盾を表す。 二つの書き換え規則のセットがある。次の規則はBFCの単純化に対応する。 次の規則は矛盾の検出に対応する。 次の特性がこのアルゴリズムの正当性を裏付ける。 B.2 SFCの場合 SFCは、符号(+または−)付けされたBFCの順序なしリストとして表さ れ、一つかつ唯一の成分が正と定義する。SをSFCとする。S*のSFC標準 形式をSnと書き、これは次のアルゴリズムで与えられる。 c0をSの正の成分のBFC標準形式とするとき、 もし、c0=⊥ならば ⊥を返す そうでなければ、 c0は、〈B0|Γ0〉の形式 {〈Bi|Γi〉}i=1,...,nをSの負の成分とする i=1,...,nの各々について ciを〈B0∧Bi|Γ0i〉のBFC標準形式とする もし、ci=〈B|Γ〉かつ├τBかつΓが空であるようなi∈1,...,nが存在 すれば、 ⊥を返す そうでなければ、 I={ci≠⊥であるようなi∈1,...,n}とする 次の特性がこのアルゴリズムの正当性を裏付ける。 BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to data processing, and more particularly to transfer of document information between computers and acquisition using a computer. More particularly, the present invention relates to obtaining and transferring information about documents using feature constraints. The use of portable computers is expanding. However, it has not yet been possible to save all documents that a user wants to access as electronic files on a portable computer (due to limited storage capacity, etc.). In addition, it takes a long time to transfer a large amount of documents between the portable computer or between the portable computer and a desk-top business or home computer, and the operability of the user is low. On the other hand, the capacity of recording media for storing electronic documents is increasing, and the use of document transfer via the Internet is expanding. This situation has been problematic in European Patent Application 691,619 (hereinafter EP'619), which includes a plurality of workstations, file servers, printers and other stationary networks connected to a network. A system comprising a portable device (including a multifunctional device) and a variety of portable devices (e.g., a handheld or wristwatch-type computer) carried by a user and connected to a network via an infrared (IR) link are disclosed. I have. Each of these mobile devices emulates a user's personal documentary satchel. That is, these portable devices are programmed so as to be able to transmit and receive a document designator (URL of the World Wide Web) and to store the designator. The indicator is associated with an electronic document stored in an electronic storage area at a site on the Web. By transmitting the URL of the document, the document is distributed between the users. The document is transmitted to the printer by transmitting the URL of the document to an IR radio attached to the printer. The problem with such a system is that the links (Web URLs) that the system stores or distributes point to only one document. That is, the instruction of the indicator of each document is limited to a specific document. In addition, how to keep an eye on the ever-changing electronic documents stored on the storage medium, in accordance with changes in document attributes (author list updates, date updates, keyword updates, etc.) The problem is whether to adjust dynamically. For example, in the apparatus described in EP'618, the user performs a search for the subject C using the URL of the document A written by the author B. The latest document A 'written by author B two years after A on the same subject C, unknown to the user, or another document written by the same author who is very relevant (eg, having common keywords) to C Document A "may exist. The user does not have a link to A 'or A", and even if these documents are useful, a separate document search and search to obtain a URL is performed. Unless you perform a browsing operation, you will remain unaware of those documents. It is desired to provide a system that eliminates the lack of dynamic compatibility of the system up to now and allows a user to operate a pointer to a series of dynamically changing documents. The present invention provides a method performed on a data processing device including a processor, a memory, and a user interface, the method comprising: (a) receiving at least one user input information, the method comprising: The user input information defines at least one relationship, each relationship defining an entity for the document and the characteristics of the entity, and (b) compiling a feature constraint, wherein the feature constraint comprises a step (a). ) Including the relationship received in step (d). The present invention also provides a data processing device suitably programmed to perform the method of any of the appended claims, comprising a processor, a memory, and a user interface. The present invention also provides a data processing device, system or device according to claims 19 to 22 in the appended claims. A data processing device provided by the present invention includes a processor, a memory connected to the processor, a user interface connected to the processor and the memory, the user interface capable of generating user input information by an operation, and at least one user input information. Means for receiving, the user input information defining at least one relationship, the relationship defining an entity for the document and characteristics of the entity, and compiling feature constraints including the received relationship. Means to perform. The above-mentioned problems are solved by using a constraint description. That is, instead of using a pointer to a single document or a static set of documents, feature constraints on the document are stored and distributed, and a dynamic set of documents that satisfies the constraints imposed by the feature constraints is specified. Is obtained. The effect of the present invention will be clarified by an example. Assuming that the feature constraint only restricts the author's name (eg, Smith) and the date of the document (eg, after 1995), the feature constraint specifies all documents written by Smith after 1995. Thus, if Smith wrote another document in 1998, this document would be automatically linked to the "old" constraint without any further user intervention. Further, the present invention is useful in transferring document indicators between portable devices of multiple users when the user is away from an office workstation (e.g., in a remote meeting). Even if the sender knows that there is a document that he / she wants to send, but does not have the URL of his own device, or cannot send the URL because he cannot remember how to identify the URL on his device. Also, if the author name and creation date (or period) and / or keywords are known, the sender can send the feature constraint to the recipient. When the recipient returns to the office, the document can be retrieved on the desktop workstation using the feature constraints. Embodiments of the invention will now be described by way of example with reference to the accompanying drawings. FIG. 1 is a diagram schematically illustrating a data processing network used to execute one embodiment of the present invention. FIG. 2 illustrates a portable computer used in one embodiment of the present invention. FIG. 3 is a diagram schematically illustrating a range defined by encoded feature constraints. FIG. 4 is a flowchart schematically showing a step of compiling a feature constraint. FIG. 5 is a diagram schematically showing a user interface of the stationary computer at a certain moment when an input is made by a user who issues a query. FIG. 6 is a diagram schematically illustrating a user interface of the portable computer at a certain moment. FIG. 7 is a flowchart illustrating the steps for transmitting a feature constraint from one (portable or stationary) device to another (portable or stationary) device. FIG. 8 is a diagram schematically illustrating a data packet that encodes a feature constraint. FIG. 9 is a flowchart schematically showing a step of searching for a document designator using a feature constraint and displaying or printing a corresponding document. FIG. 10 is a diagram showing a part of a list of hits obtained during the processing of FIG. FIG. 11 is a diagram showing a display state after the hit selected from the list of FIG. 10 is converted into the HTML format. FIG. 12 shows one of the selected hits in more detail. 1. System Hardware Obviously, the present invention can be implemented using any conventional computer network technology, either a local area network (LAN) or, more preferably, a wide area network (WAN). The present invention is implemented using a conventionally used cross-platform communication (such as Netscape) and a web browser capable of exchanging documents via the Internet. This embodiment is schematically shown in FIG. The devices 22, 24, and 26 that form a part of the network 21 are a PC that runs Windows (trademark), a Mac (trademark) that runs MacOS (trademark), or a UNIX that runs MacOS (trademark). Obviously, any minicomputer may be used. For example, the hardware configuration of a PC is described in detail in P. Horowitz and W. Hill, "Art of Electronics", Second Edition, Cambridge University Press, 1989. However, obviously, the present invention can be implemented by another system configuration (see EP'619). (A typical network configuration is described in detail in, for example, European Patent Application No. 772,857 and European Patent Application No. (corresponding to US Patent Application No. 08 / 668,704). When a user makes a request on the device 22, a document stored in the device 26 is searched, and the document is transmitted from the device 26 to the device 22 via the plurality of relay devices 24 via the Internet. As is well known, documents are retrieved using the World Wide Web URL as a unique identifier, as described in EP'619. Also, as described in EP'619, preferably, a plurality of printers or a multi-function device (not shown) (having a scanner function, a printer function, a facsimile function, and the like) is connected to the network 21. Multifunctional devices are described in detail in European Patent Application No. 741,487. As is well known, each device connected to a network includes hardware and software suitable for communicating with a portable computer. The portable computer includes a personal digital assistant (PDA), a handheld PC, or a pocket or wristwatch computer. FIG. 2 shows a preferred embodiment of a portable computer. Apparatus 2 is described in detail in EP'619. However, it is clear that this device can be manufactured in various forms. For example, the shape of the device 2 may be any of the shapes disclosed in European Patent Application No. (Application No. 97 301 669.4, reference D / 95594). Each of the stationary devices on the computer 2 and the network 21 preferably has an infrared communication function. A data packet is communicated between the computer 2 and the stationary device so that a document can be obtained. The data packet is a publicly known industry standard infrared Data Association, That is, it conforms to the physical layer and link layer format (IrLAP) described in the IrDA) specification, version 1.0. 2. Knowledge Brokers In accordance with one embodiment of the present invention, each of the devices of FIG. 1 uses a broker for local or remote document retrieval for printing or transfer to another device. A broker is a software agent that processes knowledge search requests. As used herein, knowledge refers to all the individual electronic information made publicly accessible. It is assumed that various sources of information that can be distributed are available. There are various sources of information, for example, from one file in a user's directory, to a local database of a site, and even to a wide area information service (WAIS) on the Internet. Upon receiving the request, the broker needs to process this request if it has sufficient knowledge, or to obtain more knowledge. To obtain knowledge, the broker sends sub-requests to other brokers. Thus, the acquisition of knowledge is realized by the cooperation (collaboration) of all brokers. This broker is either a service provider that processes the request or a client of the service that issues the sub-request. The infrastructure required to perform this collaboration and how to store knowledge locally within each broker is not detailed here (for details on preferred models, see Andreoli et al. Based Knowledge Broker Model: Semantics, Execution and Analysis ", J. Symbolic Computation, 1996). Hereinafter, the knowledge processing performed in each broker will be described. In order to perform a collaboration process, each broker must at least understand each other. That is, all requests (and all responses to requests) need to be formalized in a common language, even if the broker translates locally. Therefore, an appropriate language is obtained using logic. The request is represented by a pair of <x, P>, and this notation means "search for the knowledge object x having the attribute represented by the expression P". x is a logical variable, and P is a logical expression related to x. Interestingly, the answer to this request is also expressed in the same format, that is, an <x, Q> pair meaning that "there is a knowledge object x that satisfies the property represented by the expression Q." In this case, P is a logical consequence of Q, and the answer must contain at least as much knowledge as the request. In addition, the knowledge of the target range of the broker, that is, the related scope can be acquired by using the same logical format. That is, a broker having the range <x, R> means that "I cannot acquire a knowledge object x that does not satisfy the attribute represented by the expression R." In many cases, the acquisition range of the broker varies in order to specialize due to an external factor or the influence of the knowledge search process itself, or conversely, to expand the allowance. In other words, logic provides a common language that can express requests, answers and ranges together. The broker performs logical operations on the three elements. The most important logical operation is the satisfiability check, from which all other logical operations can be reconstructed. Matching satisfiability refers to determining whether an object satisfies the property represented by an expression or, conversely, is essentially inconsistent. Unfortunately, as is well known, in completely classical logic, this operation is not algorithmic. That is, it is almost impossible to implement a program that always completes processing. Considering within certain limits, much knowledge representation research has focused on identifying fragments of classical logic whose satisfiability can be determined algorithmically. There is a trade-off between expressiveness and operability. For example, empty fragments are clearly easy to operate, but expressiveness is extremely poor. The most common fragment elucidated so far is called the "feature constraint" (FC). In this case, the satisfiability problem is called "feature constraint solving." As is well known, feature constraints are constructed with either class or feature atomic constraints. Classification is a unary relation and represents the property of one entity. For example, P: person indicates that the entity P is composed of the classification person. Features are binary relations and represent the property of linking two entities. For example, P: employer → E indicates that entity P has an employee, and this employee is entity E. Apart from classification and features, most feature systems also take into account built-in relationships such as equality and disequality. 3. Principle of Feature Constraint A fragment of a complete feature constraint is one that can combine the above-mentioned atomic components using all logical connection symbols (bond, separation, negation, and restriction), and has a high expressiveness, but an operation Sex is bad. A sub-fragment called "Basic Feature Constraint" (BFC), in which negation and separation are simply prohibited, has been studied, and an efficient constraint solving algorithm for this sub-fragment has been proposed. However, this subfragment has the drawback that the negation does not exist at all, which significantly limits the types of operations that the knowledge broker can perform. In a preferred embodiment, the present invention utilizes a powerful operation that relies on the use of negation, referred to as "range partitioning." In practice, the broker will split the range specified by the pair <x, P> based on the criterion expressed in equation F to generate two brokers with ranges P∧F and P∧¬F. And For example, a broker related to bibliographic information has its own range of “books written after 1950” represented by BFCXX: bookX: year → YY> 1950, and “1950” as the remainder. Book or non-book written before the year ". The latter range cannot be expressed by the BFC because it cannot be expressed without negation and separation. Range splitting operations have proven useful in many cases, for example, when implementing a broker capable of storing and reusing information gathered during its lifetime. Embodiments of the present invention utilize fragments of feature constraints called "signed feature constraints" (SFC), on the one hand, and efficient constraint solution methods for SFC, on the other hand. In this SFC, negation can be used in a limited manner, and the type of the above-mentioned divided range can be expressed precisely. 3.1 Signed Feature Constraints A signed feature constraint consists of a list of positive and negative parts, both of which are basic feature constraints. For example, the following signed feature constraint: P + P: person P: employer → E, E: “Xerox” −P: nationality → N, N: “American” −P: spouse → P ′ P ′: person P ′: employee → E ′ E ′: “Xerox” specifies a Xerox employee who is not American and is not married to another Xerox employee. This is shown schematically in FIG. Circles represent entities (logical variables). The classification relation (unary) is indicated by a classification name in a square frame, and is indicated by a broken arrow. The characteristic relation (binary) is displayed by a characteristic name in a square frame, and is indicated by a solid arrow. Built-in predicates (not present in this example) are indicated by diamonds. The positive portion of the SFC is included in the top column, and is indicated by a double circle to indicate a particular entity (P in this example) range. The negative part of the SFC is included in the lower gray box. The main features of SFC are due to the following properties. That is, the range of the broker is SFC e 01 And if this range is divided by e which is a BFC, the two divided ranges e obtained + , E - Are all SFCs. In practice, e + Is e 0 Is obtained by merging the positive part of - Is a new negative part containing e alone 0 By stretching. For example, assuming a bibliographic database-related broker power, including various art-related documents (books, videos, etc.) written by non-Americans, this means that SFC X + X: topic → TT: "Art" -X: author → AA: nationality → NN: “American”. This SFC can be divided by the constraint of “book written after 1950”, and this constraint is expressed by BFCXX: bookX: year → YY> 1950. The obtained range is simply expressed as X + X: book X: topic → TX: year → Y T: “Art” Y> 1950 −X: author → AA: Nationality → NN: “American”. The notation means "art book written after 1950 by a non-American author". XX: topic → TT: “Art” −X: author → AA: nationality → NN: “American” −X: book X: year → Y Y> 1950 Wrote a non-art book related to art after 1950. " 3.2 Solution of Signed Feature Constraints Most constraint systems make some assumptions about the classification and characteristics of features, called system axioms. These axioms are extremely important for satisfiability algorithms because they determine when feature constraints are inconsistent and when they are satisfiable. 3.2.1 Feature Axiom In the embodiment disclosed here, for simplicity, A ・ ・ A slightly modified version of the basic axiom system used in t-Kaci H. et al., "A constraint system based on features for logic programming using entailment" (Theoretical Computer Science 122, pp.263-283, 1994). Use. However, the principles of the method can be applied to other axiom systems recognized by those skilled in the art as well. 1. Features are functions. This means that if two pairs of entities constrained by the same feature have the same first term, they also have the same second term. For example, a spouse feature may be a function (in a particular cultural environment). This means that a person cannot have two spouses. In other words, assuming that there is two relations X: spouse → Y and X: spouse → Z with respect to a certain person X, the entities Y and Z match (that is, represent the same person). In addition, some feature systems allow multiple values. 2. Classification is disjoint. That is, an entity does not consist of two different categories. For example, a book is not a person, that is, there can be no entity X such that X: book and X: person on. In other systems, classification is hierarchically considered, and an entity can have multiple classifications as long as an entity has a common element in the hierarchy. 3. There is a special subset of classifications, called "value" classifications, which keeps two different entities from the same class. Traditional basic elements (strings, numbers, etc.) are typical value classes, for example, the string "Xerox" or the number "1950" is a value class. Value classification is not allowed to have features, it is an axiom only for combining classification and features. Other systems allow for more sophisticated combinations of classification and features. 4. There is a special built-in binary predicate that has the traditional congruent axiom (including classification and features) that is equivalent. Axioms describing all other built-in predicates shall not include descriptions of classifications and features. These axioms are shown in formal form in Section A: Axioms in the Appendix at the end of this specification. These axioms are components of theory T. 3.2.2 Constraint Satisfaction First, satisfiability on the built-in predicate is solvable. That is, when there is an expression F using only the built-in predicate (F is also called a built-in constraint), there is an algorithm that determines whether F is a logical consequence of the theory T 1 (represented by ├TF). Constraint satisfaction on the BFC is defined by a set of conditional rewrite rules on the BFC (see section B.1 in the Appendix). This rewrite rule has the following properties. (A) The rule system is convergent and thus defines the "standard form" of BFC. By proving that the system is "Church Rossa" (critical pair convergence) and "Natorian" (term size shrinks strictly with each rewrite), the above can be shown in a classical way. (B) BFCs are satisfiable unless and only if the standard form is not contradicted. One implication is proved by showing that the rewriting step remains satisfiable. The opposite implication is proved by showing a model that satisfies the BFC with a standard form that is not reduced to contradictions. In this way, the steps of the constraint satisfaction algorithm are described by the rewriting rules. Since the rewriting rule system is convergent, this algorithm always terminates processing. Importantly, the definition of this rule relies on the satisfiability test of built-in constraints that are solvable. In other words, this algorithm is modular, and can incorporate all kinds of built-in constraints as long as an appropriate built-in constraint satisfaction algorithm is given. The rules for rewriting the constraint satisfaction algorithm can be easily implemented using a symbolic language such as Lisp or Prolog, or can be optimized by considering the properties of the particular built-in constraints used. The constraint satisfaction algorithm on the SFC (see paragraph B.2 in the Appendix) is briefly described as follows. In some SFCs, the positive component is first standardized by a BFC algorithm. If the results are inconsistent, the entire SFC is unsatisfiable. If not inconsistent, after the (normalized) positive component is inserted into each negative component, the negative component is standardized by the BFC algorithm. If the obtained negative component has an inconsistent standard form, the component is deleted, and if it has a totological standard form, the entire SFC cannot be satisfied. The standard form of the SFC obtained in this way has the following properties: The SFC is satisfiable if and only if the standard form is not contradicted. As in the previous case, the parts that are difficult to imply are proved using model theory. 4. User Transaction Using Feature Constraints FIG. 4 is a flowchart schematically showing steps for compiling feature constraints. First, when a user specifies a certain query, for example, "a book or article after 1990 that includes" constraints "in the title and does not include the" Internet ", multiple user input information is received (s41). ). When the input information is received, the relationship (see section 2 above) is determined. FIG. 5 is a diagram illustrating a user interface of the stationary computer at a point in time when an input is performed by a user performing a query. This user interface is described in detail in International Patent Application No. based on UK Patent Application No. 9708172.3 (Reference R / 97005Q / JDR) filed with the present invention. When the user finishes inputting the query element, the feature constraint is compiled from the obtained relation (step s42). The user is prompted to enter a short query name (s43) or, after a default query name has been assigned, the FC is saved in final form. This user input is performed in a well-known manner on a portable computer using a keyboard, touch screen user interface, displayed list and scroll / control buttons, and the like. If the portable computer has a small user interface, the method disclosed in European Patent Application No. 733,964-a method for accessing members of a stored series of data-may be used. As still another method, there is a method in which a user inputs a query using one sheet of paper via a scanner, and obtains FC from the query. That is, when the user enters a check in a box on a preprinted standard sheet (a possible relationship is displayed in a human-readable form on this sheet), and the checked sheet is scanned. The relationship is extracted from the obtained image data, and the FC is compiled using this relationship. This method is described in detail in the aforementioned international patent application (reference R / 97005Q / JDR). FIG. 6 is a schematic diagram of the user interface 60 of the portable computer at a certain moment. Information is provided to the user using the general-purpose technique disclosed in EP'619. As disclosed in EP'619, an icon 61 and a document name 62 corresponding to the saved URL are displayed. In addition, an icon 63 and a short query name 64 corresponding to the saved FC are also displayed. Depending on the situation, the user may also see a long description. For example, when the icon 63 is selected and a button is pressed in response to a double-click on a known user interface, the long description is displayed. In this case, a long description of "a book written by Babbage after 1993, which includes" Lecture "and" Object Orientation "in the title, is displayed. FIG. 7 is a flowchart schematically illustrating a step of transmitting a feature constraint from one (portable or stationary) device to another (portable or stationary) device. As described in EP'619, the computer performs context-dependent processing. That is, the icons of the computers of the respective users in the IR communication area are mutually displayed on the user interface (step s71). After the user requests to send FC to another user in range (s72), if the request is for a new, non-existent FC, the process of FIG. 4 is continued and the new one must be used. For example, FC is obtained from the memory (s73). This FC is then encoded in a suitable format and distributed using any of the communication methods described in EP'619. FIG. 8 schematically shows an example of a data packet in which the FC is encoded in the data area. A preferable communication means is an IR signal, and an IR signal using data transfer according to the IrDA standard is particularly preferable. Returning to FIG. 7, icons of all users in the range are also displayed on the user interface of the receiver (step s75). Upon receipt of the IR data packet, the packet is decoded and the FC is extracted (s77) and, if requested, stored at a designated location in the directory of the recipient's device for later use. FIG. 9 is a flowchart schematically showing steps of acquiring a document designator using the feature constraint and displaying or printing the corresponding document. This operation is performed by a conventional computer or a multi-function device or a printer with a user interface. Initially, FC data is transmitted by, for example, a data packet from a user of the portable device as shown in FIG. 8 or, as is well known, by the user inputting directly to the device using a keyboard, mouse or touch screen. Is received from the user. According to the user's instruction by appropriate input, the FC is solved according to the procedure already described in section 3, and the obtained request in an appropriate format is sent to the search engine (s92). Using this search request, all searchable storage media for documents satisfying the FC are searched (s93), and if necessary, as described in the aforementioned international patent application (reference R / 97005Q), the request is It is subdivided into sub-requests. When a list of hits (of documents satisfying FC) is obtained by the search engine, it is displayed as shown in FIG. 10 (s94). Next, in response to an appropriate user input, operations such as extended display of document details of each hit, conversion of document information into HTML format, or download of a document from a storage medium are performed (s95). FIG. 11 shows a state after the hit selected from the list of FIG. 10 is converted into the HTML format. As shown, additional information such as author name, http_url, information source, and title is displayed for each hit. If desired, the user can view the document corresponding to the hit by a single mouse click on the displayed http_url. Thereafter, printing of the document is performed as necessary (s96). FIG. 12 shows a more detailed display of one selected hit, ie, a series of document attributes. As shown in the figure, a plurality of URLs are displayed corresponding to the plurality of attributes and linking to further pages providing information on these attributes. Obviously, feature implementations in the form of signed feature constraints described in Section 3 can be used in implementing the techniques described herein. Appendix A System axioms There are three sets of axioms: Specific axioms τ and τ ′ of features and types represent arbitrary classes, and f represents arbitrary features. The joint axiom of equality p represents any built-in predicate. The traditional joint axiom is: Built-in predicate axiom This axiom does not describe classifications and features. For example, unequal Axiomized by The dominant constraint is Axiomized by The built-in predicates,>, ≤, ≥, are defined by <and the equal sign. B. Constraint satisfaction 1 In the case of BFC BFC is represented by a <B | Γ> pair. B is a built-in constraint and Γ is an unordered list of classification and feature constraints (read jointly). ⊥ indicates contradiction. There are two sets of rewrite rules. The following rules correspond to the simplification of BFC. The following rules correspond to conflict detection. The following properties support the validity of this algorithm. B. 2. Case of SFC The SFC is represented as an unordered list of BFCs with a sign (+ or-), and one and only component is defined as positive. Let S be SFC. S * Is written as Sn, which is given by the following algorithm: If c0 is the BFC standard form of the positive component of S, then if c0 = ⊥ return ⊥, otherwise c0 is <B 0 | Γ 0 〉 Form {〈B i | Γ i >} I = 1,. . . , N is the negative component of S. For each i = 1,. 0 ∧B i | Γ 0 , Γ i 〉 BFC standard format If i = 1, ..., n such that ci = <B | Γ> and ├τB and Γ is empty, return ⊥. Otherwise, I = {i∈1, ..., n} such that ci ≠ ⊥ The following properties support the validity of this algorithm.

【手続補正書】 【提出日】平成12年6月30日(2000.6.30) 【補正内容】 請求の範囲 1. プロセッサ、メモリ、およびユーザインタフェースを含むデータ処理装置 で実行される方法であって、前記データ処理装置はネットワークを介して一つ以 上の他のデータ処理装置に接続されており、それらデータ処理装置の内の少なく とも一つは電子文書記憶領域を保存する手段を含むものである方法が、 (a)一連の一つ以上のユーザ入力情報を受信する工程、 (b)一連のユーザ入力情報に基づいて特徴制約を得る工程であって、この特徴 制約は一つ以上の関係を含み、各関係は文書に関するエンティティおよびそのエ ンティティの属性を規定するものである工程、 (c)特徴制約を解いて、当該特徴制約から一つ以上の文書指示子を決定する工 程であって、当該一つ又は各文書指示子が特徴制約を充足する記憶領域内の文書 に対応するものである工程、を含むことを特徴とする方法。 2. 請求項1に記載の方法において、工程(b)の前に工程(a)が複数回繰 り返されることを特徴とする方法。 3. 請求項1または2に記載の方法において、前記データ処理装置が携帯型コ ンピュータを含む装置を含み、かつ工程(a)がタッチスクリーンまたはキーボ ードを介してユーザ入力情報を受信することを含むことを特徴とする方法。 4. 請求項1または2に記載の方法において、前記データ処理装置が据置型コ ンピュータを含む装置を含み、かつ工程(a)がタッチスクリーン、キーボード 、及び/又はマウスを介してユーザ入力情報を受信することを含むことを特徴と する方法。 5.請求項1または2に記載の方法において、 工程(a)が、 (a1)少なくとも一つの関係を規定する一連の一つ以上のユーザ入力情報を受 信する工程、を含み、 工程(b)が、 (b1)一連のユーザ入力情報に基づいて特徴制約をコンパイルする工程であっ て、コンパイルされた特徴制約が一連の一つ以上のユーザ入力情報で規定される 各関係を含むものである工程、を含むことを特徴とする方法。 6.請求項5に記載の方法において、 データ処理装置が、スキャン手段を含む多機能装置を含み、 工程(a)が、 (a2)画像を有した携帯型記録媒体をスキャンして、当該媒体の少なくとも一 つの所定部分に対応する電子信号を生成する工程、 (a3)前記信号から当該信号に対応する関係を決定する工程、を含むことを特 徴とする方法。 7. 請求項6に記載の方法において、前記媒体が、前記所定部分の配置につい て人間が判読可能な指標、およびこの配置に関連した、該所定部分に対応する関 係について人間が判読可能な指標を、前記各所定部分に有することを特徴とする 方法。 8. プロセッサ、メモリ、およびユーザインタフェースを含むデータ処理装置 で実行される方法であって、 (d)格納された特徴制約に対応するグラフィカルオブジェクトを指示する第一 のユーザ入力情報を受信する工程であって、前記特徴制約は一つ以上の関係を含 み、当該一つ又は各関係は文書に関するエンティティおよびそのエンティティの 属性を規定するものである工程と、 (e)前記特徴制約が別のデータ処理装置に送信されるものであることを示す第 二のユーザ入力情報を受信する工程と、 (f)特徴制約をデータパケットにエンコードする工程と、 (g)データパケットを送信する工程と、を含むことを特徴とする方法。 9. 請求項1〜8のいずれかに記載の方法において、工程(a)が、 (a1)特徴制約を指示する、一連の一つ以上のユーザ入力情報を受信する工程 を含み、 前記指示された特徴制約は格納された特徴制約であって、当該格納された特徴 制約は、 (h)データパケットを受信する工程と、 (i)データパケットをデコードして特徴制約を抽出する工程であって、この特 徴制約は一つ以上の関係を含み、当該一つ又は各関係は文書に関するエンティテ ィとそのエンティティの属性を規定するものである工程と、 (j)工程(i)で抽出された特徴制約を格納する工程と、によって得られるこ とを特徴とする方法。 10. 請求項1〜8のいずれかに記載の方法において、工程(a)が、 (a1)特徴制約を指示する一連の一つ以上のユーザ入力情報を受信する工程、 を含むことを特徴とする方法。 11. 請求項1に記載の方法において、 (k)工程(c)で決定される前記一つ又は各文書指示子を表示する工程、を含 むことを特徴とする方法。 12. 請求項11に記載の方法において、 (l)表示された文書指示子の一つを指示する第二のユーザ入力情報に応じて、 前記文書指示子に対応する文書を前記記憶領域から取得し、状況に応じて前記文 書または文書の一部を表示する工程、を含むことを特徴とする方法。 13. 請求項11または12に記載の方法において、 (m)第三のユーザ入力情報に応じて、前記文書指示子に対応する文書が印刷さ れるようにする工程、を含むことを特徴とする方法。 14. 請求項1〜13のいずれかに記載の方法において、前記特徴制約が少な くとも一つの正成分と負成分とを含み、該正成分と負成分の各々が一つ以上の関 係を含むことを特徴とする方法。 15. 請求項1〜14のいずれかに記載の方法において、前記関係の内の一つ が分類関係であり、当該分類関係は対応するエンティティが含む分類を指示する ものであることを特徴とする方法。 16. 請求項1〜15のいずれかに記載の方法において、前記関係の内の一つ が特徴関係であり、当該特徴関係は対応するエンティティが一つの属性をもつこ とを示し、前記属性の値が第二のエンティティであることを特徴とする方法。 17. 請求項1〜16のいずれかに記載の方法において、前記エンティティが もつ属性が値もしくは値の範囲であることを特徴とする方法。 18. データ処理装置であって、前述の請求項のいずれかに記載の方法を実行 するために適切にプログラムされ、プロセッサ、メモリ、およびユーザインタフ ェースを含むことを特徴とする装置。 19. データ処理装置において、 プロセッサと、 プロセッサに接続されたメモリと、 プロセッサおよびメモリに接続されたユーザインタフェースであって、ユーザ の操作によりユーザ入力情報を生成できるようにされたユーザインタフェースと 、 電子文書の記憶領域と、 一連の一つ以上のユーザ入力情報を受信する手段と、 一連のユーザ入力情報に基づいて特徴制約を得る手段であって、この特徴制約 は一つ以上の関係を含み、各関係は文書に関するエンティティおよびそのエンテ ィティの属性を規定するものである手段と、 特徴制約を解いて、当該特徴制約から一つ以上の文書指示子を決定する手段で あって、当該一つ又は各文書指示子は特徴制約を充足する記憶領域内の文書に対 応するものである手段と、を含むことを特徴とするデータ処理装置。 20.電子文書のアクセスと配信を行うシステムにおいて、 電子文書の記憶領域であって、前記文書は対応する文書指示子を有するもので ある記憶領域と、 複数のオブジェクトであって、これらオブジェクトの内の少なくとも一つは携 帯型または移動体型であるオブジェクトと、を含み、各オブジェクトは、 プロセッサと、 プロセッサに接続されたメモリと、 プロセッサとメモリに接続されて、ユーザの操作によりユーザ入力情報を生成 できるようにされたユーザインタフェースと、 一連の一つ以上のユーザ入力情報を受信する手段と、 前記一つ又は各オブジェクト及びユーザインタフェースとの通信手段と、 一連のユーザ入力情報に基づいて特徴制約を獲得、格納、及び/又は送信する 手段であって、当該特徴制約が一つ以上の関係を含み、各関係は文書に関するエ ンティティとそのエンティティの属性を規定するものである手段と、 特徴制約を解いて、当該特徴制約から一つ以上の文書指示子を決定する手段で あって、当該一つ又は各文書指示子は、特徴制約を充足する記憶領域内の文書に 対応するものである手段と、を含むことを特徴とするシステム。 21. 電子文書のアクセスと配信を行う携帯型装置が、 プロセッサと、 プロセッサに接続されたメモリと、 プロセッサとメモリに接続されて、ユーザの操作によりユーザ入力情報を生成 できるようにされたユーザインタフェースと、 据置型または移動体型電子装置およびユーザインタフェースとの通信手段であ って、前記据置型または移動体型電子装置の少なくとも一方が電子文書の記憶領 域を保存する手段を含み、各文書は対応する文書指示子をもつものである手段と 、 一連の一つ以上のユーザ入力情報を受信する手段と、 一連のユーザ入力情報に基づいて特徴制約を獲得、格納、及び/又は送信する 手段であって、当該特徴制約が一つ以上の関係を含み、各関係は文書に関連する エンティティとそのエンティティの属性を規定するものである手段と、 特徴制約を解いて、当該特徴制約から一つ以上の文書指示子を決定する手段で あって、当該一つ又は各文書指示子は、特徴制約を充足する記憶領域内の文書に 対応するものである手段と、を含むことを特徴とする携帯型装置。 22. 文書をスキャン、複写、及び/又は印刷する装置であって、 プロセッサと、 プロセッサに接続されたメモリと、 電子文書の記憶領域にアクセスする手段であって、各電子文書は対応する文書 指示子をもつものである手段と、 ユーザインタフェースおよび一つ以上の複数のオブジェクトと通信する手段で あって、これらオブジェクトの内の少なくとも一つは携帯型または移動体型であ る手段と、 一連の一つ以上のユーザ入力情報を受信する手段と、 一連のユーザ入力情報に基づいて特徴制約を獲得、保存、および/あるいは送 信する手段であって、この特徴制約が一つ以上の関係を含み、各関係は文書に関 するエンティティとそのエンティティの特性を規定するものである手段と、 特徴制約を解いて、当該特徴制約から一つ以上の文書指示子を決定する手段で あって、当該一つ又は各文書指示子は特徴制約を充足する記憶領域内の文書に対 応するものである手段、を含むことを特徴とする装置。[Procedure amendment] [Submission date] June 30, 2000 (2000.6.30) [Correction contents]                                The scope of the claims 1. Data processing device including processor, memory, and user interface Wherein the data processing device comprises one or more devices via a network. Connected to the other data processing devices above, and A method that includes means for storing an electronic document storage area, (A) receiving a series of one or more user input information; (B) obtaining a feature constraint based on a series of user input information; A constraint includes one or more relationships, each of which is an entity for the document and its Process that defines the attributes of the entity (C) solving a feature constraint and determining one or more document indicators from the feature constraint; Document in the storage area in which the one or each document designator satisfies the feature constraint. Corresponding to the method. 2. 2. The method according to claim 1, wherein step (a) is repeated several times before step (b). A method characterized by being returned. 3. 3. The method according to claim 1, wherein the data processing device is a portable computer. Computer, and wherein step (a) includes a touch screen or keyboard. Receiving user input information via a password. 4. 3. The method according to claim 1, wherein the data processing device is a stationary computer. Computer, and wherein step (a) comprises a touch screen, a keyboard And / or receiving user input information via a mouse. how to. 5. The method according to claim 1 or 2,   Step (a) (A1) receiving a series of one or more user input information defining at least one relationship; Trusting,   Step (b) is (B1) a step of compiling feature constraints based on a series of user input information; The compiled feature constraints are defined by a series of one or more user input information A step comprising each relationship. 6. The method of claim 5, wherein   The data processing device includes a multifunctional device including a scanning unit,   Step (a) (A2) A portable recording medium having an image is scanned and at least one of the medium is scanned. Generating an electronic signal corresponding to the two predetermined portions; (A3) determining a relationship corresponding to the signal from the signal. How to sign. 7. 7. The method according to claim 6, wherein the medium is arranged in the predetermined portion. A human-readable indicator and a link corresponding to the predetermined portion related to the arrangement. A human-readable index for each section is provided in each of the predetermined portions. Method. 8. Data processing device including processor, memory, and user interface The method performed in (D) first indicating a graphical object corresponding to the stored feature constraint Receiving the user input information, wherein the feature constraints include one or more relationships. The one or each relationship is an entity relating to the document and the entity A process that defines the attributes; (E) a second constraint indicating that the feature constraint is to be transmitted to another data processing device. Receiving the second user input information; (F) encoding the feature constraint into a data packet; (G) transmitting a data packet. 9. The method according to any one of claims 1 to 8, wherein step (a) comprises: (A1) receiving a series of one or more user input information indicating a feature constraint; Including   The indicated feature constraint is a stored feature constraint, and the stored feature is The constraint is (H) receiving a data packet; (I) a step of decoding a data packet to extract a feature constraint; A feature constraint includes one or more relationships, where one or each relationship is an entity related to the document. A process that defines the attributes of the entity and its entities; (J) storing the feature constraints extracted in step (i). And the method characterized by the above. 10. The method according to any one of claims 1 to 8, wherein step (a) comprises: (A1) receiving a series of one or more user input information indicating a feature constraint; A method comprising: 11. The method of claim 1, wherein (K) displaying the one or each document designator determined in step (c). A method characterized by the following: 12. The method of claim 11, wherein (L) in response to second user input information pointing to one of the displayed document indicators, A document corresponding to the document designator is obtained from the storage area, and the Displaying a book or a portion of a document. 13. The method according to claim 11 or 12, (M) A document corresponding to the document indicator is printed according to the third user input information. The method comprising: 14. 14. The method according to any of claims 1 to 13, wherein the feature constraint is low. At least one positive component and one negative component are included, each of the positive and negative components having one or more functions. A method comprising engaging. 15. 15. The method according to any of the preceding claims, wherein one of said relationships. Is a classification relation, and the classification relation indicates a classification included in the corresponding entity. The method characterized in that: 16. 16. The method according to any of the preceding claims, wherein one of said relationships. Is a characteristic relationship, and the characteristic relationship is that the corresponding entity has one attribute. And the value of the attribute is a second entity. 17. 17. The method according to any of the preceding claims, wherein the entity is A method characterized in that the attribute possessed is a value or a range of values. 18. A data processing device for performing a method according to any of the preceding claims. Processor, memory, and user interface A device comprising a base. 19. In the data processing device,   A processor,   Memory connected to the processor,   A user interface connected to the processor and the memory, the user interface comprising: User interface that can generate user input information by the operation of ,   An electronic document storage area;   Means for receiving a series of one or more user input information;   Means for obtaining a feature constraint based on a series of user input information; Contains one or more relationships, where each relationship is an entity for the document and its Means for defining the attributes of the   A means for solving a feature constraint and determining one or more document indicators from the feature constraint The one or each document designator corresponds to a document in the storage area satisfying the feature constraint. A data processing apparatus. 20. In a system that accesses and distributes electronic documents,   A storage area for an electronic document, said document having a corresponding document designator A storage area,   A plurality of objects, at least one of which is An object that is a band type or a mobile type, and each object includes:   A processor,   Memory connected to the processor,   Connected to the processor and memory, generates user input information by user operation User interface made available,   Means for receiving a series of one or more user input information;   Means for communicating with the one or each object and a user interface;   Acquire, store, and / or transmit feature constraints based on a set of user input information Means, wherein the feature constraints include one or more relations, each of which is related to a document. Means that specify the attributes of the entity and its entities;   A means for solving a feature constraint and determining one or more document indicators from the feature constraint Then, the one or each document designator specifies a document in the storage area satisfying the feature constraint. Corresponding means. 21. A portable device for accessing and delivering electronic documents   A processor,   Memory connected to the processor,   Connected to the processor and memory, generates user input information by user operation User interface made available,   A means of communication with a stationary or mobile electronic device and a user interface. Thus, at least one of the stationary and mobile electronic devices is capable of storing an electronic document. Means for preserving the domain, wherein each document has a corresponding document designator. ,   Means for receiving a series of one or more user input information;   Acquire, store, and / or transmit feature constraints based on a set of user input information Means, wherein the feature constraint comprises one or more relationships, each relationship being associated with a document. Means for defining an entity and its attributes;   A means for solving a feature constraint and determining one or more document indicators from the feature constraint Then, the one or each document designator specifies a document in the storage area satisfying the feature constraint. Portable device comprising: a corresponding means. 22. An apparatus for scanning, copying and / or printing a document,   A processor,   Memory connected to the processor,   Means for accessing a storage area of an electronic document, wherein each electronic document has a corresponding document Means having an indicator;   By means of a user interface and communicating with one or more multiple objects And at least one of these objects is portable or mobile. Means,   Means for receiving a series of one or more user input information;   Capturing, storing, and / or transmitting feature constraints based on a set of user input information The feature constraint includes one or more relationships, each of which relates to a document. Means that specify the entity to perform and the characteristics of that entity;   A means for solving a feature constraint and determining one or more document indicators from the feature constraint The one or each document designator corresponds to a document in the storage area satisfying the feature constraint. Responsive means.

───────────────────────────────────────────────────── 【要約の続き】 プリンタを含むものである。────────────────────────────────────────────────── ─── [Continuation of summary] It includes a printer.

Claims (1)

【特許請求の範囲】 1. プロセッサ、メモリ、およびユーザインタフェースを含むデータ処理装置 で実行される方法が、 (a)少なくとも一つのユーザ入力情報を受信する工程であって、前記ユーザ入 力情報は少なくとも一つの関係を規定し、当該一つの又は各関係は文書に関する エンティティおよびそのエンティティの特性を規定するものである工程、 (b)特徴制約をコンパイルする工程であって、前記特徴制約は工程(a)で受 信された関係を含むものである工程、を含むことを特徴とする方法。 2. 請求項1に記載の方法において、工程(b)の前に工程(a)が複数回繰 り返されることを特徴とする方法。 3. 請求項1または2に記載の方法において、前記データ処理装置が携帯型コ ンピュータを含む装置を含み、かつ工程(a)がタッチスクリーンまたはキーボ ードを介してユーザ入力情報を受信することを含むことを特徴とする方法。 4. 請求項1または2に記載の方法において、前記データ処理装置が据置型コ ンピュータを含む装置を含み、かつ工程(a)がタッチスクリーン、キーボード 、及び/又はマウスを介してユーザ入力情報を受信することを含むことを特徴と する方法。 5. 請求項4に記載の方法において、前記据置型コンピュータがスキャン手段 を含む多機能装置を含み、 工程(a)が、 (a1)画像を有する携帯型媒体をスキャンして、媒体中の少なくとも一つの所 定部分に対応する電子信号を生成する工程、 (a2)前記信号から当該信号に対応する関係を決定する工程、を含むことを特 徴とする方法。 6. 請求項4に記載の方法において、前記媒体が、前記所定部分の配置につい て人間が判読可能な指標、およびこの配置に関連した、該所定部分に対応する関 係について人間が判読可能な指標を、前記の各所定部分に有することを特徴とす る方法。 7. プロセッサ、メモリ、およびユーザインタフェースを含むデータ処理装置 で実行される方法であって、 (d)格納された特徴制約に対応するグラフィカルオブジェクトを指示する第一 のユーザ入力情報を受信する工程であって、前記特徴制約は一つ以上の関係を含 み、当該一つ又は各関係は文書に関するエンティティおよびそのエンティティの 特性を規定するものである工程と、 (e)前記特徴制約が別のデータ処理装置に送信されるものであることを示す第 二のユーザ入力情報を受信する工程と、 (f)特徴制約をデータパケットにエンコードする工程と、 (g)データパケットを送信する工程と、を含むことを特徴とする方法。 8. プロセッサ、メモリ、およびユーザインタフェースを含むデータ処理装置 で実行される方法が、 (h)データパケットを受信する工程、 (i)データパケットをデコードして特徴制約を抽出する工程であって、前記特 徴制約は一つ以上の関係を含み、当該一つのまたは各関係は文書に関するエンテ ィティおよびそのエンティティの属性を規定するものである工程、 (j)工程(i)で抽出された特徴制約を格納する工程、を含むことを特徴とす る方法。 9. プロセッサ、メモリ、およびユーザインタフェースを含むデータ処理装置 で実行される方法であって、前記データ処理装置はネットワークを介して一つ以 上の他のデータ処理装置に接続されており、それらデータ処理装置の内の少なく とも一つは電子文書の記憶領域を格納する手段を含むものである方法が、 (k)特徴制約を指示する少なくとも一つのユーザ入力信号を受信する工程であ って、前記特徴制約は一つ以上の関係を含み、当該一つ又は各関係は文書に関す るエンティティおよびそのエンティティの特性を規定するものである工程、 (l)特徴制約を解いて、当該特徴制約から一つ以上の文書指示子を決定する工 程であって、当該一つ又は各文書指示子は、前記特徴制約を充足する前記記憶領 域内の文書に対応するものである工程、を含むことを特徴とする方法。 10. 請求項9に記載の方法において、工程(k)が請求項8に記載の方法を 含むことを特徴とする方法。 11. 請求項9に記載の方法において、 (m)工程(l)で決定される前記のいずれかの文書指示子を表示する工程、を 含むことを特徴とする方法。 12. 請求項11に記載の方法において、さらに (n)表示された文書指示子の一つを指示する第二のユーザ入力信号に応じて、 前記文書指示子に対応する文書を前記記憶領域から取得し、状況に応じて前記文 書または文書の一部を表示する工程、を含むことを特徴とする方法。 13. 請求項11または12に記載の方法において、さらに (o)第三のユーザ入力信号に応じて、前記文書指示子に対応する文書が印刷さ れるようにする工程、を含むことを特徴とする方法。 14. 請求項1〜13のいずれかに記載の方法において、前記特徴制約が少な くとも一つの正の成分と負の成分とを含み、該正の成分と負の成分の各々が一つ 以上の関係を含むことを特徴とする方法。 15. 請求項1〜14のいずれかに記載の方法において、前記関係の内の一つ が分類関係であり、当該分類関係は対応するエンティティに含まれる分類を指示 するものであることを特徴とする方法。 16. 請求項1〜15のいずれかに記載の方法において、前記関係の内の一つ が特徴関係であり、この特徴関係は対応するエンティティが一つの属性をもつこ とを示し、前記属性の値が第二のエンティティであることを特徴とする方法。 17. 請求項1〜16のいずれかに記載の方法において、前記エンティティが もつ属性が値もしくは値の範囲であることを特徴とする方法。 18. データ処理装置であって、前述の請求項のいずれかに記載の方法を実行 するために適切にプログラムされ、プロセッサ、メモリ、およびユーザインタフ ェースを含むことを特徴とする装置。 19. データ処理装置において、 プロセッサと、 プロセッサに接続されたメモリと、 プロセッサおよびメモリに接続されたユーザインタフェースであって、ユーザ の操作によりユーザ入力信号を生成できるようにされたユーザインタフェース、 及び 少なくとも一つのユーザ入力情報を受信する手段であって、前記ユーザ入力情 報は少なくとも一つの関係を規定し、当該一つまたは各関係は文書に関するエン ティティおよびそのエンティティの属性を規定するものであり、さらに前記手段 によって特徴制約がコンパイルされ、該特徴制約は受信された関係を含むもので ある手段、を含むことを特徴とする装置。 20. 電子文書のアクセスと配信を行うシステムにおいて、電子文書の記憶領 域であって、各文書は対応する文書指示子を有するものである記憶領域と、複数 のオブジェクトであって、前記オブジェクトの内の少なくとも一つは携帯型また は移動体型であり、各オブジェクトは、該一つのまたは他の各オブジェクトおよ びユーザインタフェースとの通信手段を含むオブジェクト、および特徴制約を受 信、格納、及び/又は送信する手段であって、前記特徴制約は一つ以上の関係を 含み、当該一つまたは各関係は文書に関するエンティティとそのエンティティの 属性を規定するものである手段、を含むことを特徴とするシステム。 21. 電子文書のアクセスと配信を行う携帯型装置において、据置型または移 動体電子装置およびユーザインタフェースとの通信手段であって、前記装置の内 の少なくとも一つは電子文書の記憶領域を格納する手段を含み、各文書は対応す る文書指示子をもつものである通信手段、および特徴制約を受信、格納、及び/ 又は送信する手段であって、前記特徴制約は一つ以上の関係を含み、当該一つ又 は各関係は文書に関するエンティティとそのエンティティの属性を規定するもの である手段、を含むことを特徴とする携帯型装置。 22. 文書のスキャン、複写、及び/又は印刷を行う装置において、各々対応 する文書指示子を有する電子文書の記憶領域にアクセスする手段と、一つ以上の 複数のオブジェクト並びにユーザインタフェースと通信する手段であって、前記 オブジェクトの内の少なくとも一つは携帯型または移動体型である手段、および 特徴制約を受信、保存、及び/又は送信する手段であって、前記特徴制約は一つ 以上の関係を含み、当該一つ又は各関係は文書に関するエンティティとそのエン ティティの属性を規定するものである手段、を含むことを特徴とする装置。[Claims] 1. Data processing device including processor, memory, and user interface The method performed by (A) receiving at least one user input information, wherein the user input information is received; The force information defines at least one relationship, wherein the or each relationship relates to a document. A process that defines an entity and the characteristics of that entity; (B) compiling feature constraints, wherein the feature constraints are received in step (a); A step comprising a trusted relationship. 2. 2. The method according to claim 1, wherein step (a) is repeated several times before step (b). A method characterized by being returned. 3. 3. The method according to claim 1, wherein the data processing device is a portable computer. Computer, and wherein step (a) includes a touch screen or keyboard. Receiving user input information via a password. 4. 3. The method according to claim 1, wherein the data processing device is a stationary computer. Computer, and wherein step (a) comprises a touch screen, a keyboard And / or receiving user input information via a mouse. how to. 5. 5. The method according to claim 4, wherein the stationary computer is a scanning means. Including multi-function devices, including   Step (a) (A1) A portable medium having an image is scanned and at least one location in the medium is scanned. Generating an electronic signal corresponding to the fixed part, (A2) determining a relationship corresponding to the signal from the signal. How to sign. 6. 5. The method according to claim 4, wherein the medium is arranged in the predetermined portion. A human-readable indicator and a link corresponding to the predetermined portion related to the arrangement. A human-readable index of the person in charge at each of the predetermined portions. Way. 7. Data processing device including processor, memory, and user interface The method performed in (D) first indicating a graphical object corresponding to the stored feature constraint Receiving the user input information, wherein the feature constraints include one or more relationships. The one or each relationship is an entity relating to the document and the entity A process that defines the characteristics; (E) a second constraint indicating that the feature constraint is to be transmitted to another data processing device. Receiving the second user input information; (F) encoding the feature constraint into a data packet; (G) transmitting a data packet. 8. Data processing device including processor, memory, and user interface The method performed by (H) receiving a data packet; (I) decoding a data packet to extract a feature constraint, A constraint includes one or more relationships, where the or each relationship is related to the document. A process that defines the attributes of an entity and its entities, (J) storing the feature constraint extracted in step (i). Way. 9. Data processing device including processor, memory, and user interface Wherein the data processing device comprises one or more devices via a network. Connected to the other data processing devices above, and A method that includes means for storing a storage area of an electronic document, (K) receiving at least one user input signal indicating a feature constraint. Thus, the feature constraint includes one or more relationships, wherein one or each relationship relates to a document. Processes that define the entity and the characteristics of that entity, (L) solving the feature constraint and determining one or more document indicators from the feature constraint; The one or each document designator is the storage location that satisfies the feature constraint. Corresponding to a document in the region. 10. 10. The method according to claim 9, wherein step (k) comprises the method according to claim 8. A method comprising: 11. The method of claim 9, wherein (M) displaying any one of the document indicators determined in step (l). A method comprising: 12. The method of claim 11, further comprising: (N) in response to a second user input signal indicating one of the displayed document indicators, A document corresponding to the document designator is obtained from the storage area, and the Displaying a book or a portion of a document. 13. The method according to claim 11 or 12, further comprising: (O) A document corresponding to the document indicator is printed in response to a third user input signal. The method comprising: 14. 14. The method according to any of claims 1 to 13, wherein the feature constraint is low. At least one positive component and one negative component, wherein each of the positive component and the negative component is one A method comprising the above relationships. 15. 15. The method according to any of the preceding claims, wherein one of said relationships. Is a classification relation, and the classification relation indicates the classification included in the corresponding entity. A method comprising: 16. 16. The method according to any of the preceding claims, wherein one of said relationships. Is a characteristic relationship, and the characteristic relationship is that the corresponding entity has one attribute. And the value of the attribute is a second entity. 17. 17. The method according to any of the preceding claims, wherein the entity is A method characterized in that the attribute possessed is a value or a range of values. 18. A data processing device for performing a method according to any of the preceding claims. Processor, memory, and user interface A device comprising a base. 19. In the data processing device,   A processor,   Memory connected to the processor,   A user interface connected to the processor and the memory, the user interface comprising: A user interface adapted to generate a user input signal by the operation of as well as   Means for receiving at least one user input information, wherein said user input information is The report defines at least one relationship, where the or each relationship is related to the document. Stipulates the attributes of the entity and its entities. Compiles the feature constraints, which include the received relationships. An apparatus, comprising: a means. 20. In a system that accesses and distributes electronic documents, the storage A storage area in which each document has a corresponding document designator; Object, at least one of said objects being portable or Is a mobile object, each object being the one or each other object and Object including communication means with the Means for transmitting, storing, and / or transmitting, wherein the characteristic constraints relate to one or more relationships. And the one or each relationship is an entity relating to the document and the entity Means for defining attributes. 21. For portable devices that access and deliver electronic documents, Means for communicating with a moving body electronic device and a user interface, wherein Includes means for storing a storage area for electronic documents, each document having a corresponding storage area. Receiving, storing, and / or receiving a communication means having a document designator and a feature constraint. Or means for transmitting, wherein the feature constraint includes one or more relationships, and the one or more Where each relationship specifies an entity for the document and the attributes of that entity A portable device comprising: 22. Applicable to devices that scan, copy and / or print documents Means for accessing a storage area of an electronic document having a document designator Means for communicating with a plurality of objects and a user interface, wherein Means wherein at least one of the objects is portable or mobile, and Means for receiving, storing, and / or transmitting a feature constraint, wherein the feature constraint is one Including the above relationships, the or each relationship can be an entity related to the document and its A means for defining the attributes of the titties.
JP54536098A 1997-04-23 1998-04-23 Acquisition and distribution of document information based on feature constraints Withdrawn JP2002511165A (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
GB9708175.6 1997-04-23
GBGB9708175.6A GB9708175D0 (en) 1997-04-23 1997-04-23 Feature constraint based document information retrieval and distribution
PCT/IB1998/000757 WO1998048359A1 (en) 1997-04-23 1998-04-23 Feature constraint based document information retrieval and distribution

Publications (1)

Publication Number Publication Date
JP2002511165A true JP2002511165A (en) 2002-04-09

Family

ID=10811194

Family Applications (1)

Application Number Title Priority Date Filing Date
JP54536098A Withdrawn JP2002511165A (en) 1997-04-23 1998-04-23 Acquisition and distribution of document information based on feature constraints

Country Status (4)

Country Link
EP (1) EP0976057A1 (en)
JP (1) JP2002511165A (en)
GB (1) GB9708175D0 (en)
WO (1) WO1998048359A1 (en)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7765179B2 (en) * 1998-12-01 2010-07-27 Alcatel-Lucent Usa Inc. Method and apparatus for resolving domain names of persistent web resources
EP1006463A2 (en) * 1998-12-01 2000-06-07 Lucent Technologies Inc. A method and apparatus for persistent access to web resources
EP1006462A3 (en) * 1998-12-01 2005-03-30 Lucent Technologies Inc. A method and apparatus for persistent storage of web resources
US7120862B1 (en) * 1998-12-01 2006-10-10 Lucent Technologies Inc. Method and apparatus for persistent access to Web resources using variable time-stamps
US6434546B1 (en) 1998-12-22 2002-08-13 Xerox Corporation System and method for transferring attribute values between search queries in an information retrieval system
US6381598B1 (en) 1998-12-22 2002-04-30 Xerox Corporation System for providing cross-lingual information retrieval
US7707245B2 (en) 2000-02-22 2010-04-27 Harvey Lunenfeld Metasearching a client's request for displaying different order books on the client
US7180615B2 (en) 2001-01-03 2007-02-20 International Business Machines Corporation One click printing in a web browser
US20080144130A1 (en) 2006-12-13 2008-06-19 Kerigan Thomas M Document output processing

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5862321A (en) * 1994-06-27 1999-01-19 Xerox Corporation System and method for accessing and distributing electronic documents

Also Published As

Publication number Publication date
WO1998048359A1 (en) 1998-10-29
GB9708175D0 (en) 1997-06-11
EP0976057A1 (en) 2000-02-02

Similar Documents

Publication Publication Date Title
Baldi et al. Modeling the Internet and the Web
US6732090B2 (en) Meta-document management system with user definable personalities
US6820075B2 (en) Document-centric system with auto-completion
US6778979B2 (en) System for automatically generating queries
US7284191B2 (en) Meta-document management system with document identifiers
US6928425B2 (en) System for propagating enrichment between documents
US8239413B2 (en) System with user directed enrichment
US7117432B1 (en) Meta-document management system with transit triggered enrichment
US20050022114A1 (en) Meta-document management system with personality identifiers
US20060031235A1 (en) Expression and time-based data creation and creator-controlled organizations
US8661035B2 (en) Content management system and method
US20080091637A1 (en) Temporal association between assets in a knowledge system
US11475165B2 (en) Data processing systems and methods for automatically redacting unstructured data from a data subject access request
US6735622B1 (en) Transferring constraint descriptors between light-weight devices for document access
US7325010B1 (en) Information modeling method and database searching method using the information modeling method
JP2002511165A (en) Acquisition and distribution of document information based on feature constraints
JP2001521664A (en) Knowledge broker using signed feature constraints
Casteleyn et al. Exploiting Link Types during the Web Site Design Process to Enhance Usability of Web Sites
JP4259233B2 (en) Information retrieval apparatus and program
Klie The evolution of the world wide web: The role of bidirectional linking
Chung An automatic text mining framework for knowledge discovery on the web
Palathingal Integration of Information Retrieval Techniques into a Referral System for Knowledge Management
Pittman et al. Multiple database personalities: Facilitating access to research data
Capraro et al. Hand-Held Computing Devices and Large Knowledge Bases
Ryan Evaluating the effectiveness of electronic special interest groups

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20050420

RD04 Notification of resignation of power of attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7424

Effective date: 20050420

A761 Written withdrawal of application

Free format text: JAPANESE INTERMEDIATE CODE: A761

Effective date: 20070514