JP7529043B2 - 情報処理装置、仮説生成方法、プログラム、および記録媒体 - Google Patents

Description

本発明は、仮説推論により仮説を生成する情報処理装置等に関する。

仮説推論とは、与えられた観測に基づいて発生した事象についての仮説を導出する推論であり、仮説推論についての研究が従来から行われている。例えば、下記の非特許文献１では、重み付き仮説推論のパラメタを教師あり学習によって自動調整する手法が提案されている。

山本風人 et. al.，"誤差逆伝播を利用した重み付き仮説推論の教師あり学習"，情報処理学会研究報告，Vol.2012-NL-206 No.9／Vol.2012-SLP-91 No.9，2012

非特許文献１に記載の重み付き仮説推論においては、評価関数を最大化する仮説を導出する。しかし、この評価関数による評価はユーザの評価基準と必ずしも一致しない。このため、非特許文献１の技術では、ユーザの納得する仮説を導出できない場合があるという問題があった。

本発明の一態様は、上記の問題に鑑みてなされたものであり、その目的の一例は、ユーザの納得する仮説を生成することができる情報処理装置等を提供することである。

本発明の一側面に係る情報処理装置は、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段と、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段と、表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段と、を備え、前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う。

本発明の一側面に係る仮説生成方法は、少なくとも１つのプロセッサが、仮説推論によりそれぞれ異なる複数の仮説を生成すること、前記プロセッサが、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させること、前記プロセッサが、表示された前記要素に対するユーザからのフィードバックを受け付けること、および前記プロセッサが、前記フィードバックに応じた制約条件を適用して仮説の再生成を行うこと、を含む。

本発明の一側面に係るプログラムは、コンピュータを、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段、および表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段、として機能させ、前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う。

本発明の一側面に係る記録媒体は、情報処理装置として機能させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体であって、前記プログラムは、前記コンピュータを、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段、および表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段、として機能させ、前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う。

本発明の一態様によれば、ユーザの納得する仮説を生成することができる。

本発明の例示的実施形態１に係る情報処理装置の構成を示すブロック図である。 本発明の例示的実施形態１に係る仮説生成方法の流れを示すフロー図である。 本発明の例示的実施形態２に係る情報処理装置の構成を示すブロック図である。 仮説グラフの例を示す図である。 本発明の例示的実施形態２に係る仮説生成方法の流れを示すフロー図である。 ユーザからのフィードバックを受け付けるためのＵＩ画面の例を示す図である。 フィードバックの内容をユーザに選択させるための選択画面の例を示す図である。 前記情報処理装置の各機能を実現するソフトウェアであるプログラムの命令を実行するコンピュータの一例を示す図である。

〔例示的実施形態１〕
本発明の第１の例示的実施形態について、図面を参照して詳細に説明する。本例示的実施形態は、後述する例示的実施形態の基本となる形態である。

（情報処理装置の構成）
本例示的実施形態に係る情報処理装置１の構成について、図１を参照して説明する。図１は、情報処理装置１の構成を示すブロック図である。情報処理装置１は、仮説推論により仮説を生成する装置である。図示のように、情報処理装置１は、仮説生成部１１と、仮説表示部１２と、受付部１３と、を備えている。

仮説生成部１１は、仮説推論によりそれぞれ異なる複数の仮説を生成する。より詳細には、仮説生成部１１は、観測情報と推論知識とを用いて複数の仮説を生成する。観測情報、推論知識、および仮説は、何れも論理式で表される。仮説推論の具体的な手法としては、非特許文献１に記載されているような重み付き仮説推論等、種々の手法を適用することができる。

ここで、異なる仮説とは、それらの仮説をグラフ化したときにグラフ的特徴が異なるものとなる仮説を指す。例えば、１つ以上のノードの組み合わせ、１つ以上のエッジの組み合わせ、および１つ以上のノードと１つ以上のエッジとの組み合わせ、は何れもグラフ的特徴となり得る。複数の仮説をそれぞれグラフ化した仮説グラフにおいて、グラフ的特徴が同じである部分には、変数名の違いを除けば同じである部分グラフを埋め込むことができる。一方、グラフ的特徴が異なる部分には変数名の違いを除けば同じである部分グラフを埋め込むことができない。情報処理装置１が取り扱う特徴集合をどの範囲とするか、言い換えれば、仮説グラフにおけるどのような範囲をグラフ的特徴とするかは、任意に設定することができる。

また、埋め込めるとは、変数および／または定数の単射的な割り当てが存在することを意味する。例えば、下記の仮説Ｈ’は、下記の仮説Ｈに埋め込むことができる。これは、仮説Ｈ’におけるｙをｘに、ｚをＣ１に単射的に割り当てることができるためである。
Ｈ：Ｔ（ｘ）→Ｐ（ｘ）→Ｑ（ｘ，Ｃ１），
Ｓ（Ｃ，Ｃ１）→！Ｒ（Ｃ１）
Ｈ’：Ｐ（ｙ）→Ｑ（ｙ，Ｃ１），
！Ｒ（ｚ）
なお、単射的とは、行き先（割当先）が一致しないことを意味する。また、上記の論理式において、「！」は否定、大文字は定数、小文字は変数を表す。

仮説表示部１２は、生成された複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる。仮説表示部１２は、各仮説について、その仮説を構成する各要素をユーザが認識できるような態様で表示させるものであればよい。例えば、上述のように仮説推論は論理式を用いて行われるから、仮説表示部１２は、仮説を表す論理式を表示させてもよい。また、仮説はノードとエッジを組み合わせた仮説グラフで表すこともできるから、仮説表示部１２は、仮説グラフを表示させてもよい。なお、表示装置は、情報処理装置１が備えているものであってもよいし、情報処理装置１の外部の表示装置であってもよい。

受付部１３は、表示された要素に対するユーザからのフィードバックを受け付ける。受付部１３がフィードバックを受け付けると、仮説生成部１１は、そのフィードバックに応じた制約条件を適用して仮説の再生成を行う。

フィードバックは、表示された要素のうち少なくとも１つを対象としたものであればよい。例えば、受付部１３は、上述のグラフ的特徴のそれぞれに対するフィードバックを受け付けてもよい。また、フィードバックの内容は仮説の再生成のための制約条件を決定できるようなものであればよい。例えば、受付部１３は、仮説を構成する論理式の一部を対象とした、当該一部が適切である、あるいは不適であるとのフィードバックを受け付けてもよい。

また、フィードバックをどのようにして受け付けるかについても特に限定されない。例えば、受付部１３は、マウスやタッチパネル等の任意の入力装置を介して行われたユーザの入力操作をフィードバックとして受け付けてもよい。

