生物分類樹データベースにおける履歴推論

概要

論文の詳細を見る
近年、生物学の急速な発展に伴って、生物分類樹データベースの構築が急がれている。生物分類樹データベースは、生物種に関する系統学的な教育だけでなく、DNAのような分子レベルのデータと比較研究などを行う上でも大変重要である。しかし、現在の生物分類樹データベースは、DNA国際データバンクなどの二次的な業務として構築されており、構造が複雑なわりには十分な管理が行われていない。本稿では、無矛盾な生物分類樹データベースを構築するために有用な履歴推論について提案する。ここで扱う生物分類樹データベースは複雑で大規模な木構造データであり、二項関係モデルを用いて表現されている。再帰質問検索を用いて木構造データの局所的および大局的な探索が行われる。ここでは、構築および修正さた木構造データが時間論理を用いて管理される。履歴推論は、再帰質問検索に時間論理を組み込むことにより達成されている。履歴推論で用いられる時間論理では、状態の持続性や時制の一致などの概念が重要な役割を演ずる。
一般社団法人情報処理学会の論文
1995-01-26