Formal methods in the design of question-answering systems
1971 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 0374-2539, Vol. 2, no 2, 129-145 p.Article in journal (Refereed) Published
This paper contributes to the discussion whether and how predicate calculus should be used as a deep structure in question-answering programs. The first part of the paper stresses that there are several possible ways of using predicate calculus, and argues that predicate calculus has significant advantages above competing deep structures if the way of using it is carefully selected. The second half gives hints on how various natural-language constructions can be encoded in a consistent way, and how axion sets that define these encodings can be written and debugged.
Place, publisher, year, edition, pages
1971. Vol. 2, no 2, 129-145 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:uu:diva-180489DOI: 10.1016/0004-3702(71)90007-5ISI: A1971Y001000002OAI: oai:DiVA.org:uu-180489DiVA: diva2:551036