HDTenEightyP/NetNews huggingface dataset:
From: cheung@tympani.unx.sas.com (Clement Cheung)
Subject: Event Calculus literature request
Keywords: event calculus, temporal logic
Organization: SAS Institute Inc.
Originator: cheung@tympani.unx.sas.com
Date: Thu, 16 Apr 1992 20:31:00 GMT
X-Bytes: 352

I am a newcomer to Logic Programming.

I got hold of a rather old paper titled "A Logic-based Calculus of
Events" dated 1986 by Robert Kowalski et. al.. If you know of recent
research/application in event calculus or other research dealing with 
the reasoning of time, can you please point me to them?

Thanks a lot.

Clement Cheung
cheung@unx.sas.com
Xref: sparky comp.ai:1931 comp.ai.edu:247
From: smoore@dartmouth.edu (Sean Moore)
Newsgroups: comp.ai,comp.ai.edu
Subject: Re: Simulated Annealing
Date: 7 Apr 92 17:49:59 GMT
Organization: Dartmouth College, Hanover, NH

In article <1992Apr6.212443.2666@watdragon.waterloo.edu> wlfong@logos.waterloo.edu (Philip W. L. Fong) writes:

   >Does anyone know what book/paper is a good reference of Simulated Annealing?
   >What I want are both the mathematical foundation of SA ...

   >Philip Fong
   >wlfong@logos.waterloo.edu

There is an excellent book entitled

Simulated Annealing and Boltzmann Machines, by Aarts,E., Korst,J.,
John Wiley and Sons, NY, 1989.  

All the math foundations are explained.
- Sean
Newsgroups: comp.ai
From: Sushil <louis@hound.cs.indiana.edu>
Subject: Re: Gentic Algorithms with Competing Species
Organization: Indiana University, Bloomington
Date: Tue, 14 Apr 1992 11:12:03 -0500

In article <9204101456.AA00910@cerebellum.cis.ohio-state.edu> pja@cis.ohio-state.edu writes:
>
>Does anyone have some good references for genetic algorithms (or anything for
>that matter) where species are competing against one another?  In other
>words say you have N species setup such that an individual from one species
>competes with a subset of each of the others as the fitness function.  The
e
>object is to make all the species competent against each other.

	Here are a couple of refs:

        title = "An Investigation of Nich and Species Formation in Genetic
Function Optimization",
        author = "Kalyanmoy Deb and David Goldberg",
        booktitle = "Proceedings of the Third International Conference on
Gentic Algorithms" 
        year = "1989",
        pages = "42-50"

AND

        title = "A Naturally occuring Niche and Species Phenomenon: The Model
and First Results"
        author = "Yuval Davidor"
        booktitle = "Proceedings of the Fourth International Conference on
Gentic Algorithms" 
        year = "1991",
        pages = "257-263"


	These papers will give you pointers to other work. Hope this is what
you need. 
>
>I am aware of Thomas Ray's work with Tierran but that doesn't quite get at what
>I'm after.  Thanks in advance for the pointers.

>
>-pete angeline
>
>-------------------------------------------------------------------------------
>Peter J. Angeline            ! Laboratory for AI Research (LAIR)
>Graduate Research Assistant  ! THE Ohio State University, Columbus, Ohio 43210
>ARPA: pja@cis.ohio-state.edu ! "Nature is more ingenious than we are."


sushil louis
dept. of comp. sc.
IU, Bloomington
louis@cs.indiana.edu




Newsgroups: comp.ai,comp.ai.edu
From: wlfong@logos.waterloo.edu (Philip W. L. Fong)
Subject: Simulated Annealing
Organization: University of Waterloo
Date: Mon, 6 Apr 1992 21:24:43 GMT


Does anyone know what book/paper is a good reference of Simulated Annealing?
What I want are both the mathematical foundation of SA and illustration
of how SA can be applied, eg examples of good annealing schedule, how SA
can be tailored to solve combinatorial optimization problems, etc.

Your input will be greatly appreciated.

Philip Fong
wlfong@logos.waterloo.edu

