非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 KS X ISO/IEC 10179-2020 前三页，或者稍后再访问。
您也可以尝试购买此标准，
点击右侧 “立即购买” 按钮开始采购（由第三方提供）。
从SP推出的SP公式和SP演算，用于程序的语义计算和语义综合，可借助符号处理工具完成程序正确性证明。”袁崇义表示，一旦开发出相应的符号处理系统，测试就不再是编程必要的一步。SP公式和SP演算还适用于描述程序规范和规范分析。 同时，袁崇义尝试SP和A用于C语言指针的语义处理，提出了指针的语义公理，表明OESPA可以用于传统语言程序的语义形式化处理。...
横轴表示预测目标词呈现时间，纵轴表示经验逻辑转换后注释比例，曲线表示模型拟合情况 综上所述，该研究考察了言语理解中的预测内容，揭示了言语理解中对下文语义与语音信息的预测，该成果有助于加深对预测内容与加工机制的理解，将为构建更完整的语言理解模型提供科学证据，为自然语言处理和语言类脑智能提供重要启示。 ...
语义网，顾名思义，就是能够根据语义进行判断的网络，它不仅能够理解人类的语言，且可以使人机交流变得如人与人交流一样轻松。语义网是智能网络，它可以说是脱胎于万维网，但与万维网完全不同，万维网面向的是文档，而语义网面向的则是文档所表示的数据。如伯纳斯-李所言，万维网使得所有的网络文件看起来像一本巨大的书，而语义网则使网络上的所有数据汇总成为一个巨大的数据库。 ...
自然语言处理与理解，则研究自然语言的语境、语用、语义和语构；大型词库、语料和文本的智能检索，语音和文字的计算机输入方法，词法、句法、语义和篇章的分析，机器文本和语音的生成、合成和识别，各种语言之间的机器翻译和同传等。 ...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证：京ICP证110310号