@techreport{oai:ipsj.ixsq.nii.ac.jp:00049342,
 author = {伝, 康晴 and Yasuharu, Den},
 issue = {79(1993-NL-097)},
 month = {Sep},
 note = {統合的自然言語処理は，不完全な部分情報を多様に組み合わせて問題を解決する必要のある音声対話の理解/翻訳/生成などの目的のためには不可欠である．なかでも，アブダクション計算に基づくモデルは実際的な問題に対して有力である．本研究では，統合的自然言語処理機構に砕けるアブダクション計算を効率的に行なう手法について述べる．本稿では，先に提案した一般化されたチャート法に基づく演繹計算機構に仮説を扱うための機能を導入することによって，アブダクション計算の手法に拡張する．拡張されたアルゴリズムの詳細とともに統合的自然言語処理への応用を目して簡単な例題を示す．この手法は会話文解釈をアブダクションに基づいて行なうモデルへの応用を目標としている．, In the research are as such as interpretation/translation/generation of spoken dialogues, an integrated architecture for natural language processing is strongly required, since no single sort of (partial) information is decisive to derive appropriate results, and thus there should be diverse interactions among several sorts of information. Abduction is one of the powerful approaches to realize practical integrated NLP systems. In this paper, we propose an efficient computation mechanism for abduction based integrated NLP systems. Our algorithm proposed so far called a generalized chart based prover, is modified to treat assumptions, and is extended to an abductive prover. We show details of the new algorism along with simple examples aiming at its application to integrated NLP systems.},
 title = {一般化されたチャート法によるアブダクション計算},
 year = {1993}
}