KS X ISO/IEC 24707-2023
信息技术 通用逻辑(CL):一系列基于逻辑的语言的框架

Information technology-Common Logic(CL):a framework for a family of logic-based languages


 

 

非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 KS X ISO/IEC 24707-2023 前三页,或者稍后再访问。

您也可以尝试购买此标准,
点击右侧 “立即购买” 按钮开始采购(由第三方提供)。

 

标准号
KS X ISO/IEC 24707-2023
发布
2023年
发布单位
韩国科技标准局
当前最新
KS X ISO/IEC 24707-2023
 
 

KS X ISO/IEC 24707-2023相似标准


推荐

科学发现有规律可循吗?

研究者将认知科学学科框架映射到现代逻辑背景之中,得到认知逻辑(cognitive logic)学科框架。在这个框架中,我们有哲学逻辑、心理逻辑语言逻辑、人工智能逻辑、文化与进化逻辑以及神经系统逻辑。认知逻辑是对现代逻辑“重新洗牌”,适应于认知科学背景下逻辑发展。   第三,将心理逻辑安放在认知逻辑合理框架内,心理逻辑取得了合理存在理由。...

百度首席技术官首度表态“通用人工智能”

体现人工智能核心能力四个关键词在一众与人工智能相关词汇中,王海峰选出了四个词:理解、生成、逻辑和记忆。在他看来,这四个词所代表含义,既是人工智能最核心能力,也是通用人工智能系统应具备最基本能力。“比如大语言模型要创作一篇内容,它需要‘理解’创作主题,理清创作‘逻辑’,在‘记忆’中搜寻素材,并将对素材理解融会贯通,最后‘生成’一篇合格文稿。”...

百度CTO王海峰:通用人工智能曙光已现

王海峰举例说,编程、解题、做规划等也同样如此:“如果一个人工智能系统具备了很强理解、生成、逻辑和记忆能力,它就可以完成许多不同任务。”  显然,理解、生成、逻辑、记忆这四个关键词代表含义,也正是贯穿于人类思考过程中能力。王海峰认为,如今,大语言模型已经初步具备了这几个方面的能力,而随着这些能力越来越强,“就会让我们更快地走向通用人工智能”。  ...

通过图灵测试就有AI能力?实现认知智能还很远

基于模型的人工智能框架依赖于先前定义规则、逻辑和算法,通过编程方式进行建模和决策。这包括符号主义和专家系统等方法。另一方面,基于数据的人工智能框架则侧重于利用大规模数据进行训练和学习,通过机器学习和深度学习技术从数据中发现模式和规律。这种方法代表是神经网络和深度学习模型。这两种技术基础各自具有优势和适用场景,目前的人工智能发展往往将它们结合起来,以实现更强大和全面的智能能力。...





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号