HC:霍恩条款
“霍恩子句”(Horn Clause,常缩写为HC)是一种在数理逻辑及计算机科学等学术领域中广泛使用的逻辑表达式形式。该术语常被简写为HC,以方便在论文、教材和演算过程中快速书写和引用。它得名于逻辑学家阿尔弗雷德·霍恩(Alfred Horn),主要用于逻辑编程、自动推理以及知识表示等研究与应用场景。
Horn Clause的英文发音
例句
- Fuzzy Horn Clause(HC) Rules and Its Discovery Algorithm
- 模糊Horn子句规则及其发现算法
- Fuzzy procedural interpretation for f - Horn clause rules and the Fuzzy logic program system are presented.
- 最后,我们成功地给出了f-Horn子句规则的模糊过程解释,并由此引入了模糊逻辑程序系统。
- The simulation and correspondence between Horn clause and context-free grammar make the most efficient algorithm-the Earley Algorithm about context-free grammar applied to the implementation of logical programs.
- Horn子句和上下文无关方法的相似性、对应性,使上下文无关文法的最有效算法&Earley算法的思想,应用于逻辑程序的实现。
- This paper discusses the capabilities and methods rules of Horn clause are expressed in relational algebra and SQL, and points out that deductive rules have a strong affinity to views in relational databases.
- 本文讨论了关系代数及SQL语言表示Horn子句规则的能力与方法,指出关系数据库的视图与规则有很强的相似性。
- This paper contains : the development history of logic programming, logic programming and Horn clause, PROLOG language, the features and the parallelism of logic programming, and also some problems existed in logic programming.
- 本文包括:逻辑程序设计的发展历史,逻辑程序设计与Horn子句、Prolog语言,逻辑程序设计的特点,逻辑程序的并行性以及逻辑程序设计存在的问题。
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若HC词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。