#14166The system is implemented entirely inProlog, a programming language based on logic.
tech,9-1-J82-3002,ak
an overall account of a prototype
<term>
natural language question answering system
</term>
, called
<term>
Chat-80
</term>
.
<term>
#14134This paper gives an overall account of a prototypenatural language question answering system, called Chat-80.
tech,13-5-J82-3002,ak
planning algorithm
</term>
into efficient
<term>
Prolog
</term>
, cf.
<term>
query optimisation
</term>
#14211The resulting logical expression is then transformed by a planning algorithm into efficientProlog, cf. query optimisation in a relational database.
other,9-4-J82-3002,ak
logic-based grammar formalism
</term>
called
<term>
extraposition grammars
</term>
,
<term>
Chat-80
</term>
translates English
#14184With the aid of a logic-based grammar formalism calledextraposition grammars, Chat-80 translates English questions into the Prolog subset of logic.
tool,16-1-J82-3002,ak
question answering system
</term>
, called
<term>
Chat-80
</term>
.
<term>
Chat-80
</term>
has been designed
#14141This paper gives an overall account of a prototype natural language question answering system, calledChat-80.
tech,20-5-J82-3002,ak
<term>
query optimisation
</term>
in a
<term>
relational database
</term>
. Finally , the
<term>
Prolog form
</term>
#14218The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in arelational database.
other,18-4-J82-3002,ak
translates English questions into the
<term>
Prolog subset of logic
</term>
. The resulting
<term>
logical expression
#14193With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into theProlog subset of logic.
other,13-3-J82-3002,ak
programming language
</term>
based on
<term>
logic
</term>
. With the aid of a
<term>
logic-based
#14173The system is implemented entirely in Prolog, a programming language based onlogic.
tech,9-3-J82-3002,ak
entirely in
<term>
Prolog
</term>
, a
<term>
programming language
</term>
based on
<term>
logic
</term>
. With
#14169The system is implemented entirely in Prolog, aprogramming language based on logic.
other,5-4-J82-3002,ak
<term>
logic
</term>
. With the aid of a
<term>
logic-based grammar formalism
</term>
called
<term>
extraposition grammars
#14180With the aid of alogic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic.
tool,0-2-J82-3002,ak
</term>
, called
<term>
Chat-80
</term>
.
<term>
Chat-80
</term>
has been designed to be both efficient
#14143This 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,16-5-J82-3002,ak
efficient
<term>
Prolog
</term>
, cf.
<term>
query optimisation
</term>
in a
<term>
relational database
</term>
#14214The 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,ak
expression
</term>
is then transformed by a
<term>
planning algorithm
</term>
into efficient
<term>
Prolog
</term>
#14207The resulting logical expression is then transformed by aplanning algorithm into efficient Prolog, cf. query optimisation in a relational database.
other,3-6-J82-3002,ak
relational database
</term>
. Finally , the
<term>
Prolog form
</term>
is executed to yield the answer .
#14224Finally, theProlog form is executed to yield the answer.
tech,1-3-J82-3002,ak
to a variety of applications . The
<term>
system
</term>
is implemented entirely in
<term>
Prolog
#14161Thesystem is implemented entirely in Prolog, a programming language based on logic.
model,2-5-J82-3002,ak
subset of logic
</term>
. The resulting
<term>
logical expression
</term>
is then transformed by a
<term>
planning
#14200The resultinglogical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database.
tool,12-4-J82-3002,ak
<term>
extraposition grammars
</term>
,
<term>
Chat-80
</term>
translates English questions into
#14187With the aid of a logic-based grammar formalism called extraposition grammars,Chat-80 translates English questions into the Prolog subset of logic.