以上のように、本例示的実施形態に係る情報処理装置１は、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成部１１と、生成された複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示部１２と、表示された要素に対するユーザからのフィードバックを受け付ける受付部１３と、を備えている。そして、仮説生成部１１は、フィードバックに応じた制約条件を適用して仮説の再生成を行う、という構成が採用されている。

上記の構成によれば、仮説を構成する複数の要素を表示装置に表示させるから、情報処理装置１のユーザは、仮説を構成する要素ごとに適否を判断して、その判断結果をフィードバックすることができる。また、通常、ユーザが有する知識は限られているから、仮説の全体が適切であるか否かをユーザに判断させることは難しい場合がある。しかし、そのような場合であっても、仮説の一部要素についての適否であれば、ユーザの有する知識の範囲で判断できることが多い。また、このようなフィードバックであれば、論理式等に関する詳細な知識を有していないユーザでも容易に行うことができる。

そして、上記の構成によれば、このフィードバックに応じた制約条件が適用されて仮説の再生成が行われる。この仮説の再生成はユーザのフィードバックに応じた制約条件に基づいて行われるから、再生成される仮説は先に生成された仮説と比べてユーザがより納得しやすいものとなる。よって、本例示的実施形態に係る情報処理装置１によれば、ユーザの納得する仮説を生成することができるという効果が得られる。

情報処理装置１は、ユーザが仮説を確認し、その内容に基づいてユーザの責任の下でユーザが何かしらのアクションを取る、といった用途に好適に適用できる。このような用途で情報処理装置１を利用する場合、ユーザは、自身が納得していない仮説に基づいてアクションを取ることはないからである。例えば、情報処理装置１は、サイバーセキュリティに関する仮説を生成する、という用途に利用することもできる。この場合、情報処理装置１は、ユーザからのフィードバックに基づいてユーザが納得できる仮説を生成するので、その仮説に基づいて、サイバーセキュリティ上必要なアクションをユーザに取らせることができる。

（仮説生成方法の流れ）
本例示的実施形態に係る仮説生成方法の流れについて、図２を参照して説明する。図２は、仮説生成方法の流れを示すフロー図である。

図２に示す仮説生成方法においては、まず、仮説生成部１１が、仮説推論によりそれぞれ異なる複数の仮説を生成する（Ｓ１）。次に、仮説表示部１２が、Ｓ１で生成された複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる（Ｓ２）。

続いて、受付部１３が、Ｓ２の処理により表示された要素に対するユーザからのフィードバック（ＦＢ）を受け付ける（Ｓ３）。そして、仮説生成部１１が、Ｓ３で受け付けたフィードバックに応じた制約条件を適用して仮説の再生成を行う（Ｓ４）これにより、仮説生成方法は終了する。本例示的実施形態に係る当該仮説生成方法によれば、ユーザの納得する仮説を生成することができるという効果が得られる。

なお、仮説生成部１１、仮説表示部１２、および受付部１３の機能を少なくとも１つのプロセッサにより実現した場合、上記Ｓ１～Ｓ４の処理の主体は少なくとも１つのプロセッサと表現することもできる。また、Ｓ４の処理の後、Ｓ２の処理に戻ってもよい。この場合、Ｓ２では、再生成により生成された新たな仮説を含む複数の仮説を表示させる。このように、Ｓ２～Ｓ４の処理を繰り返し行うことにより、ユーザにとってより納得感の高い仮説を生成することができる。

〔例示的実施形態２〕
（情報処理装置の構成）
本例示的実施形態に係る情報処理装置１Ａの構成について、図３を参照して説明する。図３は、情報処理装置１Ａの構成を示すブロック図である。情報処理装置１Ａは、例示的実施形態１の情報処理装置１と同様に、仮説推論により仮説を生成する装置である。また、図３には、ユーザの入力操作を受け付けて、受け付けた入力操作の内容を示す情報を情報処理装置１Ａに出力する入力装置２と、情報処理装置１Ａの出力する情報を表示する表示装置３についてもあわせて示している。

情報処理装置１Ａは、仮説生成部１１Ａと、仮説表示部１２Ａと、受付部１３Ａと、ＦＢ（フィードバック）情報格納部１４Ａを備えている。また、仮説生成部１１Ａには、推論エンジン１１１Ａと観測情報格納部１１２Ａと推論知識格納部１１３Ａが含まれている。

仮説生成部１１Ａは、例示的実施形態１の仮説生成部１１と同様に、仮説推論により複数の要素を組み合わせてそれぞれ異なる複数の仮説を生成すると共に、フィードバックに応じた制約条件を適用して仮説の再生成を行う。

仮説生成部１１Ａによる仮説推論は、より詳細には推論エンジン１１１Ａによって行われる。具体的には、推論エンジン１１１Ａは、観測情報格納部１１２Ａに格納されている観測情報と、推論知識格納部１１３Ａに格納されている推論知識とを用いて仮説推論を行う。観測情報は、仮説推論の対象となる事象に関する証拠等を示す情報である。推論知識は、仮説推論に用いることができる各種情報を集積したものであり、例えば事実を示す情報等が推論知識に含まれていてもよい。推論知識は背景知識と呼ばれることもある。

仮説表示部１２Ａは、例示的実施形態１の仮説表示部１２と同様に、生成された複数の仮説のそれぞれについて、当該仮説を構成する要素を表示装置に表示させる。より詳細には、仮説表示部１２Ａは、複数の要素とそれらの組み合わせをノードとエッジで表した仮説グラフを表示させる。仮説グラフについては図４に基づいて後述する。

受付部１３Ａは、例示的実施形態１の受付部１３と同様に、表示された要素に対するユーザからのフィードバックを受け付ける。また、受付部１３Ａは、受け付けたフィードバックの内容を示すフィードバック情報を生成し、それをＦＢ情報格納部１４Ａに記録する。フィードバック情報を生成して記録する処理は、受け付けたフィードバックのそれぞれについて行われる。つまり、ＦＢ情報格納部１４Ａには、受付部１３Ａが受け付けた各フィードバックの内容を示すフィードバック情報が蓄積される。仮説生成部１１Ａは、ＦＢ情報格納部１４Ａに蓄積されたフィードバック情報を用いて仮説の再生成を行う。

（仮説グラフの具体例）
図４は、仮説表示部１２Ａが表示装置３に表示させる仮説グラフＨ１～Ｈ３の例を示す図である。上述のように、仮説グラフは、仮説を構成する複数の要素とそれらの組み合わせをノードとエッジで表したものである。

例えば、図４に示す仮説グラフＨ１は、Ｎ１～Ｎ３のノードと、Ｎ１０のノードとを矢印で示すエッジで結んだものである。ノードＮ１～Ｎ３は証拠１～３に対応しており、ノードＮ１０は情報流出という帰結に対応している。なお、証拠１～３は、観測情報格納部１１２Ａに格納されている観測情報に基づくものであり、帰結は推論知識格納部１１３Ａに格納されている推論知識と証拠１～３に基づいて導出されたものである。

