uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Formal methods in the design of question-answering systems
Uppsala University, Disciplinary Domain of Science and Technology, Faculty of Mathematics and Science.
1971 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 0374-2539, Vol. 2, no 2, 129-145 p.Article in journal (Refereed) Published
Abstract [en]

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.
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-180489DOI: 10.1016/0004-3702(71)90007-5ISI: A1971Y001000002OAI: oai:DiVA.org:uu-180489DiVA: diva2:551036
Available from: 2012-09-10 Created: 2012-09-07 Last updated: 2012-09-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text
By organisation
Faculty of Mathematics and Science
In the same journal
Artificial Intelligence
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 190 hits
ReferencesLink to record
Permanent link

Direct link