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