Copy Link
Add to Bookmark
Report
AIList Digest Volume 8 Issue 088
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 <ryoshii@nrtc.northrop.com>
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 <FABRIZIO%ICNUCEVM.BITNET@MITVMA.MIT.EDU>
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
********************