仮説グラフＨ１から、当該グラフが示す仮説は、証拠１～３という３つの要素から情報流出という帰結を導いた仮説であることが読み取れる。また、各ノードには、そのノードに対応する要素の内容を示す文章が表示されている。これにより、各要素の内容をユーザに認識させることができる。

また、仮説グラフＨ２は、仮説グラフＨ１にノードＮ４を追加したものである。ノードＮ４は、帰結Ｎ１０を導くための仮説Ａに対応している。そして、仮説グラフＨ３は、仮説グラフＨ１に、ノードＮ４の代わりにノードＮ５を追加したものである。ノードＮ５もノードＮ４と同様に、帰結Ｎ１０を導くための仮説であるが、ノードＮ５は仮説Ａではなく仮説Ｂに対応している。なお、仮説Ａ、Ｂの何れも観測情報と推論知識から導出されたものであり、観測されていない証拠を補完するものである。

以上のように、本例示的実施形態に係る情報処理装置１Ａにおいては、仮説表示部１２Ａが、上述のような、複数の要素とそれらの組み合わせをノードとエッジで表した仮説グラフを表示装置３に表示させる構成が採用されている。そして、受付部１３Ａは、仮説グラフにおけるノードおよびエッジの少なくとも何れかに対するユーザからのフィードバックを受け付ける。

仮説推論では論理式に基づく演算により、論理式で表された仮説が生成される。ここで生成された論理式を表示させるのではなく、上述のような仮説グラフを表示させることにより、論理式に関する知識に乏しいユーザであっても仮説の内容を容易に理解することができる。そして、ユーザは、仮説グラフにおけるノードおよびエッジに対して直観的にフィードバックを行うことができる。

このように、情報処理装置１Ａにおいては、例示的実施形態１に係る情報処理装置１の奏する効果に加えて、ユーザに仮説の内容を容易に認識できるようにすると共に、仮説の構成要素に対するフィードバックを容易に行わせることができるという効果が得られる。なお、仮説グラフにおけるノードとエッジの組み合わせは、仮説グラフのグラフ的特徴と表現することもできる。グラフ的特徴については、例示的実施形態１で説明したとおりであるから、ここでは説明を繰り返さない。

（仮説生成方法の流れ）
本例示的実施形態に係る仮説生成方法の流れについて、図５を参照して説明する。図５は、情報処理装置１Ａが実行する仮説生成方法の流れを示すフロー図である。

Ｓ１１では、受付部１３Ａが、観測情報の入力を受け付ける。観測情報は、例えばユーザが入力装置２を介して入力する構成としてもよい。そして、受付部１３Ａは、入力された観測情報を、仮説生成部１１Ａの観測情報格納部１１２Ａに格納する。

Ｓ１２では、仮説生成部１１Ａが、Ｓ１１で入力された観測情報を用いて仮説推論を行い、仮説を生成する。より詳細には、仮説生成部１１Ａの推論エンジン１１１Ａが、観測情報格納部１１２Ａに格納された観測情報と、推論知識格納部１１３Ａに格納されている推論知識とを用いて仮説推論を行い、仮説を生成する。推論エンジン１１１Ａは、基本的には複数の仮説を生成するが、後述する制約条件によっては生成される仮説が１つとなる場合もある。

Ｓ１３では、仮説表示部１２Ａが、Ｓ１２で生成された複数の仮説のそれぞれについて、当該仮説を構成する要素を表示装置３に表示させる。より詳細には、仮説表示部１２Ａは、Ｓ１２で生成された複数の仮説のそれぞれについて、当該仮説を構成する複数の要素とそれらの組み合わせをノードとエッジで表した仮説グラフを生成し、生成した仮説グラフを表示装置３に表示させる。

Ｓ１４では、仮説表示部１２Ａは、仮説の生成を終了するか否かを判定する。ここで終了すると判定された場合（Ｓ１４でＹＥＳ）には図５のフローは終了する。一方、終了しないと判定された場合（Ｓ１４でＮＯ）にはＳ１５に進む。

Ｓ１４の判定条件としては、例えば下記の何れかの条件を適用すればよい。

（１）Ｓ１２で生成された仮説が１つである。

（２）Ｓ１２で生成された仮説にユーザがフィードバックできる要素が含まれていない。

（３）Ｓ１３で表示された仮説の中に、ユーザが納得できる仮説が含まれている。

上記（２）の条件で判定を行う場合、仮説表示部１２Ａは、ＦＢ情報格納部１４Ａを参照して、Ｓ１２で生成した仮説に、フィードバックされていない要素が含まれているか否かを判定すればよい。フィードバックされていない要素が含まれていれば、ユーザがフィードバックできる要素が含まれているといえるから、Ｓ１４の判定結果はＮＯとなる。一方、全ての要素に対してフィードバック済みであれば、ユーザがフィードバックできる要素が含まれていないといえるから、Ｓ１４の判定結果はＹＥＳとなる。

また、上記（３）の条件で判定を行う場合、Ｓ１３で表示された仮説の中に、ユーザが納得できる仮説が含まれているか否かを、例えば入力装置２を介してユーザに入力させてもよい。この場合、仮説生成部１１Ａは、納得できる仮説が含まれている旨の入力が受付部１３Ａにより受け付けられたことを条件として、仮説生成を終了する（Ｓ１４でＹＥＳ）と判定すればよい。

Ｓ１５では、受付部１３Ａが、Ｓ１３の処理により表示された要素に対するユーザからのフィードバックを受け付ける。上述のように、Ｓ１３では仮説グラフが表示されるから、Ｓ１５では、受付部１３Ａは、仮説グラフにおけるノードおよびエッジの少なくとも何れかに対するフィードバックを受け付ける。なお、Ｓ１５では、表示した仮説グラフの１つのみに対するフィードバックを受け付けてもよいし、複数の仮説グラフのそれぞれに対するフィードバックを受け付けてもよい。

また、Ｓ１５の処理の際に、それ以前に受け付け済みのフィードバックが存在した場合には、受付部１３Ａは、そのフィードバックの取り消し操作を受け付けてもよい。例えば、受付部１３Ａは、ＦＢ情報格納部１４Ａに格納されているフィードバック情報を表示装置３に表示させ、その中からユーザに取り消したいものを選択させてもよい。この場合、取り消したいフィードバック情報を選択する操作が、フィードバックの取り消し操作ということになる。

