• 软件测试技术
  • 软件测试博客
  • 软件测试视频
  • 开源软件测试技术
  • 软件测试论坛
  • 软件测试沙龙
  • 软件测试资料下载
  • 软件测试杂志
  • 软件测试人才招聘
    暂时没有公告

字号: | 推荐给好友 上一篇 | 下一篇

RFC152 - SRI Artificial Intelligence status report

发布: 2007-6-23 14:09 | 作者:   | 来源:   | 查看: 42次 | 进入软件测试论坛讨论

领测软件测试网

   
  Network Working Group M. Wilber
Request for Comments #152 10 May 71
NIC #6756 SRAI
Category: G.3
Obsoletes: None
Updates: None

Response to RFC#116

SRI ARTIFICIAL INTELLIGENCE STATUS REPORT

The Stanford Research Institute's Artificial Intelligence Group (SRAI
in the four-letter abbreviations) expects connection to the ARPA net as a
research center after conversion this summer to a TENEX from our current
PDP-10. Our connection will be through the IMP already at SRI for the
Network Information Center and through a PDP-15 serving our PDP-10 as a
controller of peripherals. Our hardware interface to the IMP is currently
in the bidding process, and we intend to use as much as possible of the
TENEX network software. (Probably all we will need to change is the lowest
level, most strongly hardware-oriented part of the NCP.)

The most optimistic estimate we can give for functional connection to
the network is mid-July 1971. We are currently devoting the energies of
our system support group to the accomodation of various hardware and design
changes, and so our contact with the Network Working Group has been only
minimal 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 few
months of our connection. We can support several simultaneous outside
users on a system nominally up during the business day and often up at
other times. Lapses in continuity of system operation are usually due to
scheduled maintenance or hardware failures and tend to occur at intervals
of either an hour or several days with remarkable consistency. The prin-
cipal service we offer to other network participants is the availability
of various parts of our own research software. The most notable examples
are QA3.6, a first-order resolution theorem prover; STRIPS, an extra-
logical problem solver; and possibly QA4, a language oriented toward
problem-solving strategies. The services we can anticipate requesting
of the network are of two kinds: We could conceivably use other people's
artificial intelligence programs on a trial basis; and we might use the
network to make occasional contact with other people in the network.

[ This RFCwas put into machine readable form for entry ]
[ into the online RFCarchives by BBN Corp. under the ]
[ direction of Alex McKenzie. 12/96 ]

文章来源于领测软件测试网 https://www.ltesting.net/


关于领测软件测试网 | 领测软件测试网合作伙伴 | 广告服务 | 投稿指南 | 联系我们 | 网站地图 | 友情链接
版权所有(C) 2003-2010 TestAge(领测软件测试网)|领测国际科技(北京)有限公司|软件测试工程师培训网 All Rights Reserved
北京市海淀区中关村南大街9号北京理工科技大厦1402室 京ICP备10010545号-5
技术支持和业务联系:info@testage.com.cn 电话:010-51297073

软件测试 | 领测国际ISTQBISTQB官网TMMiTMMi认证国际软件测试工程师认证领测软件测试网