Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!sri-spam!ames!ucbcad!ucbvax!AWIIMC11.BITNET!ADLASSNI
From: ADLASSNI@AWIIMC11.BITNET.UUCP
Newsgroups: comp.ai.digest
Subject: natural language - predicate calculus - theorem proving
Message-ID: <8706300524.AA21684@ucbvax.Berkeley.EDU>
Date: Tue, 30-Jun-87 02:20:45 EDT
Article-I.D.: ucbvax.8706300524.AA21684
Posted: Tue Jun 30 02:20:45 1987
Date-Received: Fri, 3-Jul-87 06:38:49 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 27
Approved: ailist@stripe.sri.com

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