Ｓ１６では、受付部１３Ａは、Ｓ１５で受け付けたフィードバックが、過去のフィードバックの取り消しであるか、その他のフィードバックであるかを判定する。ここで、過去のフィードバックの取り消しであると判定された場合（Ｓ１６でＹＥＳ）にはＳ１７に進む。一方、その他のフィードバックであると判定された場合（Ｓ１６でＮＯ）にはＳ１８に進む。

Ｓ１７では、受付部１３Ａは、ＦＢ情報格納部１４Ａから、取り消しの対象となったフィードバックのフィードバック情報を削除する。一方、Ｓ１８では、受付部１３Ａは、Ｓ１５で受け付けたフィードバックの内容を示すフィードバック情報を生成して、ＦＢ情報格納部１４Ａに記録する。Ｓ１７またはＳ１８の終了後、処理はＳ１９に進む。

Ｓ１９では、仮説生成部１１Ａの推論エンジン１１１Ａが、ＦＢ情報格納部１４Ａに格納されているフィードバック情報に基づいて、仮説推論における制約条件を更新する。この後、処理はＳ１２に戻る。Ｓ１９から遷移したＳ１２では、推論エンジン１１１Ａは、Ｓ１９で更新された制約条件を適用して仮説の再生成を行う。

以降は既に説明したように、仮説の表示が行われ（Ｓ１３）、Ｓ１４でＹＥＳと判定されなければ再度フィードバックを受け付けて（Ｓ１５）、フィードバック情報の削除または記録を行い（Ｓ１７／Ｓ１８）、制約条件が更新（Ｓ１９）される。これらの処理は、Ｓ１４でＹＥＳと判定されるまで繰り返される。

なお、Ｓ１２において多数の仮説が生成され、Ｓ１３においてそれら多数の仮説が表示された場合、全ての仮説を確認する作業がユーザにとって負担となることも考えられる。このため、Ｓ１２で生成する仮説の数には上限を設定しておくことが好ましい。なお、上限は固定値としてもよいし、推論ごとに可変としてもよい。

また、Ｓ１９から遷移したＳ１２では、推論エンジン１１１Ａは、それ以前に行った仮説推論で生成した候補仮説（最終的な出力とはされなかった仮説）を、新たな仮説として出力してもよい。例えば、推論エンジン１１１Ａが、初回のＳ１２の処理で３つの候補仮説を生成し、それら候補仮説から選択した２つを出力し、その一方の要素に対して否定的なフィードバックがなされたとする。この場合、初回のＳ１２で生成されたが出力されなかった候補仮説が、否定的なフィードバックがなされた上記要素を含んでいなければ、Ｓ１９から遷移したＳ１２において、推論エンジン１１１Ａはこの候補仮説を新たな仮説として出力してもよい。このような処理も仮説の再生成の範疇に含まれる。

（仮説と仮説グラフの生成例）
図５のフローに沿った具体的な仮説と仮説グラフの生成例を図４に基づいて説明する。ここでは、図５のＳ１２で仮説生成部１１Ａが２つの仮説を生成するとする。そして、仮説表示部１２Ａがそれらの仮説に対応する仮説グラフとして図４に示す仮説グラフＨ１およびＨ２を生成し、それらを表示装置３に表示させたとする。

この場合、ユーザは、仮説グラフＨ１を構成するノードＮ１～Ｎ３、Ｎ１０と、仮説グラフＨ２を構成するノードＮ１～Ｎ４、Ｎ１０と、それらノードを結ぶエッジの中から、フィードバックの対象とするものを選択すればよい。そして、ユーザは、選択したノード、エッジ、またはノードとエッジの組み合わせについてのフィードバックの内容を入力すればよい。

例えば、ユーザは、ノードＮ４の仮説Ａの内容が、ノードＮ１０が示す帰結（情報流出）の原因として妥当ではないと考えた場合、入力装置２を介してノードＮ４を選択し、ノードＮ４が不適である旨を入力するというフィードバックを行えばよい。

受付部１３Ａは、Ｓ１５において、上記のフィードバックを受け付けると、そのフィードバックに対応するフィードバック情報を生成し、Ｓ１８でＦＢ情報格納部１４Ａに記録する。この場合、記録されるフィードバック情報は、ノードＮ４が不適であることを示す情報となる。

Ｓ１９では、仮説生成部１１Ａの推論エンジン１１１Ａが、ノードＮ４が不適であることを示す上記フィードバック情報に基づいて制約条件を更新する。例えば、推論エンジン１１１Ａは、ノードＮ４を含まないという制約条件を新たに追加してもよい。これにより、Ｓ１９から遷移したＳ１２における仮説の再生成においては、ノードＮ４を含む仮説が生成されなくなる。よって、それに続くＳ１３では、ノードＮ４を含まない仮説グラフＨ１が再度表示されると共に、新たに生成されたノードＮ４を含まない仮説グラフ（例えば図４のＨ３）が表示される。

（フィードバック情報の蓄積について）
以上のように、本例示的実施形態に係る情報処理装置１Ａにおいては、受付部１３Ａが、受け付けたフィードバックのそれぞれについてフィードバック情報を記録する構成が採用されている。また、情報処理装置１Ａにおいては、仮説生成部１１Ａが、記録されたフィードバック情報のそれぞれに対応する制約条件を適用して仮説の再生成を行う構成が採用されている。

よって、情報処理装置１Ａにおいては、例示的実施形態１に係る情報処理装置１の奏する効果に加えて、ユーザからの複数回のフィードバックを反映させた仮説を生成することができるという効果が得られる。

（補足）
以下説明するように、情報処理装置１Ａが実行する仮説推論においては、取り扱うグラフ的特徴の個数が有限である場合には、正解の仮説に基づくフィードバックと再推論を繰り返すことにより、最終的に正解の仮説と同じグラフ的特徴を有する仮説が生成される。よって、情報処理装置１Ａによれば、正解の仮説に基づく正しいフィードバック（例えば、正解の仮説に含まれる要素を適とし、正解の仮説に含まれない要素を否とするフィードバック）を繰り返すことにより、正解の仮説を生成することができる。

上述のように、仮説生成部１１Ａは、グラフ的特徴が異なる複数の仮説を生成する。例えば、仮説生成部１１Ａが、Ｈ_０とＨ_１という２つの仮説を生成したとすると、仮説Ｈ_０はＨ_１に含まれていないグラフ的特徴を含む、もしくは、Ｈ_１はＨ_０に含まれていないグラフ的特徴を含むといえる。そして、それらのグラフ的特徴は適否が未確定である。

よって、それら適否が未確定のグラフ的特徴に対するフィードバックを受け付けて、そのフィードバックに基づいた再推論を行う、という処理を、適否が未確定のグラフ的特徴の数（有限回）だけ繰り返せばよい。これにより、正解の仮説と同じグラフ的特徴を有する仮説が生成される。

