KS X ISO/IEC 24707-2008(2018)
信息技术——公共逻辑(CL):一系列基于逻辑的语言的框架

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

2023-01

 

 

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

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

 

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

KS X ISO/IEC 24707-2008(2018)相似标准


推荐

科学发现有规律可循吗?

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

X射线衍射仪远程网络实验室开发

系统数据库使用MySQL软件进行开发,并从逻辑结构设计和物理设计两方面进行设计。Web服务器使用Java语言结合SSH框架和AJAX技术开发;设计了课程预约流程,解决过多人同时上课网络拥堵问题;采用基于FTP传输协议文件传输模式,解决了传统文传输时电脑易感染病毒问题,实现了实验信息共享;采用flowplayer页面播放器,实现了实验案例点播。...

百度CTO王海峰揭秘文心一言背后AI技术

通过引入搜索结果,可以为大模型提供时效性强、准确率高参考信息,更好地满足用户需求。在对话增强方面,基于对话技术和应用积累,文心一言具备记忆机制、上下文理解和对话规划能力,实现更好对话连贯性、合理性和逻辑性。...

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

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





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