Movatterモバイル変換

Network Working Group                                            M. WilberRequest for Comments #152                                        10 May 71NIC #6756                                                        SRAICategory: G.3Obsoletes: NoneUpdates: NoneResponse to RFC #116                SRI ARTIFICIAL INTELLIGENCE STATUS REPORT     The Stanford Research Institute's Artificial Intelligence Group (SRAIin the four-letter abbreviations) expects connection to the ARPA net as aresearch center after conversion this summer to a TENEX from our currentPDP-10. Our connection will be through the IMP already at SRI for theNetwork Information Center and through a PDP-15 serving our PDP-10 as acontroller of peripherals. Our hardware interface to the IMP is currentlyin the bidding process, and we intend to use as much as possible of theTENEX network software. (Probably all we will need to change is the lowestlevel, most strongly hardware-oriented part of the NCP.)     The most optimistic estimate we can give for functional connection tothe network is mid-July 1971. We are currently devoting the energies ofour system support group to the accomodation of various hardware and designchanges, and so our contact with the Network Working Group has been onlyminimal and passive. It is entirely conceivable that we may find our par-ticipation tending to strength and activeness as we cross our other bridges.     We can project our participation in the network into the first fewmonths of our connection. We can support several simultaneous outsideusers on a system nominally up during the business day and often up atother times. Lapses in continuity of system operation are usually due toscheduled maintenance or hardware failures and tend to occur at intervalsof either an hour or several days with remarkable consistency. The prin-cipal service we offer to other network participants is the availabilityof various parts of our own research software. The most notable examplesare QA3.6, a first-order resolution theorem prover;  STRIPS, an extra-logical problem solver;  and possibly QA4, a language oriented towardproblem-solving strategies. The services we can anticipate requestingof the network are of two kinds: We could conceivably use other people'sartificial intelligence programs on a trial basis; and we might use thenetwork to make occasional contact with other people in the network.        [ This RFC was put into machine readable form for entry ]        [ into the online RFC archives by BBN Corp. under the   ]        [ direction of Alex McKenzie.                   12/96   ]Kreznar                                                         [Page 1]