また、情報処理装置１Ａが実行する仮説推論において、全ての仮説グラフの埋め込み可能性を、取り扱う特徴集合とすると、必ず正解の仮説に到達する自然なフィードバックストラテジーが存在する。つまり、ユーザが正解の仮説を知っており、仮説グラフに含まれるグラフ的特徴のそれぞれに対し、正解の仮説に応じた正しいフィードバックを繰り返せば、情報処理装置１Ａは必ずその正解の仮説を生成することができる。このことは、以下説明するように理論的に保証されている。なお、この前提として、取り扱う定数と述語の種類は有限個であり、仮説グラフは有限グラフであるとする。

例えば、正解の仮説をＨ_ｊとし、Ｈ_ｊを構成するノード数をｎとする。この場合、ノード数が（ｎ+１）の仮説に対しては、不適のフィードバックがなされるから、フィードバックと仮説の再生成を繰り返すことにより、ノード数が（ｎ+１）以上の仮説は生成されなくなる。つまり、ｎ以下という有限のノード数の範囲内で仮説の再生成が行われるようになる。

また、Ｈ_ｊに埋め込むことができる部分グラフ（グラフ的特徴）は同型を除いて有限個であるから、適のフィードバックは有限回である。また、上述のように、適否が未確定の特徴の数も有限であるから、不適のフィードバックも有限回である。したがって、適否のフィードバックを有限回繰り返すことにより、必ず正解の仮説に到達する。

（フィードバックの取り消しについて）
また、本例示的実施形態に係る情報処理装置１Ａにおいては、以上のように、受付部１３Ａが、既に受け付けたフィードバックの取り消しを受け付ける構成が採用されている。そして、受付部１３Ａは、取り消しの対象となったフィードバックのフィードバック情報をＦＢ情報格納部１４Ａから削除する。

これにより、仮説生成部１１Ａは、記録されたフィードバック情報のうち、取り消しを受け付けたフィードバックに対応するフィードバック情報を除いた他のフィードバック情報のそれぞれに対応する制約条件を適用して仮説の再生成を行うことになる。

よって、情報処理装置１Ａにおいては、例示的実施形態１に係る情報処理装置１の奏する効果に加えて、ユーザが過去のフィードバックが誤りであったと気付いた場合に、それ以降の仮説生成にその誤りの影響が出ないようにすることができるという効果が得られる。通常、ユーザは、正解の仮説を知らないため、誤ったフィードバックをすることがあり得る。そして、フィードバック後に表示される仮説の内容から、先のフィードバックに誤りがあった可能性に気付くこともあり得るから、フィードバックの取り消しを可能にする上記構成は有用である。

取り消すフィードバックをユーザに選択させる方法は特に限定されない。例えば、受付部１３Ａは、フィードバックを取り消すための選択肢（例えば直近のフィードバックを取り消すためのキー）を表示装置３に表示させて、その選択肢が選択されたときにフィードバックを取り消してもよい。また、例えば、受付部１３Ａは、ＦＢ情報格納部１４Ａに記録されているフィードバック情報を表示装置３に表示させ、表示させたフィードバック情報の中から取り消すものを選択させてもよい。

（フィードバックを受け付けるための画面例）
上述のように、仮説表示部１２Ａは、生成された複数の仮説のそれぞれについて、それらの仮説を構成する複数の要素を表示装置３に表示させる。この際、仮説表示部１２Ａは、仮説を構成する複数の要素とそれらの組み合わせをノードとエッジで表した仮説グラフを表示装置３に表示させてもよい。この場合、仮説グラフを含む表示画面が、ユーザからのフィードバックを受け付けるためのＵＩ（ユーザインターフェース）画面ということになる。

図６は、ユーザからのフィードバックを受け付けるためのＵＩ画面の例を示す図である。図６に示す画面Ｉｍｇ１では、仮説生成部１１Ａが生成した複数の仮説を木構造の仮説グラフで表している。具体的には、画面Ｉｍｇ１には、ノードＮ１１～Ｎ１８とそれらを結ぶエッジを構成要素とする仮説グラフＨ４と、ノードＮ２１～Ｎ２７とそれらを結ぶエッジを構成要素とする仮説グラフＨ５が表示されている。なお、３つ以上の仮説グラフが木構造で接続されたＵＩ画面を表示してもよい。

仮説グラフＨ４、Ｈ５に含まれるノードには、形状と色（パターン）が異なるものが含まれている。具体的には、ノードＮ１１～Ｎ１５、Ｎ２１～Ｎ２３、Ｎ２５は星形であり、他は円形である。また、ノードＮ１１、Ｎ１５、Ｎ１６等はグレーであり、ノードＮ１２～Ｎ１４等は白であり、ノードＮ１８とＮ２７は横縞のパターンである。

このように、ノードに応じてその外観を変えることにより、各ノードがどのようなノードであるかをユーザに認識しやすくすることができる。例えば、観測情報に対応するノードを星形、仮説に対応するノードを円形とし、検証済みのノードは白色、未検証のノードはグレー、帰結を示すノードは横縞のパターンとしてもよい。

また、画面Ｉｍｇ１では、ノードＮ１１に対応付けて、「送信者から受信者への送信履歴なし」との文章ｎ１１が表示されている。この文章ｎ１１は、ノードＮ１１の内容を示すものである。このように、仮説グラフを構成する各ノードについて、そのノードの内容を示す文章を表示させてもよい。なお、文章は常時表示させてもよいし、ユーザの所定の操作に応じて表示させてもよい。

仮説表示部１２Ａがこのような仮説グラフＨ４、Ｈ５を表示させた場合、受付部１３Ａは仮説グラフＨ４、Ｈ５を構成するノードＮ１１～Ｎ１８、Ｎ２１～Ｎ２７、またはこれらノードを結ぶエッジに対するユーザの選択操作を受け付けてもよい。選択操作の内容は特に限定されない。例えば、入力装置２がマウスであれば、ノードまたはエッジにポインタを合せてクリックする操作を、そのノードまたはエッジに対する選択操作としてもよい。

また、仮説表示部１２Ａは、ノードまたはエッジに対する選択操作が行われたことに応じて、そのノードまたはエッジに対するフィードバックの内容をユーザに選択させるための選択画面を表示装置３に表示させてもよい。

図７は、フィードバックの内容をユーザに選択させるための選択画面の例を示す図である。図７に示すＩｍｇ２が表示される前提として、図６に示した仮説グラフＨ４に含まれるノードＮ１７がカーソルＣｕで選択され、この選択操作に応じてウィンドウＷが表示されたことを想定している。

ウィンドウＷは、フィードバックの内容をユーザに選択させるための選択画面の一例である。ウィンドウＷには、選択されたノードのノード名、ノードＩＤ、および変数名が表示されていると共に、選択されたノードに対するフィードバックの内容を選択するためのキーＫ１１～Ｋ１３、Ｋ２１～Ｋ２３が表示されている。

