Linear Algebraic Characterization of Logic Programs
Linear Algebraic Characterization of Logic Programs
复制标题
逻辑程序的线性代数表征
DOI：
10.1007/978-3-319-63558-3_44
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Taisuke Sato
中科院分区：
文献类型：
--
作者：
Chiaki Sakama;Katsumi Inoue;Taisuke Sato
This paper introduces a novel approach for computing logic programming semantics based on multilinear algebra. First, a propositional Herbrand base is represented in a vector space and if-then rules in a program are encoded in a matrix. Then we provide methods of computing the least model of a Horn logic program, minimal models of a disjunctive logic program, and stable models of a normal logic program by algebraic manipulation of higher-order tensors. The result of this paper exploits a new connection between linear algebraic computation and symbolic computation, which has potential to realize logical inference in huge scale of knowledge bases.
登录
查看更多内容
通过混合整数编程进行答案集编程
DOI：
--
发表时间：
2012
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
Guohua Liu;T. Janhunen;I. Niemelä
通讯作者：
I. Niemelä
DOI：
10.1007/s13218-018-0554-8
发表时间：
2011
期刊：
KI - Künstliche Intelligenz
影响因子：
--
作者：
M. Balduccini;S. Woltran
通讯作者：
S. Woltran
考虑在逻辑编程理论与实践中发表数据记录评估的线性代数方法
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Taisuke Sato
通讯作者：
Taisuke Sato
在向量空间中嵌入 Tarskian 语义
DOI：
--
发表时间：
2017
期刊：
AAAI Workshops
影响因子：
--
作者：
Taisuke Sato
通讯作者：
Taisuke Sato
析取LP完整性约束=稳定的模型语义
影响因子：
1.2
作者：
J. A. Fernández;Jorge Lobo;J. Minker;V. S. Subrahmanian
通讯作者：
V. S. Subrahmanian