Date: Mon 19 Sep 1988 23:40-EDT From: AIList Moderator Nick Papadakis Reply-To: AIList@AI.AI.MIT.EDU Us-Mail: MIT LCS, 545 Tech Square, Rm# NE43-504, Cambridge MA 02139 Phone: (617) 253-6524 Subject: AIList Digest V8 #88 To: AIList@AI.AI.MIT.EDU Status: RO AIList Digest Tuesday, 20 Sep 1988 Volume 8 : Issue 88 Queries: Sierra OPS5 Systems Engineering Level in KBS Genetic Learning Algorithms Model-based Reasoning Spatial Reasoning Intelligent Tutoring Systems Hybrid Knowledge Representation (MRS, KLONE, KRYPTON) ---------------------------------------------------------------------- Date: 16 Sep 88 18:40:16 GMT From: ai!neves@speedy.wisc.edu (David M. Neves) Subject: Sierra OPS5 I know a student who wants to use an OPS5 for the IBM PC. Sierra OPS5 is one possibility. From its ad it looks great. It is complete and accepts external C functions. Does anyone have actual experience with it? Any limitations that are not advertised? Is it appropriate for heavy debugging (i.e. making frequent changes to literalizes, rules, memory on a large production system)? -thanks, david ;David Neves, Computer Sciences Department, University of Wisconsin-Madison ;Usenet: {rutgers,ucbvax}!uwvax!neves ;Arpanet: neves@cs.wisc.edu ------------------------------ Date: 16 Sep 88 19:44:50 GMT From: ece-csc!ncrcae!gollum!jdavis@ncsuvx.ncsu.edu (James P. Davis) Subject: Systems Engineering Level in KBS I am looking for any pointers to references regarding the "systems engineering level" of knowledge as defined for knowledge base management systems (KBMS). The only reference I have is in Brodie et al. *On Knowledge Based Management Systems*, where Brachman and Levesque discuss the various levels associated with knowledge representation and knowledge systems (knowledge level, symbol level, organization level). They mention this Systems Engineering level in passing, but do not fully define it. Does anyone have any references, or is anyone doing work in this area of further defining these "levels" (Ron and Hector, are you out there)? The nature of my research in this area involves the definition of a "level" which allows structure and organization to be imposed on the Universe of Discourse (which doesn't conform to Newell's Knowledge Level, which deals specifically with what can be stated or implied about the world on a functional basis independent of organization or implementation). However, I am looking at this imposition of organization independent of how the knowledge schema is implemented or manipulated to carry out rational behavior (which doesn't confrom to Newell's Symbol Level either, which deals with issues of how rational behavior is realized on a machine, addressing such issues as how to exploit the syntactic properties of a representation technique to effectively produce rational actions, e.g., inheritance in frame systems). The perspective that I am approaching this from is based on the ideas from Database and data modeling involving the construction of an "enterprise model" of a domain, which is primarily a structural description (in some formalism such as any number of deviations of the E-R model which have been researched) that captures domain objects, relationships, and constraints according to some set of model-dependent wff's. This description is a declarative representation of the UoD. What I am looking at is the correlation between this process in database/data modeling and constructing knowledge schemas for a domain in AI. The goal is to define an architecture for the tight coupling of database and knowledge based systems as KBMS'. It seems that some of the work that I am doing at this level between the KNowledge and Symbol Levels (which I call the "Enterprise Level" may be what has been termed the "Systems Engineering" Level. Is this Systems Engineering Level defined sufficiently? Is anyone working on it? Are there references? Anyone want to correspond regarding these levels? Any and all responses are appreciated. jdavis@Gollum.Columbia.NCR.COM Jim Davis Advanced Systems Development NCR Corporation ------------------------------ Date: 18 Sep 88 13:49:01 GMT From: thefool@athena.mit.edu (Michael A. de la Maza) Subject: Genetic Learning Algorithms I am currently working on a genetic learning algorithm(gla) engine that draws inferences from a horse racing database (the results could be enRICHening). Has anyone compiled a bibliography of gla articles/books? If I'm inundated with responses I'll post a summary here. Michael A. de la Maza thefool@athena.mit.edu Query: What is the answer to this question? [There is a separate list covering genetic algorithms called GA-LIST. Send subscription requests to gref@NRL-AIC.ARPA. However, AIList will continue to carry occasional information ... In addition, offutt@caen.engin.umich.edu (Daniel M. Offutt) is offering a GA function optimization package. Contact him for details. - nick] ------------------------------ Date: 19 Sep 88 00:55:24 GMT From: ucsdhub!hp-sdd!ncr-sd!ncrcae!gollum!jdavis@ucsd.edu (James P. Davis) Subject: Model-based Reasoning I am looking for some good references on the subject of Model-based reasoning (MBR). I am also interested in finding out who is doing work/research in this area, and what domains are being investigated. Nobody seems to have put any special compendiums (like Morgan Kaufmann) in this area yet. Any of you out there? Specifically, I am looking at the area of using a modeling framework, which allows the structure and behavior for certain classes of domains to be expressed in some declarative form, to drive the reasoning process. My understanding of MBR is that it is an approach at exploiting the inherent structure and constraints of a system or enterprise to guide the process of reasoning about problems in the given domain. I am developing an "analogical" representation which allows the expression of domain semantics in terms of structure and constraint declaration constructs based on the syntactic construction of wff's in the modeling technique. The domain is information systems design. In theory, by developing a self-describing modeling formalism, in which the information systems design activity can take place, the nature of the solution space can be constrained such that only those solutions which adhere to the semantics of the formalism itself (in which are expressed the semantics of the domain application) are relevant. What's happening in MBR? How does it relate to "reasoning from first principles"? Any and all responses are appreciated. I can summarize to the net if requested. Jim Davis Advanced Systems Development NCR Corporation jdavis@Gollum.Columbia.NCR.COM ------------------------------ Date: 19 Sep 88 7:59 -0100 From: unido!lan.informatik.tu-muenchen.dbp.de!prassler@uunet.UU.NET Reply-to: unido!lan!prassler@uunet.UU.NET Subject: Spatial Reasoning Path: lan!prassler Newsgroups: comp.cog-eng,comp.ai.digest Date: 19 Sep 88 07:58:55 GMT Organization: Inst. fuer Informatik, TU Muenchen, W. Germany Lines: 30 To people working or interested in the field of representation of large-scale space and spatial reasoning !! I'm a member of an AI and Cognitive Science group at the Technical University of Munich, West-Germany, working on connectionist models for spatial reasoning processes. I'm currently planning a research visit to the United States to get to know and may be to work a few months with people working on similar topics. Is anybody out there who is interested in such a collaboration. I expect to be financially independent through a six months scholarship form the German Academic Exchange Service. Some personal data: Name: Erwin Prassler Education: Technical University of Munich Diploma in Computer Science, 1985 Address: Department of Computer Science Technical University of Munich Arcisstr.21 D-8000 Munich 2 West-Germany e-mail: unido!tumult!prassler@uunet.UU.NET interests: spatial reasoning, connectionist models, sailing ------------------------------ Date: Mon, 19 Sep 88 09:46:53 -0800 From: Rika Yoshii Subject: Intelligent Tutoring Systems Could anyone send me a list of books and articles on Intelligent Tutoring Systems used to teach languages such as English, Spanish, Japanese, etc.? Also, is anyone aware of a system (besides TEIRESIAS, KLAUS) which allows an expert to use English in adding RULES to expert systems? Please send your reply to ryoshii@nrtc.northrop.com Thank you. Rika Yoshii ------------------------------ Date: Mon, 19 Sep 88 15:25 From: Fabrizio Sebastiani Subject: Hybrid Knowledge Representation (MRS, KLONE, KRYPTON) I am looking for papers on hybrid knowledge representation (MRS, KLONE, KRYPTON and the like); I am pretty familiar with the "KLONE world" literature (at least, with what has gone on up to 1985), but don't know much about: 1) what has been written past that date; 2) what has been written AGAINST this approach. Can anyone provide references to relevant papers on the subject? Is anyone interested to discuss the issue? Thanks Fabrizio Sebastiani ------------------------------ End of AIList Digest ********************