Copy Link
Add to Bookmark
Report
AIList Digest Volume 1 Issue 018
AIList Digest Sunday, 26 Jun 1983 Volume 1 : Issue 18
Today's Topics:
Expert Systems Reports
Tech reports and papers
VAL and VALID
Prolog For The Vax (2)
Call For Papers -- PC3
JOB: PROLOG GRAPHICS AT EDINBURGH.
----------------------------------------------------------------------
Date: Fri, 17 Jun 83 12:17:48 PDT
From: Judea Pearl <f.judea@UCLA-LOCUS>
Subject: Expert Systems Reports
[Here are] a few reports which could be added to your digest on expert
systems:
"Reverend Bayes on Inference Engines: A Distriuted Hierarchical
Approach", Judea Pearl, Proc. AAAI Nat'l. Conf. on AI, Pittsburg, PA.
Aug. l982, pp. l33-l36.
"GODDESS: A Goal Directed Decision Structuring System", J. Pearl, A.
Leal, and J. Saleh, IEEE Trans. on Pattern Recognition and Machine
Intelligence, Vol.4, No.3, pp. 250-262. May l982.
"Causal and Diagnostic Inferences: A Comparison of Validity",
Organizational Behavior and Human Performance, Vol. 28, pp. 379-94,
l98l.
"The Optimality of A* Revisited", R. Dechter & J. Pearl,
UCLA-ENG-CSL-83-28, June l983.
Judea Pearl.
------------------------------
Date: 20 Jun 83 10:02:22-EDT (Mon)
From: "The soapbox of Gene Spafford" <spaf.gatech@UDel-Relay>
Subject: Tech reports and papers
Our student ACM chapter maintains a library of journals and technical
reports. We would like to see a better selection of technical reports
(or references to such reports) represented in the library.
If your school or company publishes technical reports, would you
please add the following address to your list of organizations which
receive copies, or copies of the abstracts? Furthermore, if you have
reprints of any interesting papers those are also welcomed.
If you would like to be added to the distribution list for the School
of Information and Computer Science (Georgia Institute of Technology),
then please mail a request to me.
Thanks in advance.
Mail reports to:
ACM Student Library
c/o Prof. Richard LeBlanc
School of Information and Computer Science
Georgia Institute of Technology
Atlanta, GA 30332
------ Gene Spafford
CSNet: Spaf @ GATech
Internet: Spaf.GATech @ UDel-Relay
uucp: ...!{sb1,sb6,allegra}!gatech!spaf
...!duke!mcnc!msdc!gatech!spaf
------------------------------
Date: 16 Jun 83 1:22:55-PDT (Thu)
From: ihnp4!houxm!hocda!spanky!burl!sb1!sb6!emory!gatech!pwh @ Ucb-Vax
Subject: VAL and VALID
Article-I.D.: gatech.232
Does anyone have any pointers to either of the above mentioned
programming languages? VALID is supposedly a purely functional
programming language augmented with multiprocessing support being
developed at the University of Tokyo (?) in conjunction with Japan's
5th generation machine. VAL is a similar predecessor developed at MIT
for use in the study of denotational semantics. That is about all I
have heard of these projects but would be glad to hear of more details
or similar work.
phil hutto
pwh@gatech
pwh.gatech@udel-relay
...!{allegra, sb1, sb2}!gatech!pwh
p.s. - Isn't there a net.func or net.applic for functional or
applicative programming languages?
------------------------------
Date: Sat 18 Jun 83 12:49:21-PDT
From: PEREIRA@SRI-AI.ARPA
Subject: Re: Prolog For The Vax
[Reprinted from the PROLOG Digest.]
As a result of the paranoia induced by the Japanese 5th Generation
proposals, there was a lot of discussion about what the UK should do
to keep up with the foreign competition in AI and computing in
general. Eventually several government initiatives where started,
amounting to several 100 million dollars spread over five years or so.
In particular, the Science and Engineering Research Council (SERC),
whose closest US analogue is the NSF, started the Intelligent
Knowledge Based Systems initiative (IKBS), which is applied AI under a
different name (it seems the name "AI" is not very popular in UK
government and academic circles). Discussions sponsored by the IKBS
initiative have decided on a common software base, built around Unix
{a trademark of Bell Labs.}, Prolog (POPLOG and C-Prolog) and Lisp
(Franz). The machines to be used are VAXes and PERQs (the UK computer
company ICL builds PERQs under license, have implemented a derivative
of Unix on it, so this is a case of "support your local computer
manufacturer").
The fact that none of the systems mentioned above is nearly the ideal
for AI research is recognized by many of the UK researchers, but less
so by the administrators. Efforts to build a really efficient
portable compiler-based Prolog that would be for the new machines what
DEC-10/20 Prolog is for the machines it runs on have been hampered by
the sluggish response of The Bureaucrats, and by uncertainty about how
that huge amount of money was going to be allocated.
However, implementation of a portable compiler - based Prolog is now
going on at Edinburgh. Robert Rae is certainly in a better position
than I to describe how the project is progressing.
-- Fernando Pereira
------------------------------
Date: Wednesday, 15-Jun-83 19:24:56-BST
From: RAE (on ERCC DEC-10) <Rae@EDXA>
Subject: Prolog For The VAX
[Reprinted from the PROLOG Digest.]
Steve,
You correctly state that POPLOG and Franz have been identified
by the UK IKBS initiative as systems for getting people off the ground
in IKBS. DEC-20 Prolog is not classified with them, unfortunately, as
the other vital ingredient for the software infra-structure is the
operating system, and UNIX has been adopted. So DEC-20 Prolog will
not be relevant.
You should also, to be fair, point out that C-Prolog has also been
identified for providing Prolog capability.
-- Robert
------------------------------
Date: 27 May 1983 19:08 mst
From: VaughanW at HI-MULTICS (Bill Vaughan)
Subject: Call For Papers
Last year at this time I put the Call for Papers for the PC3
conference out to these mailing lists and bulletin boards. We seemed
to get a good response, so here it is again. Notice that this year's
theme is a little different. Further note that we are formally
refereeing papers this year.
If anyone out there is interested in refereeing, please send me a
note.
---------------
Third annual Phoenix Conference on Computers and Communications
CALL FOR PAPERS
Theme: THE CHALLENGE OF CHANGE - Applying Evolving Technology.
The conference seeks to attract quality papers with emphasis on the
following areas:
APPLICATIONS -- Office automation; Personal Computers; Distributed
systems; Local/Wide Area Networks; Robotics, CAD/CAM; Knowledge-based
systems; unusual applications.
TECHNOLOGY -- New architectures; 5th generation & LISP machines; New
microprocessor hardware; Software engineering; Cellular mobile radio;
Integrated speech/data networks; Voice data systems; ICs and devices.
QUALITY -- Reliability/Availiability/Serviceability; Human
engineering; Performance measurement; Design methodologies;
Testing/validation/proof techniques.
Authors of papers (3000-5000 words) or short papers (1000-1500 words)
are to submit abstracts (300 words max.) with authors' names,
addresses, and telephone numbers. Proposals for panels or special
sessions are to contain sufficient detail to explain the presentation.
5 copies of the completed paper must be submitted, with authors' names
and affiliations on a separate sheet of paper, in order to provide for
blind refereeing.
Abstracts and proposals due: August 1 Full papers due: September 15
Notification of Acceptance: November 15 Conference Dates: March
19-21, 1984
Address the abstract and all other replies to:
Susan C. Brewer
Honeywell LCPD, MS Z22
PO Box 8000 N
Phoenix AZ 85066
----------------
Or you can send stuff to me, Bill Vaughan (VaughanW @ HI-Multics) and
I will make sure Susan gets it.
------------------------------
Date: 17 Jun 83 11:10:15-PDT (Fri)
From: harpo!floyd!vax135!ukc!edcaad!peter @ Ucb-Vax
Subject: JOB: PROLOG GRAPHICS AT EDINBURGH.
Article-I.D.: edcaad.518
UNIVERSITY OF EDINBURGH
COMPUTER AIDED DESIGN
RESEARCH WORKER
EdCAAD, the Edinburgh Computer Aided Architectural Design Research
Unit, is actively forging links between knowledge engineering and CAD,
focus- ing on the Prolog logic programming language. Recent advances
at EdCAAD include C-Prolog for 32-bit machines with C compilers and
Seelog, a graphics front end to Prolog. The Unit offers an excellent
computing environment as a leading UK UNIX site, with its own VAX
11/750, a PDP 11/24 and a large range of text and graphics terminals,
serving a small user community.
Current SERC supported research is aimed at building description tech-
niques, including drawing input with associated meaning attached to
drawings. This project has a vacancy for a research worker preferably
with AI experience. The research post is for an initial period of 18
months, on the research salary scale 1A, with placement according to
qualifications and experience.
Enquiries and applications should be addressed to Aart Bijl, EdCAAD,
Department of Architecture, University of Edinburgh, 20 Chambers
Street, Edinburgh EH1 1JZ, tel. 031 667 1011 ext. 4598.
------------------------------
End of AIList Digest
********************
