Literature Cited
Chin-Liang Chang and R. C. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press (1973).
C. S. Hewitt, PLANNER, MIT Project MAC, Memo MAC-M-386, Cambridge (1968).
M. R. Quillian, “Semantic Information Processing, M. Minsky, Information Processing, MIT Press, Cambridge (1968).
J. A. Robinson, “An overview of mechanical theorem proving,” in: R. Banerij and M. D. Mesarovic (editors), Theoretical Approaches to Non-Numerical Problem Solving, Springer, Berlin (1970).
E. Sandewall, PCF-2, a First-Order Calculus for Expressing Conceptual Information, Report, Computer Science Dept., Uppsala Univ. (1972).
R. F. Simmons, “Some semantic structures for representing English meanings,” in: J. B. Carroll and R. O. Freedle, (editors), Language Comprehension and the Acquisition of Knowledge, Halsted Press, Washington, DC (1972).
Additional information
Translated from Kibernetika, No. 3, pp. 54–62, May–June, 1980.
Rights and permissions
About this article
Cite this article
Helbig, H. Semantic control of deductive processes in a question-and-answer system. Cybern Syst Anal 16, 365–375 (1980). https://doi.org/10.1007/BF01078255
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01078255