期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
人工智能中的上下文推理 被引量:3
1
作者 石黎 林仙 《微计算机信息》 北大核心 2006年第12Z期210-212,共3页
对上下文推理的原理和形式进行了阐述,讨论了上下文推理的形式化问题,并给出一个利用MCS对问题进行形式化表示和求解的实例。
关键词 上下文 上下文推理 上下文形式
下载PDF
一种构造概念格的算法 被引量:2
2
作者 庞智恒 何伟 +1 位作者 樊磊 曹学磊 《中央民族大学学报(自然科学版)》 2008年第1期19-23,共5页
本文讨论了概念格分层的相关性质,根据这些性质提出了一种新的构造概念格的算法,在找到所有概念的同时生成相应的Hasse图.
关键词 形式概念分析 形式上下文 概念格 Hasse图
下载PDF
基于Pyparsing的LaTeX数学表达式解析
3
作者 宋丛威 《电脑编程技巧与维护》 2019年第5期4-6,16,共4页
用Python的解析工具Pyparsing对TeX文件中的数学公式进行解析。从数学类LaTeX文件中总结出LaTeX数学公式的上下文无关文法。用Pyparsing写出解析程序。解析结果可以表示LaTeX中数学公式的逻辑结构。该方法也可以用Wiki百科中数学公式的... 用Python的解析工具Pyparsing对TeX文件中的数学公式进行解析。从数学类LaTeX文件中总结出LaTeX数学公式的上下文无关文法。用Pyparsing写出解析程序。解析结果可以表示LaTeX中数学公式的逻辑结构。该方法也可以用Wiki百科中数学公式的解析。 展开更多
关键词 LaTeX系统 Pyparsing软件 PEG文法 BNF文法 上下文形式文法 正则表达式
下载PDF
K-Theory and the Quantization Commutes with Reduction Problem
4
作者 Nigel HIGSON Yanli SONG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2014年第5期703-732,共30页
The authors examine the quantization commutes with reduction phenomenon for Hamiltonian actions of compact Lie groups on closed symplectic manifolds from the point of view of topological K-theory and K-homology. They ... The authors examine the quantization commutes with reduction phenomenon for Hamiltonian actions of compact Lie groups on closed symplectic manifolds from the point of view of topological K-theory and K-homology. They develop the machinery of K-theory wrong-way maps in the context of orbifolds and use it to relate the quantization commutes with reduction phenomenon to Bott periodicity and the K-theory formulation of the Weyl character formula. 展开更多
关键词 Symplectic reduction QUANTIZATION K-THEORY K-HOMOLOGY CompactLie groups
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部