Xref: sparky comp.ai:1915 comp.ai.shells:232
From: SIMONOFB@WMAVM7.VNET.IBM.COM
Newsgroups: comp.ai
Subject: Dempster Schafer
Date: 10 Apr 92 12:43:23 GMT

Still looking for someone who understands Dempster Schafer Theory fairly
well.  Have only heard from one person, the only part of the address
I was able to see was MGV (please resend the note if you can, it got garbled
in my reader).  If there is another place I should post this question,
please contact me.

Thanks
Bob Simonoff
From: demers@cs.ucsd.edu (David DeMers)
Newsgroups: comp.ai
Subject: Re: Can machines display intelligence
Date: 14 Apr 92 19:29:52 GMT
Organization: =CSE Dept., U.C. San Diego

In article <92105.11231232HOCVO@CMUVM.CSV.CMICH.EDU> 32HOCVO@CMUVM.CSV.CMICH.EDU writes:
>I am looking for some opinions and insight on Artificial Intelligence.
>Will machines be able to learn, reason, and understand from experiences?

Yes.

>What do you think?

What is thinking, anyway?

-- 
Dave DeMers			 ddemers@UCSD   demers@cs.ucsd.edu
Computer Science & Engineering	C-014		demers%cs@ucsd.bitnet
UC San Diego					...!ucsd!cs!demers
La Jolla, CA 92093-0114	(619) 534-0688, or -8187, FAX: (619) 534-7029
From: rjones+@pitt.edu (Randy Jones)
Newsgroups: comp.ai
Subject: Email address for CogSci conference
Date: 17 Apr 92 15:04:19 GMT
Organization: University of Pittsburgh

Does anybody out there know an email address for the 1992 Cognitive Science
Conference at Indiana University?
Thanks,
   Randy Jones
From: sivand@eng.auburn.edu (Sivand Lakmazaheri)
Newsgroups: comp.ai
Subject: Re: Fifth Generation Project literature
Date: 13 Apr 92 21:40:30 GMT
Reply-To: sivand@eng.auburn.edu
Organization: Auburn University Engineering

In article 10950@latcs1.lat.oz.au, haasdijk@fwi.uva.nl (Evert Haasdijk) writes:
>
> I'm writing a short article on computer architectures for AI, and I was 
> wondering if someone could give me a couple of pointers to relevant
> articles (preferably recent). 

> I'm especially looking for an overview of the work done in this project.

See The Communications of ACM, March 1992.  The work that has been done
at ICOT is summerized by K. Furukawa in a paper entitled 
"Logic Programming as the Integrator of the Fifth Generation Computer Systems Project."
From: smith@sctc.com (Rick Smith)
Newsgroups: comp.ai
Subject: Apple's Casper (was: Voice Recog...)
Date: 16 Apr 92 15:21:19 GMT
Article-I.D.: sctc.1992Apr16.152119.26147
Organization: SCTC

I heard a demo of Casper, Apple's new computer with built in speech
recognition; I assume it's spelled like "friendly ghost."  The demo
was on public radio this morning.  Has Apple developed speech
recognition 'for the rest of us' ??

In my experience, practical speech recognition systems have had
too many technical warts to be attractive to nontechnical people,
except in heavily constrained situations. But the radio demo was
intriguing. It's making it harder for me to retain the skepticism
I've been displaying in the other notestring about speech.

Apple's Vice President In Charge of Giving Demos On Radio used what
sounded a lot like continuous speech to tell the computer to schedule
a meeting. The interactions were well rehearsed; the veep spoke very
clearly and distinctly. The computer didn't show any confusion when
responding to the three or four voice commmands.  Each command sounded
like an imperative sentence with several words rather than an order
consisting of a single word.

There was also talk of a 100,000 word vocabulary, though it sounded
as if much of that is used in a discrete speech mode rather than
continuous.

It sounded to me like Casper has real potential, though I'm still not
sure they've managed to eliminate enough warts to make it attractive
to most people.  I'll be really interested to see one of these in the
flesh, or even demo'ed by an unbiased third party.

