Index of Natural Language Understanding (2nd Ed.)
Natural Language Understanding (James Allen, ISBN 0-8053-0334-0) の索引に含まれる英単語とその日本語訳です。掲載ページ順に並んでいます。このページの末尾でテキストファイルをダウンロードすることもできます。
ページ 英語見出し 日本語訳 1 computational linguistics 計算言語学 1 human-machine communication マンマシンコミュニケーション 4 natural language understanding 自然言語理解 4 information retrieval 情報検索 4 translation 翻訳 4 understanding natural language 自然言語の理解 4 summarization 要約 5 dialogue-based applications 対話ベースのアプリケーション 5,611 speech recognition 音声認識 5 quention-answering systems 質問応答システム 6 glass box evaluation グラスボックス評価 6 evaluation of natural language systems 自然言語システムの評価 6 ELIZA ELIZA システム 6 black box evaluation ブラックボックス評価 10 discourse 談話 10 pragmatics 語用論 10 world knowledge 世界知識 10 phonology 音韻論 10,23 morphology 形態論 10 semantics 意味論 10 syntax 構文論 (統語論) 12 syntactic structure 構文構造 (統語構造) 14,228 logical form 論理形式 15,391 knowledge representation 知識表現 15 architecture of natural language systems 自然言語システムのアーキテクチャ 17 bidirectional grammar 双方向文法 18,419 LUNAR LUNAR システム 23 root 原形 23,27 adjectives 形容詞 23 noun 名詞 23 derivational form 派生形 23 inflectional form 屈折形 23 suffix 接尾辞 24 open class word オープンクラスワード 24 closed class word クローズドクラスワード 24 head ヘッド 25 complement 補語 26 demonstrative 指示詞 26 wh-determiner wh-限定詞 26 determiner 限定詞 26 count nount 可算名詞(countable noun) 26 article 冠詞 26 specifier スペシファイア(a,the) 26 name 名前 26 ordinal 序数 26 cardinal 基数 26 quantifying determiner 数量限定詞 26 proper noun 固有名詞 26 possessive noun phrase 所有を表す名詞句 26 qualifier 数量詞 27 case 格 27 pronoun, agreement (数・格・人称・性の)一致、呼応 27 person 人称 27 noun-noun modification 名詞による名詞の修飾 27 gender 性 28 mood 文の叙法 29 tense 時制 29 auxiliary verb 助動詞 29 modal verb 法助動詞 29,519 progressive 進行形 30 transitive verb 他動詞 30 intransitive verb 自動詞 30,126 passive 受動態 31,45 particle 小詞 31,328 indirect object 間接目的語 31 direct object 直接目的語 34,143 reduced relative clause 短縮した関係節 34 gerundive 動名詞 34 relative pronoun 関係代名詞 34,141 relative clause 関係節 35 adverb 副詞 35 adjective phrase 形容詞節 41 grammar 文法 41 node, in a tree ノード 41 link, in a tree リンク 41 parsing パージング 41 tree 木 42 terminal symbols 終端記号 42 domination, between nodes 支配 42 ancestor, of a node 祖先 42 CFG 文脈自由文法 42 parent node 親ノード 42 context-free grammar 文脈自由文法 42 leaves, of a tree 葉 42 mother, of a rule 母 42 child node 子ノード 43 lexical symbols, in a grammar 語彙記号 43 parsing -- bottom-up 上昇型パージング 43 nonterminal sysmbols 非終端記号 43,47 parsing -- top-down 下降型パージング 44 constituent 構成素 44 grammar -- evaluating 文法 46 grammar -- context-sensitive 文脈依存文法 46 Chomskey Hierarchy チョムスキーの階層 46 regular grammar 正規文法 46 context-sensitive grammar 文脈依存文法 46 generative capacity, of grammars 生成能力 46 grammar -- type 0 0型文法 46 grammar -- regular 正規文法 46 type 0 grammar 0型文法 47 lexicon 語彙 47 symbol list, in a top-down parser 記号リスト 47 lexical rules, for morphological analysis -- in a grammar 語彙規則 48 possibilities list 可能性リスト 48 current state, in a top-down parser 現在の状態 48 top-down parser, algorithm トップダウンパーザ 48 backup states, in a top-down parser バックアップ状態 48 backtracking バックトラック 51 LIFO 後入れ先出し(Last In First out) 51 search strategy, breadth-first -- depth-first 探索戦略 51 last-in first-out 後入れ先出し 51,602 breadth-first search 幅優先探索 51 search strategy, breadth-first 探索戦略 51,602 depth-first search 深さ優先戦略 51 first-in first-out 先入れ先出し 51 FIFO 先入れ先出し(First In First Out) 53 parsing -- bottom-up chart パージング 53,56 chart parsing, active arcs -- bottom-up チャートパージング 54 chart チャート 54 chart parsing, active arcs チャートパージング 54 chart parsing, active arcs -- dotted rules チャートパージング 54 active arcs 活性弧 54 dotted rules, in a chart parser ドット付加規則 54 key, in a chart parser キー 55 agenda, in chart parsing アジェンダ 55 arc extension algorithm 弧拡張アルゴリズム 55 chart parsing, active arcs -- agenda チャートパージング 60 chart parsing, active arcs -- efficiency considerations チャートパージング 61 nodes, in transition network grammars ノード 61 FSM, see finite state machine 有限状態機械 61 finite state machine 有限状態機械 61 RTN, see recursive transition network 再帰遷移ネットワーク 61 labeled arcs, in transition network grammars ラベルつけされた弧 61 transition networks 遷移ネットワーク 61 recursive transition network 再帰遷移ネットワーク 61 pop arcs, in an ATN ポップアーク 62 push arcs, in an RTN プッシュアーク 62 recursive transition network -- parsing algorithm 再帰遷移ネットワーク 62 jump arcs, in an ATN ジャンプアーク 65 parsing -- top-down chart パージング 65 well-formed substring table サブストリングテーブル 65 WFST, see well-formed substring table サブストリングテーブル 65 chart parsing, active arcs -- top-down チャートパージング 70 generative capacity, of grammars -- of transition networks 70 transition networks -- generative capacity 遷移ネットワーク 71,90 morphological analysis 形態素解析 71 FST, see finite stete transducer 有限状態変換器 71 finite state transducer 有限状態変換器 72,595,603 PROLOG プロローグ 72,603 logic programming 論理プログラミング 75 KIMMO KIMMO 75 Earley algorithm アーリーアルゴリズム 83 value, of a feature 値 (素性の) 83 number agreement 数の一致 83 grammar -- augmented 文法 -- (補強された) 83 augmented grammars 補強文法 83 features 素性 84 feature structure 素性構造 85 constrained valiables 制約変数 86 feature structure -- formalizing 素性構造 -- の形式化 87 inf, value of VFORM feature inf, to 不定詞を表す VFORM 素性の値 87 ing, value of VFORM feature ing, 現在分詞を表す VFORM 素性の値 87 VFORM feature VFORM 素性 (動詞形の素性) 87 AGR feature AGR 素性 (数と人称の一致に関する素性) 87 features -- number 素性 -- 数の 87 features -- person 素性 -- 人称の 87 pres, value of VFORM feature pres, 単純現在時制を表す VFORM の素性値 87 features -- VFORM 素性 -- 動詞形の 87 number feature 数の素性 87 past, value of VFORM feature past, 単純過去時制を表す VFORM の素性値 87 pastprt, value of VFORM feature pastprt, 過去分詞を表す VFORM の素性値 87 person feature 人称の素性 87 features -- AGR 素性 -- 一致 (数と人称) に関する 87 fin, value of VFORM feature fin, 定形 (現在形および過去形) を表す VFORM の素性値 87 base, value of VFORM feature base, 原形を表す VFORM の素性値 88 PFORM feature PFORM 素性 (前置詞句に関する素性) 88 features -- PFORM 素性 -- 前置詞句に関する 88 features -- SUBCAT 素性 -- 下位範疇化の 88 SUBCAT feature SUBCAT 素性 (下位範疇化の素性) 90 features -- binary 素性 -- 二値の 90 binary features 二値素性 90 INV feature INV 素性 (倒置に関する素性) 90 features -- default values 素性 -- のデフォルト値 90 default value, of features デフォルト値 (素性の) 90 features -- INV 素性 -- 倒置に関する 91 features -- EN-PASTPRT EN-PASTPRT素性(-enがつく過去分詞のとき+をとる素性) 91 lexical rules, for morphological analysis (形態素解析の)語彙規則(規則動詞の活用形の素性を獲得するための規則) 91 IRREG-PRES feature IRREG-PRES素性(現在形が不規則変化をするとき+をとる素性) 91 features -- IRREG-PRES IRREG-PRES素性(現在形が不規則変化をするとき+をとる素性) 91 features -- IRREG-PAST IRREG-PAST素性(過去形が不規則変化をするとき+をとる素性) 91 EN-PASTPRT feature EN-PASTPRT素性(-enがつく過去分詞のとき+をとる素性) 91 IRREG-PAST feature IRREG-PAST素性(過去形が不規則変化をするとき+をとる素性) 94 head features headの素性(親のある素性の値はheadの素性と同じになる) 94 features -- head headの素性(親のある素性の値はheadの素性と同じになる) 95 systemic grammar システミック文法 96 abbreviation conventions, for CFGs CFGの略記法 99 arc extension algorithm -- with features アーク拡張アルゴリズム -- 素性つきの 101 action, in augmented transition networks アクション (拡張遷移ネットワークにおける) 101 features -- in augmented transition networks 素性 (拡張遷移ネットワークにおける) 101 tests, in augmented transition networks 101,419 ATN 補強遷移ネットワーク 101 augmented transition network 補強遷移ネットワーク 101 registers, in ATNs レジスタ (ATN における) 101 *,in augmented transition networks * (ATN で入力単語からなる構成素を格納する特別な変数) 123 auxiliary verb -- grammar for 助動詞 124 modal auxiliaries 叙法助動詞 128 yes/no questions yes/no 疑問文 128 subject-aux inversion 主語-助動詞倒置 128 unbounded movement 非有界移動 128 wh-questions wh 疑問文 128 movement, local versus unbounded 移動 129 gaps and fillers ギャップとフィラー 130 slash categories slash カテゴリ 130 hold list hold リスト 131 deep structure 深層構造 131 transformational grammar 変形文法 131 surface structure 表層構造 131 transformations 変形 131 gevernment-binding (GB) theory 統率と束縛の理論 132 adverb -- preposing 副詞 132,155 topicalization 主題化(強調のための文の先頭への移動) 132 extraposition 外置(名詞句補語の文の末尾への移動) 132 wh-movement wh疑問文における移動 133 GAP feature GAP素性 133 features -- GAP 素性 134 gap features, adding to a grammar 134 features -- WH 134 WH feature WH素性 138 island constraints 島に関する制約 138 Sentential Subject Constraint 文の主語に関する制約 138 Coordinate Structure Constraint 等位構造に関する制約 138 Wh-Island Constraint wh-島に関する制約 138 A over A Constraint 構成要素Aを越えたAに関する制約 138 Complex-NP Constraint 複雑なNPに関する制約 142 generalized phrase structure grammar -- feature propagation 一般句構造文法 142 meta-rules, in GPSG メタルール 142 feature propagation in GPSG GPSGの素性伝播 144 hold list -- in ATNS ATNのhold リスト 144 hold action, in ATNS ATNのhold action 148 gap threading, in logic grammars gap threading 150 extraposition grammar 外置文法 153 adjoining, in TAG (木に木を)付け加えること 153 tree-adjoining grammar 接ぎ木文法 153 TAG, see tree-adjioning grammar 接ぎ木文法 154 head-driven phrase structure grammar ヘッド駆動句構造文法 159 human parsing preferences 人間の解析での優先性 160 minimal attachment principle 最小付加原理 160 garden-path sentences ガーデンパス文 161 right association 右連想 161 late closure . 162 lexical preferences 語彙的な優先性 163 shift-reduce parsing シフト-レデュース解析 165 reduce action, in shift-reduce parsing レデュース動作, シフト-レデュース解析での 166 oracle, in shift-reduce parsing oracle [という 表], シフト-レデュース解析での 166 shift action, in shift-reduce parsing シフト動作, シフト-レデュース解析での 170 deterministic parsing 決定的な解析 177 attachment ambiguity 付加の曖昧性 177 PP attachment -- ambiguity of PP付加 -- の曖昧性 178 charts, packed チャート, 圧縮された 178 packed charts 圧縮されたチャート 180 immediate domination, in D-theory 直接支配, D-理論での 180 canonical interpretation, in parsing 標準的な解釈, 解析での 180 parsing -- partial 解析 -- 部分的な 180 partial parsing 部分的な解析 180 D-theory D-理論 181,336 verb group 動詞のグループ(助動詞,副詞,動詞) 181 proper noun phrases 固有名詞句 181,336 noun group 名詞のグループ 183 LR(1) parsing LR(1) 解析 189 corpora コーパス(言語資料) 189 random variable 確率変数 189 probability 確率 190 Bayes' rule ベイズ規則 P(A|B) = P(B|A)P(A)/P(B) 190 conditional probability 条件つき確率 191 independent events 独立事象 192 probability estimates 確率の推定 193 margin of error 誤差 193 maximum likelihood estimator 最尤推定(MLE) 194 sparse data problem データスパースネス(データのまばらさ)の問題 195 test set 評価セット 195 expected likelihood estimator 期待尤度推定(ELE) 195 cross-validation クロスバリデーション 195 ELE, see expected likelihood estimator 期待尤度推定 195 training set 訓練セット 195 part-of-speech tagging 品詞のタグつけ 197 n-gram n-グラム 197 bigram 2-グラム 197 trigram 3-グラム 198 lexical-generation probabilities 語彙生成確率(for HMM) 200 HMM, see Hidden Malcov Model 隠れマルコフモデル 200 output probability 出力確率(for HMM) 200,612 Hidden Malcov Model 隠れマルコフモデル 201,622 Viterbi algorithm ヴィテルビアルゴリズム(for HMM) 205 smoothing probability estimates スムージング確率推定 207 forward probability 前向き確率(for HMM) 208 backward probability 後向き確率(for HMM) 209 probabilistic parsing, context dependent -- context-free 確率的構文解析 209 probabilistic context-free grammars 確率文脈自由文法 210 inside probability 内側確率 213 best-first parsing 最良優先構文解析 213 priority queue 優先列 215 unknown words 未知語 216 probabilistic parsing, context dependent 文脈依存確率的構文解析 216 context-dependent probablistic parsing 文脈依存確率的構文解析 218 attachment ambiguity -- and probablistic parsing 付加の曖昧性(と確率的構文解析) 218 PP attachment 前置詞句の付加 220 Linguistic Data Consortium (団体名)LDC 227 meaning 意味 228 contextual interpretation 文脈上の解釈 228,263 semantic interpretation 意味解釈 229 situation 状況 229 indexical 指標 231 word senses 単語の様々な意味 231 ontology 存在論 231 sense, of a word 単語における意味 231 semantic ambiguity 意味的曖昧さ 231 ambiguity -- semantic 曖昧さと意味論 231 ambiguity -- and vagueness 曖昧さと漠然性 232 vagueness 漠然性 234 propositions, in logic -- in the logical form 論理形における命題 234 constants, in logic -- in the logical form 論理形における定数 234 terms, in logic -- in the logical form 論理形における項 234 predicates, in the logical form 論理形における述語 235 logical operators, in the logical form 論理形における論理演算子 236,239 generalized quantifiers 一般化限量詞 237 failure of substitutivity in modal contexts 様相文脈における代用の失敗 237 predicate operators, in the logical form 論理形における述語演算子 237,352 collective reading 集合的な解釈 237 modal operators, in the logical form 論理形における様相演算子 237,353 distributive reading 分配的な解釈 238 ambiguity -- in the logical form 論理形における曖昧さ 238 quasi-logical form 準論理形 241 events, in the logical form 論理形における事象 241 scoping, in a database query application -- in the logical form 論理形におけるデータベース上の質問の適用の際の範囲づけ 241 states, in the logical form 論理形における状態 242,244 thematic roles 主題の役割 242 case grammar 格文法 242 meaning postulates 意味記述 244 AGENT role 行為者の役割 245 FROM-LOC role 過去の場所の役割 245 PATH-LOC role 通る場所の役割 245 THEME role 主題の役割 245 AT-LOC role 現在の場所の役割 245 TO-LOC role 未来の場所の役割 246 BENEFICIARY role 受益者の役割 246 EXPERIENCER role 経験者の役割 247 INSTR role 道具の役割 247 CO-AGENT role 共同行為者の役割 247 CO-THEME role 副次的主題の役割 248 thematic roles -- listing 主題の役割の一覧 250,567 surface speech act 表層的発話行為 250 WH-QUERY act WH-質問行為 250 ASSERT act 主張行為 250 COMMAND act 命令行為 250 Y/N-QUERY act Y/N-質問行為 251 semantics -- of the logical form language 論理形言語における意味論 251 logical form language, semantics for 論理形言語のための意味論 253 interpretation function 解釈関数 253 domain of interpretation 解釈の領域 253 model モデル 253 logical form language, semantics for -- summary of 論理形言語のための意味論の概要 253 truth, of a proposition 命題における真 254 contradiction 矛盾 254,393 entailment 継嗣限定 254 supports relation, in model theory モデル理論における支持関係 255 modal operators, in the logical form -- semantics for 意味論のための論理形における様相演算子 255 implication -- between sentences 文の間の含意 256 intensional meaning 内包的な意味 256 extensional meaning 外延的な意味 256 possible worlds semantics 可能世界の意味論 257,382 LUNAR system LUNARシステム 263 rule-by-rule interpretation ルールごとの解釈 263 semantic interpretation -- compositional 意味解釈-構成 263,327 semantic interpretation -- rule-by-rule 意味解釈-ルールごとの 263 compositionality, in semantic interpretation 意味解釈における構成性 263,286 semantic realization 意味認識 265,266 lambda calculus ラムダ・カリキュラス 266,287 lambda abstraction ラムダ抽象 267 lexicon -- for semantic interpretation 語彙 267 SEM feature SEM素性 271 prepositional phrases, semantic interpretation of 前置詞句 275 thematic roles -- and semantic interpretation 主題の役割 275 lexicalized semantic interpretation 語彙的意味解釈 277 Hierarchical Lexicons 階層的な語彙 278 inheritance, in lexicons 継承 280 questions, semantic interpretation of 質問 283 semantic interpretation -- using features 意味解釈 283 feature-based semantic interpretation 素性をもとにした意味解釈 285 SUBJ feature SUBJ素性 286 relative clause -- semantic interpretatoin of 関係節 286 generation of sentences 文の生成 288 head-driven realization algorithm head駆動型認識アルゴリズム 290 generalized phrase structure grammar 一般句構造文法 295 word sense hierarchies 単語の意味の階層 295 type hierarchies, and disambiguation 階層のタイプと曖昧性解消 295 selectional restrictions 選択制限 297 constraint satisfaction 制約充足 299 constraint satisfaction -- algorithm 制約充足 -- アルゴリズム 302 semantic filtering 意味の絞り込み 302 semantic preferences 意味の優先性 306 inheritance, in lexicons -- in semantic networks 語彙の階層構造 -- 意味ネットワーク上 306 existential node, in a semantic network 外延ノード、意味ネットワーク上 306 semantic network 意味ネットワーク 307 part-of hierarchy part-of階層構造 310 disambiguation, statistical 曖昧性解消、統計的 310 statistical word sense disambiguation 統計的単語の意味の曖昧性解消 310 collocations 共起 310 word sense disambiguation, statistical 単語の意味の曖昧性解消、統計的 314 semantic preferences -- statistical 意味の優先性 -- 統計的 314 mutual information 相互情報量 321 WordNet ワードネット 328 grammatical dependencies 文法的依存関係 328 grammatical relations 文法的関係 328 logical object 論理的目的語 328 logical subject 論理的主語 332 semantic grammar 意味文法 334 template matching テンプレート照合 336 partial parsing -- and template matching 部分的構文解析 -- とテンプレート照合 340 message understanding メッセージ理解 340 MUC MUC 341 parsing -- semantically driven 構文解析 -- 意味的に駆動された 341 semantically driven parsing 意味的に駆動された構文解析 345 RUS system RUSシステム 345,401 conceptual dependency 概念的依存関係 345 KERNEL system KERNELシステム 345 cascaded ATN 縦につなげられたATN 346 FASTUS system FASTUSシステム 346 LIFER system LIFERシステム 346 SOPHIE system SOPHIEシステム 346 FRUMP system FRUMPシステム 351 scope ambiguity スコープの曖昧性 352 existential quantifiers 存在限量子 352 universal qualtifiers 全称限量子 352 definite reference 定参照 352 quantifiers, classification of 限定詞の分類 352 indefinite quantifiers 不定限量子 354 dominating constituent 支配している構成素 354 vertically related quantifiers 垂直関係限定詞 354 horizontally related quantifiers 水平関係限定詞 359 defeasible descriptions -- and scoping 360 scope determination while parsing 解析でのスコープの決定 363 scoping, in a database query application (データベースの質問文における)スコープ 363 database query データベースの質問文 366 antecedent, of a pronoun 先行詞(代名詞の) 366 anaphor 照応 366 intrasentential anaphora 文内照応 366 co-reference (共)照応 366 discourse anaphora 談話照応 366 intersentential anaphora 文間照応 367 C-command Cコマンド 367 reflexive pronoun 再帰代名詞 368 bound variable interpretation 束縛変数解釈 372 predicate modifiers 述語修飾句 372 intersective adjective 372 adjectives -- semantic interpretation of 形容詞 -- 意味解釈上の 372 semantic interpretation -- of adjectives 意味解釈 -- 形容詞の 372 subsective adjective 374 comparative adjective 比較級の形容詞 375 nominalizations 名詞化 376 numerical quantifiers 数量限量子 378 generic interpretations 総称的解釈 379 kinds 種類 379 intensional operators 内包演算子 380 referentially transparent 380 referentially opaque 381 noun-noun modifiers 名詞同士の修飾 382 Government and Binding 統率・束縛理論 385 relational nouns 関係名詞 391 KR, see knowledge representation 知識表現 392 knowledge representation language 知識表現言語 392 inference, abductive -- in knowledge representations 推論, アブダクティブ -- 知識表現における 392 KRL, see knoledge representation language 知識表現言語 392,586 soundness, of inference 392 individuals, in KRs 個体, 知識表現における 392 KB, see knowledge base 知識ベース 392 knowledge base 知識ベース 392 types, in knowledge representations 型, 知識表現における 393 implication 含意 393 inference, abductive 推論, アブダクティブ 393 inductive inference 帰納推論 393 abductive inference アブダクティブ推論 393 inference, abductive -- nondeductive 推論, アブダクティブ -- 非演繹 393 logical form -- and knowledge representation 論理形式 -- 知識表現と 393 deductive inference 演繹推論 393 knowledge representation -- and logical form 知識表現 -- 論理形と 394 default rule デフォールト規則 394 inference, abductive -- defeasible 推論, アブダクティブ -- 解除可能 394 nonmonotonic inference 非単調推論 394 monotonic inference 単調推論 394 closed world assumption 閉世界仮説 395 inference, abductive -- procedural 推論, アブダクティブ -- 手続き的 395 inference, abductive -- declarative 推論, アブダクティブ -- 宣言的 395 nonmonotonic logic, semantics of 非単調論理, 意味論の 395 declarative vs. procedural inference 宣言的 対 手続き的 推論 395 circumscription サーカムスクリプション 395 semantics -- of non-monotonic logic 意味論 -- 非単調論理の 395 predicate completion 述語完了 397 first-order predicate calculus -- as a representation language 1階述語論理 -- 知識表現言語としての 398 skolemization スコーレム化 398 Skolem functions スコーレム関数 398 primitives, in knowkedge representation プリミティブ, 知識表現における 400 roles, in frame-based representations ロール, フレームベースの表現における 400 frames フレーム 400 slots, in frame-based representations スロット, フレームベースの表現における 403 preconditions, of actions 前提条件, 行為の 403 effects, of actions 結果, 行為の 403,474 decomposition, of actions 404 quantification, handling in a KR クオンティフィケーション、知識表現での処理 405 distributive reading -- of noun phrases 分配的な読み方 -- 名詞句の 405 collective reading -- of noun phrases 集合的な読み方 -- 名詞句の 406 meets relation, in temporal logical 出会う、 時間論における 406 time and aspect 時間とアスペクト 406 time intervals インターバル 406 temporal logic 時間論理 406 temporal duration 持続時間 406 time point ポイント 407 telic propositions テリック命題 407 activity propositions アクティビティ命題 407 culmination point 極値 407 stative propositions ステイティブ命題 408 achievement propositions アチーブメント命題 408 homogeneous propositions 同種の命題 408 accomplishment propositions アコンプリッシュメント命題 409 tense -- representation of 時制 -- 表現の 410 automated deduction 自動演繹 410 reference time 参照時間 411 unification, in automated deduction 単一化、 自動演繹における 411 conjunctive normal form 連言標準形 411 normal form, for FOPC 標準形、1階述語論理の 412 clause, in logic 節、 論理における 412 literals, in logic リテラル、 論理における 412,603 Horn clause ホーン節 413 resolution rule 導出規則 413 refutation proof 背理法 414 negation as failure 失敗としての否定 414 procedural semantics, and question answering 手続き的意味論、 質問応答と 414 proof by failure 失敗による証明 414 question answering 質問応答 419 hybrid knowledge representations ハイブリッド知識表現 419 database query -- systems 質問データベース -- システム 421 procedural attachment 手続き付加 423 TEAM チーム 423 PLANNER 423 term subsumption languages 423 CHAT-80 429 local discourse context 局所的談話文脈 430 co-referring expressions 相互参照表現 430 evoked objects, in a sentence 文中の呼び出されるオブジェクト 430 discourse entity list 談話実体リスト 430,449 ellipsis 省略 431 Skolem constants, as discourse entities 談話実体としてのスコーレム定数 431 collective interpretation of noun phrases 名詞句の集合的解釈 431 plural NPs, and discourse entities 複数名詞句と談話実体 431 distributive interpretation of NPs 名詞句の分配的解釈 431 indefinite noun phrases, and discourse entities 不定名詞句と談話実体 432 discourse entities, and universal quantifiers 談話実体と全称限量子 433 history list ヒストリーリスト 434 recency constraint for anaphora 照応の最近的制約 435 pronouns and centers 代名詞と談話中心 436 discourse focus 談話焦点 436 backward-looking center 後向き談話中心 436 preferred next center 尤もらしい次の談話中心 436 forward-looking center 前向き談話中心 436 center 談話中心 436 potential next centers 可能な次の談話中心 440 definite descriptions 限定表現 441 referring expressions, and generation 指示表現と生成 443 accommodation 添付物 443 indirect reference 間接指示 443 existential readings of definite descriptions 限定表現の存在的解釈 445 definite reference -- to sets 限定照応 -- 集合 447 definite descriptions -- and generation 限定表現 -- および生成 455 surface anaphora 表層的照応 456 deep anaphora 深層的照応 465 coherence, and discourse 首尾一貫性,談話と 466 expectation 予想 466 expectation matching 予想マッチ 468 expectation matching -- with equality assumptions 予測 -- 同等の仮定と 470 アブダクション abduction 470 expectation matching -- and abduction 予想マッチとアブダクション 471 reference, and discourse structure -- and expectation matching 照合,談話の構造 -- 予想マッチと 473 expectations, from causal reasoning 予想, 原因推論から 473,475 causality 474 precondition causality 前提条件の因果関係 474 enablement, of actions 可能な動作 474 generation relationship, between actions 生成の関係,動作間の 474 effect causality 結果の因果関係 475 counterfactual 反事実的の 477 scripts スクリプト 477 now point, in scripts 現在の視点,スクリプトの 478 role instantiation, in scripts 役割の実例 480,485 plan inference 480,552 goal 480,522 plan recognition 480 plan プラン 481 hierarchical plans 階層的なプラン 481 action library, for plan recognition 行動ライブラリー,プランの認識の 482 decomposition chaining 分解連鎖 485 realized nodes, in plan inference 理解された節点,プラン推論の 485 expectaton nodes, in plan inference 予想している節点,プラン推論の 490 rational behavior, and plan inference 理性のある行動,プラン推論と 491 plan inference -- formalizing プラン推論 -- 形式化 492 iplan 作為的なプラン 492 rational updates 理性のある更新 503 discourse segments 談話セグメント 504,518 cue phrases キューフレーズ (手がかり句) 505 discourse segments -- different views of 談話セグメント -- の異なる観点 505 information vs. intentional modes of discourse 談話の、情報と意図的な様式 506 local discourse state 局所的談話状態 507 discourse stack 談話スタック 507 attentional stack 注目スタック 510 discourse structure, and inference -- and reference 談話構造, および推論 -- および参照 (指示) 510 reference, and discourse structure 参照 (指示), および談話構造 512 inference, abductive -- and discourse structure 推論, ? -- および談話構造 512 discourse structure, and inference 談話構造, および推論 514 discourse purpose 談話目的 (談話の目的) 515 domination relation, between segments 支配関係, セグメント間の 517 orients relation オリエント関係 (?適応関係) (?修正関係) 517 narrative convention ?物語文における暗黙的な慣例 517 tense -- and discourse structure 時制 -- および談話構造 517 discourse structure, and inference -- and tense and aspect 談話構造, および推論 -- および時制と相 518,535 Rhetorical Structure Theory 修辞構造理論 (RST) 518 coherence relations 一貫性の関係 521 temporal focus, in discourse 時間的焦点, 談話における 521 tense trees 時制の木 526 digression, in discourse 余談, 談話における 526 expansion, in discourse 拡張, 談話の 526 temporal shift, in discourse 時間的な移行, 談話における 529 cue phrases -- and discourse structure キューフレーズ (手がかり句) 532 semantic return 意味的復帰 533 global focus 大域的な焦点 533 focus spaces 焦点空間 534 clue words 手がかり語 534 context spaces 文脈空間 541 conversational agent 会話エージェント 542 BDI models BDI モデル 542,551 desire 欲求 542 commitment 決定 542 want 欲求 542 acting 行為 542 belief 信念 542 planning プランニング 542,554 speech acts 発話行為 544 perlocutionary act 発話媒介行為 544 locutionary act 発話行為 (発語行為) 544 illocutionary act 発話内行為 544 explicit performatives 明示的遂行文 545 belief -- representing in a knowledge base 信念 -- 知識ベースにおいて表現する 546 explicit beliefs 明示的信念 546 belief -- explicit vs. implicit 信念 -- 明示的 vs. 暗示的 546 implicit beliefs 暗示的信念 (暗黙的信念) 547 belief -- sentential models of 信念 -- の意味的モデル 547 quotation operator 引用オペレータ 548 shared knowledge 共有知識 548 mutual belief, see shared knowledge 相互信念 549 KnowRef KnowRef オペレータ 550 knowing how 方法を知っていること 550 KnowIf KnowIf オペレータ 551 plans プラン 551 future-directed intention 551 intention in action 行為内意図 552 rationality, properties of 合理性, の特徴 555 communicative acts 伝達行為 555 action generation 行為生成 557 speech acts -- taxonomy of 発話行為 -- の分類 558 knowledge preconditions 知識の前提条件 561 intensional operators -- recognition of 意図的オペレータ -- の認識 565 sincerity condition 正直さの条件 565 attentiveness constraint 親切さの制約 566 conversational maxims 会話の公理 567 illocutionary act -- recognition of 発話内行為 -- の認識 567 intended speech act 意図される発話行為 567 literal meaning hypothesis 文字通りの意味の仮説 570 discourse-level planning 談話レベルのプランニング 579 FOPC, see first-order predicate calculus 一階述語計算 579 constants, in logic 定数, 論理学における 579 propositions, in logic 命題, 論理学における 579 terms, in logic 項, 論理学における 579 functions, in logic 関数, 論理学における 579 first-order predicate calculus 一階述語計算 580 logical variable 論理変数 580 universal qualtifiers -- in logic 全称限量子 -- 論理学における 580 existential quantifiers -- in logic 存在限量子 -- 論理学における 581 inference rule, in logic 推論規則, 論理学における 582 contradiction -- in logic 矛盾 -- 論理学における 582 proof, in logic 証明, 論理学における 583 tautology, in logic 恒真式, 論理学における 583 theorem, in logic 定理, 論理学における 584 propositional calculus 命題の計算 584 model theory モデル理論 585 valuation fuction, in model-theoretic semantics 評価関数, モデル理論的意味論における 587 consistency, of formulas 整合性, 式の 587 entailment -- in logic 内含, 論理学における 587 provability, in logic 証明可能性, 論理学における 587 inconsistency, in logic 不整合, 論理学における 588 completeness, in logic 完全性, 論理学における 588 model theory -- for logic モデル理論 -- 論理学のための 590 quantifiers, classification of -- in logic 限量子, の分類 -- 論理学における 595 atoms, in LISP アトム,LISP における 595 LISP LISP (関数型のプログラミング言語) 595 lists, in LISP リスト,LISP における 596 empty list 空リスト 597 stacks スタック 597 queues キュー 598 push operation, on stacks プッシュ操作 (スタック上の) 598 pop operaton, on stacks ポップ操作 (スタック上の) 599 most general unifier 最凡単一子 599,604 unification algorithm 単一化アルゴリズム 600 search algorithms 探索アルゴリズム 602 iterative deepening 603 best-first search 最良優先探索 604 backtracking search 後戻り探索 611 isolated word recognition 611 continuous speech recognition 連続音声認識 612 repairs, in spoken language 613 allophones 613 phonemes 音素 614 voiced phonemes 614 spectral analysis スペクトル分析 614 plosives 614 nasal phonemes 614 stops 614 formants 614 Fast Fourier Transform 高速フーリエ変換 (FFT) 615 pitch, in speech ピッチ () 616 sampling rate, in signal processing サンプリングレート (信号処理における) 616 analog-to-digial conversion アナログ-ディジタル変換 (AD変換) 616 signal processing 信号処理 616 quantization factor, in signal processing 618 linear predictive coding 619 Hidden Malcov Model -- for speech 隠れマルコフモデル () 619 codebook, for speech 620 co-articulation effects 620 triphones 620 phonemes -- in context 621 Hidden Malcov Model -- training 622 SPHINX system 624 n-best output 624 ATIS 625 intonation 625 intonation contour 625 prosody 625 speech rate 625 stress, in speech