ADLASSNI@AWIIMC11.BITNET.UUCP (06/30/87)
concerning my ph.d. thesis i would like to know who has dealt already with the following themes: 1) translation of indefinite pronomina into predicat calculus. parsing only simple english sentences (subj pred obj), with reference to the distribution and interpretation of wh-words and quantifiers. ( a lexicon should be minimized to the syntax and not include semantik ambiguities-rules.) 2) representation of quantifiers in frames. 3) automated theorem prover algorith, which is easy to implement for first-order predicat-logic. are logic grammars the right field for 1)? the aim of the whole system is to implement an expertsystem in logo, to demonstrate in schools, that computers can "think". i would be thankful for any help| which literature would you advice to read? ruth gruenberger Please send response to adlassni%awiimc11.bitnet Thank you Peter Adlassnig