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>
tool,16-1-J82-3002,ak question answering system </term> , called <term> Chat-80 </term> . <term> Chat-80 </term> has been designed
tool,0-2-J82-3002,ak </term> , called <term> Chat-80 </term> . <term> Chat-80 </term> has been designed to be both efficient
tech,1-3-J82-3002,ak to a variety of applications . The <term> system </term> is implemented entirely in <term> Prolog
tech,6-3-J82-3002,ak system </term> is implemented entirely in <term> Prolog </term> , a <term> programming language </term>
tech,9-3-J82-3002,ak entirely in <term> Prolog </term> , a <term> programming language </term> based on <term> logic </term> . With
other,13-3-J82-3002,ak programming language </term> based on <term> logic </term> . With the aid of a <term> logic-based
other,5-4-J82-3002,ak <term> logic </term> . With the aid of a <term> logic-based grammar formalism </term> called <term> extraposition grammars
other,9-4-J82-3002,ak logic-based grammar formalism </term> called <term> extraposition grammars </term> , <term> Chat-80 </term> translates English
tool,12-4-J82-3002,ak <term> extraposition grammars </term> , <term> Chat-80 </term> translates English questions into
other,18-4-J82-3002,ak translates English questions into the <term> Prolog subset of logic </term> . The resulting <term> logical expression
model,2-5-J82-3002,ak subset of logic </term> . The resulting <term> logical expression </term> is then transformed by a <term> planning
tech,9-5-J82-3002,ak expression </term> is then transformed by a <term> planning algorithm </term> into efficient <term> Prolog </term>
tech,13-5-J82-3002,ak planning algorithm </term> into efficient <term> Prolog </term> , cf. <term> query optimisation </term>
tech,16-5-J82-3002,ak efficient <term> Prolog </term> , cf. <term> query optimisation </term> in a <term> relational database </term>
tech,20-5-J82-3002,ak <term> query optimisation </term> in a <term> relational database </term> . Finally , the <term> Prolog form </term>
other,3-6-J82-3002,ak relational database </term> . Finally , the <term> Prolog form </term> is executed to yield the answer .
hide detail