带默认、弱与严格否定的逻辑编程
计算机科学中的逻辑
2007-05-23 v1
摘要
本文讨论了包含三种否定形式的逻辑编程：默认否定、弱否定和严格否定。讨论了针对三种否定形式的逻辑程序的 3 值逻辑模型理论。构建了针对否定形式的求解程序，以确保该程序在 3 值逻辑模型理论下的正确性。
引用
@article{arxiv.cs/0511041,
title = {Logic Programming with Default, Weak and Strict Negations},
author = {Susumu Yamasaki},
journal= {arXiv preprint arXiv:cs/0511041},
year = {2007}
}
备注
14 pages, to appear in Theory and Practice of Logic Programming (TPLP)