任意公理系统的依赖基
Dependency Basis of Arbitrary Axiomatic System作者机构:辽宁科技大学软件学院鞍山114051
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:2013年第40卷第2期
页 面:200-205页
核心收录:
学科分类:08[工学] 081104[工学-模式识别与智能系统] 0811[工学-控制科学与工程]
摘 要:形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。