Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 235
AIList Digest Monday, 27 Oct 1986 Volume 4 : Issue 235
Today's Topics:
Queries - GURU & Knowledge-Based Management Tools &
IF/PROLOG Memory Expansion,
Binding - Integrated Inference Machines,
Philosophy - The Analog/Digital Distinction,
Bibliography - AI Lab Technical Reports
----------------------------------------------------------------------
Date: 23 Oct 86 02:21:50 GMT
From: v6m%psuvm.bitnet@ucbvax.Berkeley.EDU
Subject: OPINIONS REQUESTED ON GURU
I'D APPRECIATE ANY COMMENTS THE GROUP HAS ON THE AI BASED PACKAGE <GURU>.
VINCENT MARCHIONNI
V6M AT PSUVM VIA BITNET
OR
ACIG
1 VALLEY FORGE PLAZA
VALLEY FORGE PA 19487
THANKS VINCE
------------------------------
Date: 24 Oct 1986 21:35-EDT
From: cross@afit-ab
Subject: Knowledge-based management tools query
Are there any pc-based shells that integrate simple rule bases, data
base systems (ala DBASE III), spreedsheets? Does anyone have any
experience with GURU? Any information would be appreciated. Will
be starting some work here towards the design of an intelligent
assistant for a program manager. Any pointers to papers or other
references would also be appreciated. Thanks in advance.
Steve Cross
------------------------------
Date: 24 Oct 86 16:09:05 GMT
From: dual!islenet!humu!uhmanoa!aloha1!shee@ucbvax.Berkeley.EDU (shee)
Subject: ifprolog.
We have if/prolog version 3.0 on unix operating system on HP-9000 machine. We
are looking for ways to increase the memory capacity of if/prolog so that there
is no stack overflow for our knowledge_based ai programs.
------------------------------
Date: Sun, 26 Oct 86 00:56:18 edt
From: gatech!ldi@rayssd.ray.com (Louis P. DiPalma)
Subject: Re: Address???
Address for Integrated Inference Machines is as follows:
Integrated Inference Machines
1468 E. Katella Avenue
Anaheim, California 92805
Phone: (714) 978-6776
------------------------------
Date: 23 Oct 86 17:20:00 GMT
From: hp-pcd!orstcs!tgd@hplabs.hp.com (tgd)
Subject: Re: The Analog/Digital Distinction: Soli
Here is a rough try at defining the analog vs. digital distinction.
In any representation, certain properties of the representational medium are
exploited to carry information. Digital representations tend to exploit
fewer properties of the medium. For example, in digital electronics, a 0
could be defined as anything below .2volts and a 1 as anything above 4volts.
This is a simple distinction. An analog representation of a signal (e.g.,
in an audio amplifier) requires a much finer grain of distinctions--it
exploits the continuity of voltage to represent, for example, the loudness
of a sound.
A related notion of digital and analog can be obtained by considering what
kinds of transformations can be applied without losing information. Digital
signals can generally be transformed in more ways--precisely because they do
not exploit as many properties of the representational medium. Hence, if we
add .1volts to a digital 0 as defined above, the result will either still be
0 or else be undefined (and hence detectable). A digital 1 remains
unchanged under addition of .1volts. However, the analog signal would be
changed under ANY addition of voltage.
--Tom Dietterich
------------------------------
Date: Wed 22 Oct 86 09:38:53-CDT
From: AI.CHRISSIE@R20.UTEXAS.EDU
Subject: AI Lab Technical Reports
[Forwarded from the UTexas-20 bboard by Laws@SRI-STRIPE.]
Following is a listing of the reports available from the AI Lab.
Reports are available from Chrissie in Taylor Hall 4.130D. An annotated
list is also available upon request either on-line or hardcopy.
TECHNICAL REPORT LISTING
Artificial Intelligence Laboratory
University of Texas at Austin
Taylor Hall 2.124
Austin, Texas 78712
(512) 471-9562
September 1986
All reports furnished free of charge
AI84-01 Artificial Intelligence Project at The University of Texas at Austin,
Gordon S. Novak and Robert L. Causey, et al., 1984.
AI84-02 Computing Discourse Conceptual Coherence: A Means to Contextual
Reference Resolution, Ezat Karimi, August 1984.
AI84-03 Translating Horn Clauses From English, Yeong-Ho Yu, August 1984.
AI84-04 From Menus to Intentions in Man-Machine Dialogue, Robert F. Simmons,
November 1984.
AI84-05 A Text Knowledge Base for the AI Handbook, Robert F. Simmons,
December 1983.
AI85-02 Knowledge Based Contextual Reference Resolution for Text
Understanding, Michael Kavanaugh Smith, January 1985.
AI85-03 Learning Problem Solving: A Proposal for Continued Research, Bruce
W. Porter, March 1985.
AI85-04 Using and Revising Learned Concept Models: A Research Proposal, Bruce
W. Porter, May 1985.
AI85-05 A Self Organizing Retrieval System for Graphs, Robert A. Levinson,
May 1985.
AI85-06 Lisp Programming Lecture Notes, Gordon S. Novak, Jr., July 1985.
AI85-07 Heuristic and Formal Methods in Automatic Program Debugging, William
R. Murray, June 1985. (To appear in IJCAI85 Proceedings.)
AI85-08 A General Heuristic Bottom-up Procedure for Searching AND/OR Graphs,
Vipin Kumar, August 1985.
AI85-09 A General Paradigm for AND/OR Graph and Game Tree Search. Vipin
Kumar, August 1985.
AI85-10 Parallel Processing for Artificial Intelligence, Vipin Kumar, 1985.
AI85-11 Branch-AND-Bound Search, Vipin Kumar, 1985.
AI85-12 Computational Treatment of Metaphor in Text Understanding: A First
Approach, Olivier Winghart, August 1985.
AI85-13 Computer Science and Medical Information Retrieval, Robert Simmons,
1985.
AI85-14 Technologies for Machine Translation, Robert Simmons, August 1985.
AI85-15 The Knower's Paradox and the Logics of Attitudes, Nicholas Asher and
Hans Kamp, August 1985.
AI85-16 Negotiated Interfaces for Software Reusability, Rick Hill, December
1985.
AI85-17 The Map-Learning Critter, Benjamin J. Kuipers, December 1985.
AI85-18 Menu-Based Creation of Procedures for Display of Data, Man-Lee Wan,
December 1985.
AI85-19 Explanation of Mechanical Systems Through Qualitative Simulation,
Stuart Laughton, December 1985.
AI86-20 Experimental Goal Regression: A Method for Learning Problem Solving
Heuristics, Bruce W. Porter and Dennis Kibler, January 1986.
AI86-21 GT: A Conjecture Generator for Graph Theory, Wing-Kwong Wong,
January 1986.
AI86-22 An Intelligent Backtracking Algorithm for Parallel Execution of Logic
Programs, Yow-Jian Lin, Vipin Kumar and Clement Leung, March 1986.
AI86-23 A Parallel Execution Scheme for Exploiting AND-parallelism of Logic
Programs, Yow-Jian Lin and Vipin Kumar, March 1986.
AI86-24 Qualitative Simulation as Causal Explanation, Benjamin J. Kuipers,
April 1986.
AI86-25 Fault Diagnosis Using Qualitative Simulation, Ray Bareiss and Adam
Farquhar, April 1986.
AI86-26 Symmetric Rules for Translation of English and Chinese, Wanying Jin
and Robert F. Simmons, May 1986.
AI86-27 Automatic Program Debugging for Intelligent Tutoring Systems, William
R. Murray, June, 1986. (PhD dissertation)
AI86-28 The Role of Inversion, Clecting and PP-Fronting in Relating Discourse
Elements, Mark V. Lapolla, July 1986.
AI86-29 A Theory of Argument Coherence, Wing-Kwong C. Wong, July 1986.
AI86-30 Metaphorical Shift and The Induction of Similarities, Phillipe
M. Alcouffe, July 1986. (Master's thesis)
AI86-31 A Rule Language for the GLISP Programming System, Christopher
A. Rath, August 1986. (Master's thesis)
AI86-32 Talus: Automatic Program Debugging for Intelligent Tutoring Systems,
William R. Murray, August 1986.
AI86-33 New Algorithms for Dependency-Directed Backtracking, Charles
J. Petrie, September, 1986. (Master's thesis)
AI86-34 An Execution Model for Exploiting AND-Parallelism in Logic Programs,
Yow-Jian Lin and Vipin Kumar, September 1986.
AI86-35 PROTOS: An Experiment in Knowledge Acquisition for Heuristic
Classification Tasks, Bruce W. Porter and E. Ray Bareiss, August
1986.
------------------------------
End of AIList Digest
********************