また、図７の例では、複数のフィードバックを受け付けて、それらのフィードバックを反映させた再推論を行うことが可能であることを想定している。このため、ウィンドウＷに加えて、ユーザのフィードバック内容を一覧表示するためのフィードバック内容一覧Ｌ１が表示されている。また、再推論を実施させるためのキーＫ４１と、推論を終了させるためのキーＫ４２も表示されている。なお、フィードバック内容一覧Ｌ１と、キーＫ４１およびＫ４２は、ウィンドウＷが表示されていないときにも表示させておいてもよい。

ウィンドウＷを用いることにより、ユーザは、所望のフィードバック内容に対応するキーを選択するという簡易な操作で仮説に対するフィードバックを行うことができる。例えば、ユーザは、ノードＮ１７の内容が適切であると判断したときには、キーＫ１１を選択する操作を行えばよい。受付部１３Ａはこの操作をノードＮ１７が適切である旨のフィードバックとして受け付けて、ノードＮ１７を肯定ノードとしてフィードバック内容一覧Ｌ１に表示させる。この後、再推論を実施させるためのキーＫ４１が選択されると、受付部１３Ａは、ノードＮ１７が適切であることを示すフィードバック情報を生成してＦＢ情報格納部１４Ａに記録する。そして、仮説生成部１１Ａは、ノードＮ１７を含むという制約条件を適用して仮説の再生成を行う。なお、キーＫ４１が選択されたときに、フィードバック内容一覧Ｌ１に他のノードが表示されていれば、そのノードについてのフィードバックもＦＢ情報格納部１４Ａに記録されるので、そのノードについての制約条件も適用した仮説の再生成が行われる。

一方、ユーザは、ノードＮ１７の内容が不適であると判断したときには、キーＫ１２を選択する操作を行えばよい。これにより、受付部１３Ａはこの操作をノードＮ１７が不適である旨のフィードバックとして受け付けて、ノードＮ１７を否定ノードとしてフィードバック内容一覧Ｌ１に表示させる。この後、再推論を実施させるためのキーＫ４１が選択されるとノードＮ１７が不適である旨のフィードバック情報がＦＢ情報格納部１４Ａに記録され、ノードＮ１７を含まないという制約条件で仮説の再生成が行われる。

また、ユーザは、フィードバック内容一覧Ｌ１に表示されているフィードバックを削除したいときには、フィードバック内容一覧Ｌ１または仮説グラフから対象のノードを選択した上で、キーＫ１３を選択すればよい。これにより、当該ノードをフィードバック内容一覧Ｌ１から削除することができる。

また、ユーザは、ノードＮ１７を導く方法、すなわちノードＮ１７の配下のノードおよびエッジの組み合わせが適切であると判断したときには、キーＫ２１を選択する操作を行えばよい。これにより、受付部１３Ａはこの操作をノードＮ１７の配下のノードおよびエッジの組み合わせが適切である旨のフィードバックとして受け付け、ノードＮ１７とその配下のノードおよびエッジの組み合わせが肯定されたことを示す情報をフィードバック内容一覧Ｌ１に表示させる。この後、再推論を実施させるためのキーＫ４１が選択されると、ノードＮ１７の配下のノードおよびエッジの組み合わせを含むという制約条件で仮説の再生成が行われる。

一方、ユーザは、ノードＮ１７を導く方法、すなわちノードＮ１７の配下のノードおよびエッジの組み合わせが不適であると判断したときには、キーＫ２２を選択する操作を行えばよい。これにより、受付部１３Ａはこの操作をノードＮ１７の配下のノードおよびエッジが不適である旨のフィードバックとして受け付け、ノードＮ１７の配下のノードおよびエッジの組み合わせが否定されたことを示す情報をフィードバック内容一覧Ｌ１に表示させる。この後、再推論を実施させるためのキーＫ４１が選択されると、ノードＮ１７の配下のノードおよびエッジの組み合わせを含まないという制約条件で仮説の再生成が行われる。

また、ユーザは、ノードＮ１７とその配下のノードおよびエッジをフィードバック内容一覧Ｌ１から削除したいときには、キーＫ２３を選択する操作を行えばよい。これにより、ノードＮ１７とその配下のノードおよびエッジをフィードバック内容一覧Ｌ１から削除することができる。これらの例のように、選択したノードの配下のノードおよびエッジの全体に対するフィードバックを一括で行えるようにしてもよい。これにより、１回のフィードバックにより次回の仮説推論の範囲を大きく絞り込むことができる。

また、ウィンドウＷには、選択されたノードの配下のみに差分がある仮説タブをハイライトするためのキーＫ３１も表示されている。受付部１３ＡがキーＫ３１を選択する操作を受け付けた場合、仮説表示部１２Ａは、選択されたノードの配下のみに差分がある仮説を検索し、そのような仮説が検出された場合には、その仮説の仮説グラフをハイライト表示させる。

以上のように、本例示的実施形態に係る情報処理装置１Ａにおいては、受付部１３Ａは、仮説を構成する要素が適切である旨のフィードバック、および要素が適切ではない旨のフィードバック、の少なくとも何れかを受け付けてもよい。この場合、仮説生成部１１Ａは、（１）適切である旨のフィードバックがあった要素を含む、および、（２）適切ではない旨のフィードバックがあった要素を含まない、の少なくとも何れかの制約条件を適用して仮説の再生成を行う。

このため、本例示的実施形態に係る情報処理装置１Ａによれば、例示的実施形態１に係る情報処理装置１の奏する効果に加えて、要素の適否というユーザにとって分かりやすく判断しやすい基準でフィードバックを行わせることができるという効果が得られる。

（仮説の全体としての良否についてのフィードバックについて）
また、本例示的実施形態に係る情報処理装置１Ａにおいては、受付部１３Ａは、仮説の全体としての良否についてのフィードバックを受け付け、当該仮説と当該フィードバックの内容を示す情報とを対応付けて記録してもよい。

上記の構成によれば、例示的実施形態１に係る情報処理装置１の奏する効果に加えて、ユーザが納得しやすいあるいは納得しにくい仮説はどのような仮説であるかについてのデータを取得することができるという効果が得られる。このようにして記録されたデータは、例えば仮説の良否の評価や仮説の解析等に利用することもできる。

仮説の良否についてのフィードバックを受け付ける方法は特に限定されない。例えば、仮説表示部１２Ａが、仮説の良否の選択肢を表示装置３に表示させて、受付部１３Ａが、ユーザが選択した選択肢の内容を、仮説の良否についてのフィードバックとして受け付けてもよい。また、例えば、受付部１３Ａは、ユーザが入力した仮説の良否を示す文章を、仮説の良否についてのフィードバックとして受け付けてもよい。