Rick.
smith@sctc.com        arden hills, minnesota
Newsgroups: comp.ai
From: leegye@vuse.vanderbilt.edu (Gyesung Lee)
Subject: PRICAI
Summary: Copy of the posting.
Originator: leegye@vuse2
Keywords: Pacific Rim International Conference on AI
Organization: Vanderbilt University School of Engineering, Nashville, TN, USA
Distribution: usa
Date: Wed, 8 Apr 1992 05:54:00 GMT

The cfp for PRICAI was posted long time ago.
I lost the hardcopy of the posting.

Can anybody send me the orignal posting for PRICAI
(Pacific Rim International Conference on AI) 
via e-mail ?

Thanks for help in advance.

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

leegye@vuse.vanderbilt.edu
Newsgroups: comp.ai
From: sveini@forit.forut.no (Svein-Ivar Lillehaug)
Subject: Clinical Alarms and AI, reference request
Organization: University of Tromsoe, Norway
Date: Mon, 6 Apr 1992 17:00:49 GMT


I have lost the full reference for the following paper. Can anybody help
me with: proceedings? editors? journal? year published?

Authors: Henkind, S.J.
	 Yager, R.R.
	 Benis, A.M.
	 Harrison, M.C.

Title: A Clinical Alarm System Using Techniques from Artificial 
       Intelligence and Fuzzy Set Theory

..or, maybe anybode can provide me with an email address to Henkind?
He was at Mount Sinai School of Medicine (N.Y.) when the paper was
published.


Thanks in advance,
Svein-Ivar

"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
" Svein-Ivar Lillehaug      " sveini@forit.forut.no                   "
" Norw Telecom Proj TeleMed " svein-ivar.lillehaug@fbt.tf.tele.no     "
" Tromsoe,  NORWAY          " Teleph.: +47 83 10273/10260  Fax: 82420 "
"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
" TROMSOE, city of the midnight fun  -from the book "Let's go Europe" "
"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
From: dkf8117@tamsun.tamu.edu (Duane)
Newsgroups: comp.ai
Subject: "moby" dictionaries?
Date: 10 Apr 92 18:52:04 GMT
Article-I.D.: tamsun.12168
Organization: Texas A&M University, College Station

Has anyone seen the moby dictionaries? Are they online for ftp anywhere?

Duane

-- 
+---------------------------+---------------------+--------------------------+
| Duane Fields              |    Friends don't    |  Work#   (409) 845-6904  |
| Box 1315                  |   let friends use   |  Home#   (409) 847-6760  |
| College Station, Tx 77841 |       MS-DOS.       |  dkf8117@tamsun.tamu.edu |
From: jplaure@IMAG.FR (Jean-Pierre Laurent)
Newsgroups: comp.ai
Subject: IJCAI-93 server
Date: 6 Apr 92 12:13:54 GMT
Article-I.D.: imag.9204061213.AA21950
Organization: IMAG Institute, University of Grenoble, France

*****************************************************************
IJCAI-93 : Information is available on a special automatic IJCAI server.
At present you can get from this server the different Calls for Papers,
Videos, Tutorials, Workshops, Panels, as well as the coordinates of all
responsibles and a process to follow in order to be sure to receive the
Conference Brochure in early 93.

People must send an email to:  ijcai-serv@imag,fr
subject: anything
content: for first time used type only 'help'

*****************************************************************

Please redistribute the above information on appropriate local blackboards.
Thanks very much in advance.


