[comp.ai.digest] natural language - predicate calculus - theorem proving

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