（その他のフィードバックについて）
上述のように、フィードバックは、仮説表示部１２Ａが表示させた、仮説を構成する要素のうち少なくとも１つを対象としたものであればよく、またその内容は仮説の再生成のための制約条件を決定できるようなものであればよい。

例えば、受付部１３Ａは、仮説表示部１２Ａが表示させた仮説グラフを構成するノードの数の適否、あるいはノードの数が多すぎるまたは少なすぎる、といったフィードバックを受け付けてもよい。このようなフィードバックを受け付けた場合、仮説生成部１１Ａは、当該フィードバックに基づいてノード数についての制約条件を追加して仮説の再生成を行えばよい。

〔変形例〕
上述の各処理は、複数の情報処理装置に分担させてもよい。言い換えれば、情報処理装置１または１Ａが行う処理の一部を、少なくとも１つの他の情報処理装置に実行させてもよい。さらに言い換えれば、上述の各処理を少なくとも１つのプロセッサに行わせる場合、その少なくとも１つのプロセッサは、１つの情報処理装置１または１Ａが備えているものであってもよいし、それぞれ異なる情報処理装置が備えているものであってもよい。

例えば、情報処理装置１または１Ａが行う処理のうち、仮説の生成および再生成を他の情報処理装置に実行させてもよい。この場合、情報処理装置１または１Ａは、他の情報処理装置が生成した仮説を表示させる処理と、フィードバックを受け付ける処理とを行えばよい。

〔ソフトウェアによる実現例〕
情報処理装置１および１Ａの一部又は全部の機能は、集積回路（ＩＣチップ）等のハードウェアによって実現してもよいし、ソフトウェアによって実現してもよい。

後者の場合、情報処理装置１および１Ａは、例えば、各機能を実現するソフトウェアであるプログラムの命令を実行するコンピュータによって実現される。このようなコンピュータの一例（以下、コンピュータＣと記載する）を図８に示す。コンピュータＣは、少なくとも１つのプロセッサＣ１と、少なくとも１つのメモリＣ２と、を備えている。メモリＣ２には、コンピュータＣを情報処理装置１または１Ａとして動作させるためのプログラムＰが記録されている。コンピュータＣにおいて、プロセッサＣ１は、プログラムＰをメモリＣ２から読み取って実行することにより、情報処理装置１または１Ａの各機能が実現される。すなわち、プログラムＰは、コンピュータＣを仮説生成部１１、１１Ａ、仮説表示部１２、１２Ａ、および受付部１３、１３Ａとして機能させる。

プロセッサＣ１としては、例えば、ＣＰＵ（Central Processing Unit）、ＧＰＵ（Graphic Processing Unit）、ＤＳＰ（Digital Signal Processor）、ＭＰＵ（Micro Processing Unit）、ＦＰＵ（Floating point number Processing Unit）、ＰＰＵ（Physics Processing Unit）、マイクロコントローラ、又は、これらの組み合わせなどを用いることができる。メモリＣ２としては、例えば、フラッシュメモリ、ＨＤＤ（Hard Disk Drive）、ＳＳＤ（Solid State Drive）、又は、これらの組み合わせなどを用いることができる。

なお、コンピュータＣは、プログラムＰを実行時に展開したり、各種データを一時的に記憶したりするためのＲＡＭ（Random Access Memory）を更に備えていてもよい。また、コンピュータＣは、他の装置との間でデータを送受信するための通信インタフェースを更に備えていてもよい。また、コンピュータＣは、キーボードやマウス、ディスプレイやプリンタなどの入出力機器を接続するための入出力インタフェースを更に備えていてもよい。

また、プログラムＰは、コンピュータＣが読み取り可能な、一時的でない有形の記録媒体Ｍに記録することができる。このような記録媒体Ｍとしては、例えば、テープ、ディスク、カード、半導体メモリ、又はプログラマブルな論理回路などを用いることができる。コンピュータＣは、このような記録媒体Ｍを介してプログラムＰを取得することができる。また、プログラムＰは、伝送媒体を介して伝送することができる。このような伝送媒体としては、例えば、通信ネットワーク、又は放送波などを用いることができる。コンピュータＣは、このような伝送媒体を介してプログラムＰを取得することもできる。

〔付記事項１〕
本発明は、上述した実施形態に限定されるものでなく、請求項に示した範囲で種々の変更が可能である。例えば、上述した実施形態に開示された技術的手段を適宜組み合わせて得られる実施形態についても、本発明の技術的範囲に含まれる。

〔付記事項２〕
上述した実施形態の一部又は全部は、以下のようにも記載され得る。ただし、本発明は、以下の記載する態様に限定されるものではない。

態様１に係る情報処理装置は、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段と、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段と、表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段と、を備え、前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う、という構成が採用されている。この構成によれば、ユーザの納得する仮説を生成することができる。

態様２に係る情報処理装置においては、態様１の構成に加えて、前記受付手段は、前記要素が適切である旨のフィードバック、および前記要素が適切ではない旨のフィードバック、の少なくとも何れかを受け付け、前記仮説生成手段は、（１）適切である旨のフィードバックがあった前記要素を含む、および、（２）適切ではない旨のフィードバックがあった前記要素を含まない、の少なくとも何れかの制約条件を適用して仮説の再生成を行う、という構成が採用されている。この構成によれば、要素の適否というユーザにとって分かりやすく判断しやすい基準でフィードバックを行わせることができる。

態様３に係る情報処理装置においては、態様１または２の構成に加えて、前記受付手段は、前記フィードバックの内容を示すフィードバック情報を記録する処理を、受け付けたフィードバックのそれぞれについて行い、前記仮説生成手段は、記録されたフィードバック情報のそれぞれに対応する前記制約条件を適用して仮説の再生成を行う、という構成が採用されている。この構成によれば、ユーザからの複数回のフィードバックを反映させた仮説を生成することができる。

態様４に係る情報処理装置においては、態様３の構成に加えて、前記受付手段は、既に受け付けたフィードバックの取り消しを受け付け、前記仮説生成手段は、記録されたフィードバック情報のうち、取り消しを受け付けた前記フィードバックに対応するフィードバック情報を除いた他のフィードバック情報のそれぞれに対応する前記制約条件を適用して仮説の再生成を行う、という構成が採用されている。この構成によれば、ユーザが過去のフィードバックが誤りであったと気付いた場合に、それ以降の仮説生成にその誤りの影響が出ないようにすることができる。