J.P. LAURENT
University of Chamb{ry
LIA  -  BP 1104
F  -  73011  CHAMBERY

Tel: (+33) 79 96 10 62
Fax: (+33) 79 96 34 75
email: jplaure@imag.fr

-- 
JP Laurent
Newsgroups: comp.ai
From: karkan@msdrl.com (Jim Karkanias)
Subject: NeuralWare
Organization: Merck Sharp & Dohme Research Laboratories
Date: Tue, 7 Apr 92 18:14:21 GMT

We are thinking about purchasing this product; does anyone have any first hand
experience with it that they would like to share?  Thanks.


Jim
From: rapaport@acsu.buffalo.edu (William J. Rapaport)
Newsgroups: comp.ai
Subject: Computer Science position at SUNY Buffalo
Date: 6 Apr 92 16:46:53 GMT
Organization: State University of New York at Buffalo/Comp Sci


             STATE UNIVERSITY OF NEW YORK AT BUFFALO

                 Department of Computer Science
                   Temporary Faculty Position

We anticipate an opening for a one-year visiting faculty position
for  the  coming  year at a competitive salary for a new Ph.D. or
for a more senior person who wants  to  supplement  a  sabbatical
salary.  The successful candidate will teach one course or gradu-
ate seminar each semester. I would welcome you bringing  this  to
the  attention  of your finishing doctoral students or colleagues
who might be interested.  Please ask anyone interested to  submit
a curriculum vitae, and to arrange to have four letters of refer-
ence  sent  directly  from  their  referees,  to  me  by   e-mail
(selman@cs.buffalo.edu) or by mail to

                  Alan L. Selman
                  Department of Computer Science
                  226 Bell Hall
                  State University of New York at Buffalo
                  Buffalo, NY 14260

The Department currently  has  15  tenure-track  faculty, 12  ad-
ditional    faculty,   and   125   graduate   students.   Primary
research  areas  include:  artificial  intelligence,   complexity
theory,   computer vision, numerical linear algebra, parallel al-
gorithms, programming languages,  systems  and  VLSI.  Department
members   are   actively  engaged  in  interdisciplinary research
programs in the Advanced Scientific  Computing   Graduate  Group,
the  Cognitive Science Center, the Vision Graduate Group, and the
NSF National Center for  Geographic  Information  and   Analysis.
Departmental  computing  facilities include a network of worksta-
tions, hypercubes, Symbolics, an Encore   Multimax   and  several
image processing/graphics systems.
Xref: sparky comp.ai:1928 comp.lang.lisp:1322
From: rapaport@acsu.buffalo.edu (William J. Rapaport)
Newsgroups: comp.ai,comp.lang.lisp
Subject: Re: LISP Tutorial  Software
Date: 7 Apr 92 16:44:00 GMT
Organization: State University of New York at Buffalo/Comp Sci

In article <1992Mar24.033302.24606@monu6.cc.monash.edu.au> eagle@yoyo.cc.monash.edu.au (Steven Aquilina) writes:
>I am looking for a tutorial software package for the LISP programming
>language.

The following is not online, but it is a self-tutoring text and highly
recommended:

Stuart C. Shapiro, _Common Lisp:  An Interactive Approach_,
New York:  Computer Science Press/W. H. Freeman, 1992,
(paper), ISBN 0-7167-8218-9
From: goan@toadflax.UCDavis.EDU (Terrance Goan)
Newsgroups: comp.ai
Subject: Multiple class ID3
Date: 6 Apr 92 20:53:28 GMT
Article-I.D.: ucdavis.11983
Reply-To: goan@toadflax.UCDavis.EDU (Terrance Goan)
Organization: UC Davis, EECS Division of Computer Science


I am looking for an implementation of ID3 which allows more than 2
classes.  Can you
help me out?


TJ.
From: cwalker@canopus.tmc.edu (carleton walker `93)
Newsgroups: comp.ai
Subject: Looking for Information on Medical Expert Systems
Date: 13 Apr 92 01:40:21 GMT
Article-I.D.: hydra.1342
Organization: Bucknell University, Lewisburg, Pa.


	I am looking for information on medical expert systems like
MYCIN. I am not interested in implmentation, just data regarding their
effectiveness/ineffectiveness.

Thanks,
Carl Walker
--
Carl Walker				"Hectic days ahead of us,
Bucknell University			 Rotten ones behind,
Lewisburg, PA				 Keeping plastics in our pockets,
					 Children never mind." - K, S, & W
From: smith@sctc.com (Rick Smith)
Subject: Re: Voice Recog. on Desktop
Keywords: speech, voice, dragon
Organization: SCTC
Date: Fri, 10 Apr 1992 14:00:31 GMT

I wrote:

>>It'll be quite a while
>>before speech systems can compete with typists working from dictaphone
>>tapes.

And jgoodman@endor.uucp (Joshua Goodman) responded:

>But I should note that there is a commercial implementation, Dragon
>Dictate, of a 30,000 word speaker adaptive discreet speech recognition
>system.  Speakers reach 30-40 words a minute.

For the record, this performance is _not_ competitive with typists
working from dictaphone belts. 

Rick.
smith@sctc.com        arden hils, minnesota
Newsgroups: comp.ai.shells
From: skannan@magnus.acs.ohio-state.edu (Suresh Kannan)
Subject: Help needed with Nexpert Object API
Organization: The Ohio State University
Distribution: usa
Date: Tue, 7 Apr 1992 16:09:51 GMT


I am getting some errors when I use the makefile for the hello examples
in Nexpert. I've removed the "all: ..." line in makefile.win and am
using the command "make makefile.win". The errors that I get are

MAKE : warning U4000: 'wnxpinte.obj' : target does not exist
MAKE : warning U4000: 'whello1.obj' : target does not exist
MAKE : warning U4000: 'whello2.obj' : target does not exist
MAKE : warning U4000: 'whello2.exe' : target does not exist
... and so on.

The .obj and .exe files are created.
When I run whello1.exe, and load the knowledge base, suggest a hypothesis
and run, it says "no handler installed". 
 
I have the following installed on a 486 machine:
 Nexpert Object 2.0B
 Microsoft C 5.1
 Microsoft Windows 3.0
 Microsoft Windows SDK 3.0

My autoexec file includes the following:
 path=c:\windows;d:\nexpert;d:\c;d:\c\bin;d:\windev
 set nexpert=d:\nexpert
 set nxpprot=d:\nexpert
 set nxpforms=d:\nexpert
 set lib=d:\windev\lib;d:\nexpert\lib;d:\c\lib
 set include=d:\windev\include;d:\nexpert\include;d:\c\include

Also I have copied the linker link.exe version 5.01.21 after installation.

Any help in this regard will be highly appreciated.
 
My email address is :

kannan@kcgl1.eng.ohio-state.edu
        or
skannan@magnus.acs.ohio-state.edu

Thanks
-Suresh
From: brian@galileo.jsc.nasa.gov (Brian Donnell)
Newsgroups: comp.ai.shells
Subject: Re: CLIPS as a realtime process control shell
Date: 9 Apr 1992 15:00:51 GMT
Organization: NASA/JSC

In article <1992Apr7.213919.22700@ads.com>, efulsang@ADS.COM (Ejner Fulsang) writes:
> But, I still dispute the part about no direct support for temporal reasoning.
> 

I will not argue that one cannot beat CLIPS about the head and shoulders to
do process control, but I would not call the (time) function much support
for temporal reasoning.  When I use that term, I envision such capabilities
as being able to tell CLIPS how often to check the LHS of a rule.

The example you gave would be very inefficient, I believe.  The modify
function is equivalent to a retract/assert, and you would be constantly
retracting and reasserting your state-facts to update the time-stamps.
This type of behavior defeats the Rete algorithm, which assumes that the
knowledge base changes slowly over time.

> 	The only support not directly provided by CLIPS right now is
> the interface code, but I don't know of any other systems that provide
> that kind of code built in anyway.

G2, a tool designed specifically for this type of problem, provides all
the support you might need.  Temporal aspects are ingrained into the whole
architecture of the system and are its strengths.  However,its inferencing
capabilities (which are CLIPS' strengths) are weak.

>`Sorry, Brian.  Nothing you can 
> say will shake my appreciation of the efforts of you and the rest of
> the CLIPS Design Team.  
> 

Well, I certainly hope not! :-)

Brian Donnell
NASA/JSC
CLIPS Development Team
From: goldstn@cse.uta.edu (David Goldstein)
Subject: help CLIPS user's group!!!
Organization: Computer Science & Engineering, Univ. of Texas at Arlington
Distribution: usa
Date: Mon, 6 Apr 1992 15:12:44 GMT

Concerning the prospective May 15-16 CLIPS Workshop at the North Texas
Association for Artificial Intelligence's 3rd Annual AI Extravaganza:

I'm trying to send mail to:

Brian Donnel
Garey Riley
Chris Culbert
Dr. Savely

concernign arranging paying for their airfare.  I recently received
some really nasty bounce messages upon mailing to NASA...does anyone have 
their current email addresses (hoping Brian's reading this!)

I apologize to everyone else reading this.

David Goldstein
-- 
David Goldstein				
Faculty Associate			(poet, musician, good all-around guy)
University of Texas at Arlington  *   * (future rock star, pro-football player)
AI, parallel/distr processing,      *   (something really witty goes here)
Newsgroups: comp.ai.shells
From: akbellur@uokmax.ecn.uoknor.edu (Anjan Kumar P Bellur)
Subject: EXPERT SYSTEMS SOFTWARE
Organization: Engineering Computer Network, University of Oklahoma, Norman, OK
Date: Thu, 9 Apr 1992 15:50:09 GMT

Hi Netters,

	This is a request. I have been looking for information
on SOFTWARES for EXPERT SYSTEMS that are being presently used,
especially in the business area. I have been able to get the 
names of some of the software but no information about them.
I was hoping some of you would be able to help me out.

Anjan Bellur
From: abh@vax1.mankato.msus.edu
Newsgroups: comp.ai.shells
Subject: PD Clips for Macintosh
Date: 7 Apr 92 16:24:53 GMT
Article-I.D.: vax1.1992Apr7.102453.1676
Organization: Mankato State University

Could somebody inform me if there is a public domain Clips available for
the Macintosh and where I could get it. Thanks in advance. 
-  AB
abh@vax1.mankato.msus.edu  --> Internet
Newsgroups: comp.ai.shells
From: mhkho@ntuix.ntu.ac.sg (Ho Hiang Kwee)
Subject: Re: G2 mailing list
Organization: Nanyang Technological University Singapore
Date: Sat, 11 Apr 1992 02:47:48 GMT

RKooijman@dnpap.et.tudelft.nl (RKooijman@dnpap.et.tudelft.nl) writes:
: 
: 
: I started a G2 mailing list for users of the G2 expert system shell.
: Anyone who wants to join us , can send a mail message to me.
: If you ask me politely, I will add you to the mailing list  ;-) .
: 
: The mailing list: g2@dutepp0.et.tudelft.nl
: My mail address:  richard@dutepp6.et.tudelft.nl
: 
: 
: 
: Richard.
: 

There's actually already an existing (half a year old) g2 users list.
It might be a good idea to join forces.
Send mail to g2-users-request@cx.dnv.no for more information.

--
Hiang-Kwee Ho    
School of Mech. & Prod. Eng
Nanyang Technological Univ, Singapore
(Internet: mhkho@ntuix.ntu.ac.sg
 Bitnet:   mhkho@ntuvax )
-- 
Hiang-Kwee Ho    
School of Mech. & Prod. Eng
Nanyang Technological Univ, Singapore
(Internet: mhkho@ntuix.ntu.ac.sg
Newsgroups: comp.ai.shells
From: robert@aero.org (R. S. Statsinger)
Subject: G2 Weak on Inferencing? (Was: CLIPS as a realtime process control shell)
Organization: Ssaymssik Inc.
Date: Thu, 9 Apr 1992 20:00:41 GMT

In article <1992Apr9.150051.8832@aio.jsc.nasa.gov> brian@galileo.jsc.nasa.gov (Brian Donnell) writes:

>G2, a tool designed specifically for this type of problem, provides all
>the support you might need.  Temporal aspects are ingrained into the whole
>architecture of the system and are its strengths.  However,its inferencing
>capabilities (which are CLIPS' strengths) are weak.

This is the second reference I've seen in this group which indicates
that G2's inferencing capabilities are weak. 

From what I know of G2, it provides an opportunistic inference engine
(so it can perform either backwards and forwards chaining on the same
rule set), and in version 3.0 we will have dynamic rule priorities.
There are perhaps some conflict resolution strategies missing,
but aside from this, why do people consider G2 weak on inferencing?

This is an important issue for some work I am doing; either post
followup articles or email me.

Thanks mucho,

	Bob Statsinger
	robert@aero.org

Newsgroups: comp.ai.shells