ページ

英語見出し

日本語訳

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