PulseAugur
中
实时 08:08:05
实体 Logic Tensor Networks

Logic Tensor Networks

PulseAugur coverage of Logic Tensor Networks — every cluster mentioning Logic Tensor Networks across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_06312 ·

    NeSyCat论文统一了神经符号ULLER框架的语义与单子

    研究人员引入了NeSyCat，一个基于单子的新颖范畴框架，它统一了神经符号ULLER系统的语义。该方法表明，ULLER的一阶逻辑语法的经典、模糊和概率语义都是单一基于单子的结构的实例。该框架便于模块化地添加新语义，并实现它们之间的系统性转换，其中一个例子展示了逻辑张量网络中广义量化的扩展。