...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of the Franklin Institute >The 2003 Benjamin Franklin Medal in computer and cognitive science presented to John McCarthy (Stanford California). John McCarthy's multiple contributions to the foundations of artificial intelligence and computer science
【24h】

The 2003 Benjamin Franklin Medal in computer and cognitive science presented to John McCarthy (Stanford California). John McCarthy's multiple contributions to the foundations of artificial intelligence and computer science

机译：2003年授予计算机科学和认知科学的本杰明·富兰克林奖章，颁给了约翰·麦卡锡（加利福尼亚州斯坦福）。约翰·麦卡锡（John McCarthy）对人工智能和计算机科学基础的多重贡献

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Since the mid-1950s, John McCarthy has made seminal contributions to a remarkably diverse range of important areas in computer science. In this report, we examine several of these contributions: As one of the fathers of artificial intelligence, he originated the logic-based paradigm of artificial intelligence (AI) research, arguably both the most productive approach to AI problems to date and the most promising for the future. He invented the time shared use of computer systems for the interactive development of software, a technique that allowed a single computer of large capacity to appear to a large number of simultaneous users as if that machine were theirs alone. He invented the LISP programming language, creating a program language design for the first, time that was based on mathematical foundations rather than a partial abstraction away from the underlying computer hardware. The practical impact of his work has been enormous. Functional programming languages, of which LISP was the first, remain widely used, and the programming language constructs he invented remain the basis of modern programming control structures. The notion of time sharing, which he invented, remains a principle paradigm for the use of large computers even today. McCarthy's use of logic was among the primary intellectual sources of logic programming and automated theorem proving, and of many of their important applications.
机译：自1950年代中期以来，约翰·麦卡锡（John McCarthy）在计算机科学的重要领域中做出了重大贡献。在这份报告中，我们研究了其中的一些贡献：作为人工智能之父之一，他提出了基于逻辑的人工智能（AI）研究范式，可以说是迄今为止解决问题最有效的方法，也是最有前途的方法为将来。他发明了使用时间共享的计算机系统来进行软件的交互式开发的技术，该技术使一台大容量的计算机可以同时出现在大量用户面前，就好像该计算机是他们的机器一样。他发明了LISP编程语言，这是第一次基于数学基础而不是部分地从底层计算机硬件抽象出来的程序语言设计。他的工作的实际影响是巨大的。功能编程语言（LISP是第一种）一直被广泛使用，他发明的编程语言构造仍然是现代编程控制结构的基础。他发明了时间共享的概念，即使在今天，它仍然是使用大型计算机的基本范例。麦卡锡对逻辑的使用是逻辑编程和自动定理证明及其许多重要应用的主要知识来源之一。

著录项

相似文献

  • 外文文献
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号