Discussion about Fixed Point Semantics in Logic Programming

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

更新时间：2026-05-27

- Discussion about Fixed Point Semantics in Logic Programming
- Vol. 22, Issue 2, Pages: 120-124(2005)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Online First：01 June 2005，
  
  Published：2005
- 稿件说明：
移动端阅览
刘富春. 关于逻辑程序不动点语义的讨论[J]. 广东工业大学学报, 2005, 22(2): 120-124.

LIU Fu-chun. Discussion about Fixed Point Semantics in Logic Programming[J]. 2005, 22(2): 120-124.
刘富春. 关于逻辑程序不动点语义的讨论[J]. 广东工业大学学报, 2005, 22(2): 120-124. DOI：

LIU Fu-chun. Discussion about Fixed Point Semantics in Logic Programming[J]. 2005, 22(2): 120-124. DOI：

主要讨论逻辑程序中的最大不动点语义.证明了当Herbrand解释语义映射TP是保滤子交的

或者确定性程序中不含函数符号

或者它的每一个子句都满足:子句体的变量都在子句头中出现时

集合Tp↓ω就是语义映射Tp的最大不动点.然后定义了另一个Herbrand解释语义映射Fp

将关于逻辑程序不动点语义的一些主要结论进行了推广.

The great fixed point in logic programming is discussed. If the mapping of Herbrand interpretations T_p preserves filtered infs

or there are no function symbols in a definite program

or each variable in the body of the clause also appears in the head for each clause in the definite program

the set　T_p↓ω is the great fixed point of the mapping T_p. By Defined another mapping of Herbrand interpretations F_p

some Lloyd J W’s results on the fixed points are generalized.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Bimodal Iterative Cross-attention Fusion Ensemble Framework

An Optimal Operation Strategy for Community Microgrid Alliances Considering Power Exchange under Multi-package Shared Energy Storage Model

Ground Deformation Monitoring and Influencing Factors Analysis in Fuzhou City Based on PSI Technology

Multi-Scale Contrastive Embedding Enhanced Adaptive Intrusion Detection Model

A Resource Allocation Optimization Method for Multi-UAV Integrated Sensing, Computing, and Communication Towards Disaster Relief

Related Author

No data

Related Institution

No data

AI问答

⁰