態様５に係る情報処理装置においては、態様１から４の何れかの構成に加えて、前記仮説表示手段は、前記仮説を構成する複数の前記要素とそれらの組み合わせをノードとエッジで表した仮説グラフを前記表示装置に表示させ、前記受付手段は、前記仮説グラフにおける前記ノードおよび前記エッジの少なくとも何れかに対するフィードバックを受け付ける、という構成が採用されている。この構成によれば、ユーザに仮説の内容を容易に認識できるようにすると共に、仮説の構成要素に対するフィードバックを容易に行わせることができる。

態様６に係る情報処理装置においては、態様１から５の何れかの構成に加えて、前記受付手段は、前記仮説の全体としての良否についてのフィードバックを受け付け、当該仮説と当該フィードバックの内容を示す情報とを対応付けて記録する、という構成が採用されている。この構成によれば、ユーザが納得しやすいあるいは納得しにくい仮説はどのような仮説であるかについてのデータを取得することができる。

態様７に係る仮説生成方法は、少なくとも１つのプロセッサが、仮説推論によりそれぞれ異なる複数の仮説を生成すること、前記プロセッサが、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させること、前記プロセッサが、表示された前記要素に対するユーザからのフィードバックを受け付けること、および前記プロセッサが、前記フィードバックに応じた制約条件を適用して仮説の再生成を行うこと、を含む、という構成が採用されている。この構成によれば、ユーザの納得する仮説を生成することができる。

態様８に係るプログラムは、コンピュータを情報処理装置として機能させるためのプログラムであって、前記コンピュータを、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段、および表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段、として機能させ、前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う、という構成が採用されている。この構成によれば、ユーザの納得する仮説を生成することができる。

態様９に係る記録媒体は、コンピュータを情報処理装置として機能させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体であって、前記プログラムは、前記コンピュータを、仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段、および表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段、として機能させ、前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う、という構成が採用されている。この構成によれば、ユーザの納得する仮説を生成することができる。

〔付記事項３〕
上述した実施形態の一部又は全部は、更に、以下のように表現することもできる。少なくとも１つのプロセッサを備え、前記プロセッサは、仮説推論によりそれぞれ異なる複数の仮説を生成する処理と、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる処理と、表示された前記要素に対するユーザからのフィードバックを受け付ける処理と、前記フィードバックに応じた制約条件を適用して仮説の再生成を行う処理と、を実行する情報処理装置。

なお、この情報処理装置は、更にメモリを備えていてもよく、このメモリには、前記仮説を生成する処理と、前記表示させる処理と、前記受け付ける処理と、前記仮説の再生成を行う処理とを前記プロセッサに実行させるためのプログラムが記憶されていてもよい。また、このプログラムは、コンピュータ読み取り可能な一時的でない有形の記録媒体に記録されていてもよい。

１，１Ａ ・・・情報処理装置
１１，１１Ａ ・・・仮説生成部（仮説生成手段）
１２，１２Ａ ・・・仮説表示部（仮説表示手段）
１３，１３Ａ ・・・受付部（受付手段）

Claims (8)

1. 仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段と、
   生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段と、
   表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段と、を備え、
   前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行い、
   前記仮説表示手段は、前記仮説を構成する複数の前記要素とそれらの組み合わせをノードとエッジで表した仮説グラフを前記表示装置に表示させ、
   前記受付手段は、前記仮説グラフにおける前記ノードおよび前記エッジの少なくとも何れかに対するフィードバックを受け付ける、ことを特徴とする情報処理装置。
2. 前記受付手段は、前記要素が適切である旨のフィードバック、および前記要素が適切ではない旨のフィードバック、の少なくとも何れかを受け付け、
   前記仮説生成手段は、（１）適切である旨のフィードバックがあった前記要素を含む、および、（２）適切ではない旨のフィードバックがあった前記要素を含まない、の少なくとも何れかの制約条件を適用して仮説の再生成を行う、ことを特徴とする請求項１に記載の情報処理装置。
3. 前記受付手段は、前記フィードバックの内容を示すフィードバック情報を記録する処理を、受け付けたフィードバックのそれぞれについて行い、
   前記仮説生成手段は、記録されたフィードバック情報のそれぞれに対応する前記制約条件を適用して仮説の再生成を行う、ことを特徴とする請求項１または２に記載の情報処理装置。
4. 前記受付手段は、既に受け付けたフィードバックの取り消しを受け付け、
   前記仮説生成手段は、記録されたフィードバック情報のうち、取り消しを受け付けた前記フィードバックに対応するフィードバック情報を除いた他のフィードバック情報のそれぞれに対応する前記制約条件を適用して仮説の再生成を行う、ことを特徴とする請求項３に記載の情報処理装置。
5. 前記受付手段は、前記仮説の全体としての良否についてのフィードバックを受け付け、当該仮説と当該フィードバックの内容を示す情報とを対応付けて記録する、ことを特徴とする請求項１から４の何れか１項に記載の情報処理装置。
6. 少なくとも１つのプロセッサが、仮説推論によりそれぞれ異なる複数の仮説を生成すること、
   前記プロセッサが、生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させること、
   前記プロセッサが、表示された前記要素に対するユーザからのフィードバックを受け付けること、および
   前記プロセッサが、前記フィードバックに応じた制約条件を適用して仮説の再生成を行うこと、を含み、
   前記プロセッサが、前記仮説を構成する複数の前記要素とそれらの組み合わせをノードとエッジで表した仮説グラフを前記表示装置に表示させ、前記仮説グラフにおける前記ノードおよび前記エッジの少なくとも何れかに対するフィードバックを受け付ける、仮説生成方法。
7. コンピュータを情報処理装置として機能させるためのプログラムであって、前記コンピュータを、
   仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段、
   生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段、および
   表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段、として機能させ、
   前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行い、
   前記仮説表示手段は、前記仮説を構成する複数の前記要素とそれらの組み合わせをノードとエッジで表した仮説グラフを前記表示装置に表示させ、
   前記受付手段は、前記仮説グラフにおける前記ノードおよび前記エッジの少なくとも何れかに対するフィードバックを受け付ける、プログラム。
8. コンピュータを情報処理装置として機能させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体であって、前記プログラムは、前記コンピュータを、
   仮説推論によりそれぞれ異なる複数の仮説を生成する仮説生成手段、
   生成された前記複数の仮説のそれぞれについて、当該仮説を構成する複数の要素を表示装置に表示させる仮説表示手段、および
   表示された前記要素に対するユーザからのフィードバックを受け付ける受付手段、として機能させ、
   前記仮説生成手段は、前記フィードバックに応じた制約条件を適用して仮説の再生成を行い、
   前記仮説表示手段は、前記仮説を構成する複数の前記要素とそれらの組み合わせをノードとエッジで表した仮説グラフを前記表示装置に表示させ、
   前記受付手段は、前記仮説グラフにおける前記ノードおよび前記エッジの少なくとも何れかに対するフィードバックを受け付ける、記録媒体。

Images