tech,9-1-J82-3002,bq |
an overall account of a prototype
<term>
|
natural
language question answering system
|
</term>
, called
<term>
Chat-80
</term>
.
<term>
|
#12845
This paper gives an overall account of a prototype natural language question answering system, called Chat-80. |
tool,16-1-J82-3002,bq |
question answering system
</term>
, called
<term>
|
Chat-80
|
</term>
.
<term>
Chat-80
</term>
has been designed
|
#12852
This paper gives an overall account of a prototype natural language question answering system, called Chat-80 . |
tool,0-2-J82-3002,bq |
</term>
, called
<term>
Chat-80
</term>
.
<term>
|
Chat-80
|
</term>
has been designed to be both efficient
|
#12854
This paper gives an overall account of a prototype natural language question answering system, called Chat-80. Chat-80 has been designed to be both efficient and easily adaptable to a variety of applications. |
tech,6-3-J82-3002,bq |
system is implemented entirely in
<term>
|
Prolog
|
</term>
, a
<term>
programming language
</term>
|
#12877
The system is implemented entirely in Prolog , a programming language based on logic. |
tech,9-3-J82-3002,bq |
entirely in
<term>
Prolog
</term>
, a
<term>
|
programming
language
|
</term>
based on
<term>
logic
</term>
. With
|
#12880
The system is implemented entirely in Prolog, a programming language based on logic. |
other,13-3-J82-3002,bq |
programming language
</term>
based on
<term>
|
logic
|
</term>
. With the aid of a
<term>
logic-based
|
#12884
The system is implemented entirely in Prolog, a programming language based on logic . |
other,5-4-J82-3002,bq |
<term>
logic
</term>
. With the aid of a
<term>
|
logic-based
grammar formalism
|
</term>
called
<term>
extraposition grammars
|
#12891
With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
other,9-4-J82-3002,bq |
logic-based grammar formalism
</term>
called
<term>
|
extraposition
grammars
|
</term>
,
<term>
Chat-80
</term>
translates
<term>
|
#12895
With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
tool,12-4-J82-3002,bq |
<term>
extraposition grammars
</term>
,
<term>
|
Chat-80
|
</term>
translates
<term>
English questions
|
#12898
With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
other,14-4-J82-3002,bq |
</term>
,
<term>
Chat-80
</term>
translates
<term>
|
English
questions
|
</term>
into the
<term>
Prolog
</term><term>
|
#12900
With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
tech,18-4-J82-3002,bq |
<term>
English questions
</term>
into the
<term>
|
Prolog
|
</term>
<term>
subset of logic
</term>
. The
|
#12904
With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
other,19-4-J82-3002,bq |
</term>
into the
<term>
Prolog
</term>
<term>
|
subset
of logic
|
</term>
. The resulting
<term>
logical expression
|
#12905
With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
other,2-5-J82-3002,bq |
subset of logic
</term>
. The resulting
<term>
|
logical
expression
|
</term>
is then transformed by a
<term>
planning
|
#12911
The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
tech,9-5-J82-3002,bq |
expression
</term>
is then transformed by a
<term>
|
planning
algorithm
|
</term>
into efficient
<term>
Prolog
</term>
|
#12918
The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
other,13-5-J82-3002,bq |
planning algorithm
</term>
into efficient
<term>
|
Prolog
|
</term>
, cf.
<term>
query optimisation
</term>
|
#12922
The resulting logical expression is then transformed by a planning algorithm into efficient Prolog , cf. query optimisation in a relational database. |
tech,16-5-J82-3002,bq |
efficient
<term>
Prolog
</term>
, cf.
<term>
|
query
optimisation
|
</term>
in a
<term>
relational database
</term>
|
#12925
The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
tech,20-5-J82-3002,bq |
<term>
query optimisation
</term>
in a
<term>
|
relational
database
|
</term>
. Finally , the
<term>
Prolog form
</term>
|
#12929
The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
other,3-6-J82-3002,bq |
relational database
</term>
. Finally , the
<term>
|
Prolog
form
|
</term>
is executed to yield the answer .
|
#12935
Finally, the Prolog form is executed to yield the answer. |