ijd@otter.HP.COM (Ian Dickinson) (01/22/88)
I am re-posting this as I have had no responses, and a friend said that he did not catch it the first time around (implication: it never got anywhere). Apologies, therefore, if you have seen it before. [Apology ends, article begins] To avoid re-inventing wheels, and since I like to think that I don't suffer from nih syndrome, I'd like to ask if anybody has any information about: * object-oriented systems that have well- (ideally formally-) defined semantics, especially if referring to public domain implementations * object-oriented systems that have been implemented on top of purely functional languages, or, indeed, any other declarative representation * formal treatments of the semantics of existing o-o systems * the application of automated transformation techniques to o-o systems, esp AI applications I specifically include frame systems in the category "object-oriented". The objective of the project we are embarking upon is study the application of transformation and partial evaluation techniques to working AI applications. Hence we need a representation that we can reason about, hence all the stuff about clean semantics and declarative languages. I would also be interested to hear from anybody who has a small AI application that they would be prepared to release the source code for, or any work that has been done on taxonomies of representations. I realise that there is a lot here, but any pointers would be gratefully received. Please e-mail to me, and I will summarise back to the net if there is enough interest. ... and tomorrow, I'll conquer the globe! :-) Many thanks in advance, Ian +-------------------------------------------------------------------------+ |Ian Dickinson, Hewlett Packard Laboratories, Bristol, England| |net: ijd@hplb.uucp ijd%idickins@hplabs.HP.COM ..!mcvax!ukc!hplb!ijd| |"I've been to every single book I know +-------------------+ | To soothe the thoughts that plague me so" -Sting | voice: 0272-799910| |Nevertheless, my opinions are entirely my own fault | | +-----------------------------------------------------+-------------------+