Copy Link
Add to Bookmark
Report

AIList Digest Volume 6 Issue 020

eZine's profile picture
Published in 
AIList Digest
 · 1 year ago

AIList Digest            Friday, 29 Jan 1988       Volume 6 : Issue 20 

Today's Topics:
Philosophy - Disregard And Abuse Of Nanoengineering &
Importance of Philosophy,
Announcement - Foundations of Deductive Databases and Logic Programming

----------------------------------------------------------------------

Date: Mon, 25 Jan 88 12:14:31 MST
From: t05rrs%mpx1@LANL.GOV (Dick Silbar)
Subject: Re: intelligent nanocomupters

David West replied to Godden's query about Drexler's work in a sardonic way,
I think, by extrapolating the earlier remark to "...such a machine could then
just be allowed to run and should be able to accomplish a century of progress
in one hour."
I am reminded of a novel some years back by Robert Forward,
"Dragon's Egg", in which just that did happen in a civilization living on the
surface of a neutron star.

------------------------------

Date: Wed, 27 Jan 88 9:35:58 PST
From: jlevy.pa@Xerox.COM
Subject: disregard and abuse of Nano-engineering (V6#17)

David Smith writes:

"Date: Fri, 22 Jan 88 14:21:05 est
From: Mr. David Smith <dsmith@gelac.arpa>
Subject: Nano-engineering

... [deleted quote] ...

Some time ago, I asked a net question about nano-engineering and all roads
led to Eric Drexler. Frankly, I was pleased to see this net mail putting
such activities into perspective. At the risk of sounding Pharisaic, I
believe that the cause of "
serious AI" is seriously hindered by such blatant
blather. This has to be the only forum in the civilized world which allows
such claims to be perpetrated without receiving equal portions of ridicule
and abuse. Can it not be stopped?"


I think this reasoning is wrong, since it smacks of "acceptance by reputation".
How about this
argument:

Some time ago I asked a lot of physicists about why an apple falls from a tree
downwards, and all roads led to Isaac Newton. Frankly, I was pleased to see all
those skeptics question Newton's results and put his activities into
perspective. At the risk of sounding Pharisaic, I believe that the advance of
serious research in physics is severely hindered by such blatant blather. This
has to be the only forum in the world which allows such claims as Newton's to be
perpetrated without receiving equal portions of ridicule and abuse. Can it not
be stopped?

The point is of course, that while Newton originated Newtonian physics, and thus
it is right to expect all references to this field to lead back to him, at the
time he did his research he was a nobody just like Eric Drexler. This was
unimportant at that time, since his ideas were judged on MERIT, not on
reputation. I am myself ill-equiped to judge Eric's work, but would be VERY
careful in deciding that it "deserves ridicule and abuse" at all. Newton had a
much harder time at propagating his ideas than Drexler today. In appreciation of
this fact, scientists of olden times usually were more careful and methodical in
judging new ideas (not always, to be sure!). Maybe it is time to try and look at
the facts and claims instead of at the names of proponents of such claims?

To paraphrase, this must be the only forum in the world (claiming to be
scientifically
based) which allows such careless and unjustified disregard, abuse and ridicule
of new ideas
(whether they be of merit or not) without receiving equal portions of ridicule
and abuse. So
there!

Jacob Levy
jlevy.pa@xerox.com

------------------------------

Date: 25 Jan 88 14:27:27 GMT
From: rochester!ur-tut!sunybcs!rapaport@bbn.com (William J. Rapaport)
Subject: Re: Not Another vote (arg.gag.sigh)

In article <20@chemstor.UUCP> bob@chemstor.UUCP (Bob Weigel) writes:
>
> Just another biannual reminder that philosophy is a futile game.

Hardly. You might be interested in the following article:

Rapaport, William J., "Unsolvable Problems and Philosophical Progress,"
American Philosophical Quarterly 19 (1982) 289-98.

William J. Rapaport
Assistant Professor

Dept. of Computer Science||internet: rapaport@cs.buffalo.edu
SUNY Buffalo ||bitnet: rapaport@sunybcs.bitnet
Buffalo, NY 14260 ||uucp: {ames,boulder,decvax,rutgers}!sunybcs!rapaport
(716) 636-3193, 3180 ||

------------------------------

Date: 26 Jan 88 16:19:53 GMT
From: sdcc6!calmasd!wlp@sdcsvax.ucsd.edu (Walter Peterson)
Subject: Re: Philosophy is a futile game...


> In article <20@chemstor.UUCP>, bob@chemstor.UUCP (Robert Weigel) writes:
>
> Just another biannual reminder that philosophy is a futile game. It
> engages itself in a battle, yet leaves behind the tools needed to win it.
> I ask again, who is more foolish? Him that claims to know truth, or he that
> scoffs prejudiciously,....yet searches for it!
>

For an excellent explanation as to why philosophy is NOT futile and why
everyone NEEDS philosophy, see

"Philosophy: Who Needs It" By Ayn Rand




--
Walt Peterson GE-Calma San Diego R&D
"The opinions expressed here are my own and do not necessarily reflect those
GE, GE-Calma nor anyone else.
...{ucbvax|decvax}!sdcsvax!calmasd!wlp wlp@calmasd.GE.COM

------------------------------

Date: 25 Jan 88 20:58:29 GMT
From: Jack Minker <minker@mimsy.umd.edu>
Reply-to: minker@mimsy.UUCP (Jack Minker)
Subject: Foundations of Deductive Databases and Logic Programming


The book,

FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING
Edited by Jack Minker (University of Maryland),

will be available from Morgan-Kaufmann Publishers in early
March, 1988. Orders for the book can be made now. The ISBN
No. is: 0-934613-40-0. The book contains 752 pages and
costs $36.95.

This landmark volume explores the close relationship
between deductive databases and logic programming and the
foundational issues they share. A collection of original
research, contributed by leading researchers, the book grew
out of preliminary work presented at the Workshop on Founda-
tions of Deductive Databases and Logic Programming held in
Washington DC, August 1986. All the papers have been exten-
sively refereed and revised.

Part 1 introduces and examines the import of stratified
databases, and its relationship to circumscription, and pro-
vides a comprehensive survey of negation in deductive data-
bases and logic programming. Part 2 addresses fundamental
theoretical and practical issues in developing large-scale
deductive databases and treats problems such as informative
answers, semantic optimization, updates and computing
answers in non-Horn theories. Part 3 provides results con-
cerning unification, equivalence and optimization of logic
programs and provides a comprehensive survey of results con-
cerning logic programs and parallel complexity. An introduc-
tory survey offering background material and an overview of
research topics, name and subject indexes, and extensive
bibliographic references complete the work.

Invaluable to graduate students and researchers in
deductive databases and logic programming, FOUNDATIONS OF
DEDUCTIVE DATABASES AND LOGIC PROGRAMMING will also be of
interest to those working in automated theorem proving,
artificial intelligence and expert systems.

TABLE OF CONTENTS


INTRODUCTION

Minker, J., 1-16
Introduction to Foundations of Deductive Databases and Logic
Programming

PART 1 - NEGATION AND STRATIFIED DATABASES 17

Chapter 1 Shepherdson, J., 19-88
Negation in Logic Programming
Chapter 2 Apt, K.R., Blair, H. and Walker, A., 89-148
Towards a Theory of Declarative Knowledge
Chapter 3 Van Gelder, A., 149-176
Negation as Failure Using Tight Derivation for General Logic
Programs
Chapter 4 Lifschitz, V., 177-192
On the Declarative Knowledge of Logic Programs with Negation
Chapter 5 Przymusinski, T., 193-216
On the Semantics of Stratified Deductive Databases
Chapter 6 Topor, R. and Sonenberg, E.A., 217-240
On Domain Independent Databases

PART 2 - FUNDAMENTAL ISSUES IN DEDUCTIVE DATABASES AND
IMPLEMENTATIONS 241

Chapter 7 Chakravarthy, U.S., Grant, J. and Minker, J.,
243-273
Foundations of Semantic Query Optimization for Deductive
Databases
Chapter 8 Imielinski, T., 275-312
Intelligent Query Answering in Rule Based Systems
Chapter 9 Sadri, F. and Kowalski, R.A., 313-362
An Application of General Purpose Theorem Proving to Data-
base Integrity
Chapter 10 Manchanda, S. and Warren, D.S., 363-394
A Logic-Based Language for Database Updates
Chapter 11 Henschen, L.J. and Park, H., 395-438
Compiling the GCWA in Indefinite Deductive Databases
Chapter 12 Bancilhon F. and Ramakrishnan, R., 439-517
Performance Evaluation of Data Intensive Logic Programs
Chapter 13 Thom, J., Naish, L. and Ramamohanaro, K., 519-
543
A Superjoin Algorithm for Deductive Databases

PART 3 - UNIFICATION AND LOGIC PROGRAMS, 545

Chapter 14 Kanellakis, P., 547-585
Logic Programming and Parallel Complexity
Chapter 15 Lassez, J-L., Maher, M.J. and Marriott, K.,
587-625
Unification Revisited
Chapter 16 Maher, M.J., 627-658
Equivalences of Logic Programs
Chapter 17 Sagiv, Y., 659-698
Optimizing Datalog Programs
Chapter 18 van Emden, M.H. and Szeredi, P., 699-709
Converting AND-Control to OR-Control Using Program Transfor-
mation

AUTHOR ADDRESSES 711-714

REFEREES 715-716

AUTHOR INDEX 717-721

SUBJECT INDEX 723-746
--
JACK MINKER
minker.umcp-cs@udel-relay

------------------------------

End of AIList Digest
********************

← previous
next →
loading
sending ...
New to Neperos ? Sign Up for free
download Neperos App from Google Play
install Neperos as PWA

Let's discover also

Recent Articles

Recent Comments

Neperos cookies
This website uses cookies to store your preferences and improve the service. Cookies authorization will allow me and / or my partners to process personal data such as browsing behaviour.

By pressing OK you agree to the Terms of Service and acknowledge the Privacy Policy

By pressing REJECT you will be able to continue to use Neperos (like read articles or write comments) but some important cookies will not be set. This may affect certain features and functions of the platform.
OK
REJECT