1) Bayesian logic programs
贝叶斯逻辑程序
2) Logic bayesian networks
逻辑贝叶斯网络
3) logic program
逻辑程序
1.
Application of Logic Programming in Relation Database Data Integrity Constraint;
逻辑程序在关系数据库完整性约束中的应用
2.
Research of Dynamically Changing Coverage of Immune DetectorBased on Logic Program;
基于逻辑程序的免疫识别器动态覆盖性初探
3.
The Correspondence between the Horn Logic Programs and Grammars;
Horn逻辑程序和形式文法之间的对应关系
4) Program Logic
程序逻辑
1.
This paper summarizes the different methods describing the program logic in programming teaching and analyzes the corresponding deficiencies.
总结了目前程序设计教学中描述程序逻辑所采用的不同方式,分析了存在的不足,提出以“PAD”为工具描述程序逻辑的方法。
5) logic programming
逻辑程序
1.
Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic;
再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究
2.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
3.
Logic programming has been widely applied in mechanical theorem proving,relational database system, modularized programming and non-monotone reasoning.
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。
6) logical program
逻辑程序
1.
Access control strategy is reasoned,through logical program,which makes reasoning of access control effectively.
提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。
补充资料：贝叶斯公式
贝叶斯公式为利用搜集到的信息对原有判断进行修正提供了有效手段。在采样之前，经济主体对各种假设有一个判断（先验概率），设为，{}。
关于先验概率的分布，通常可根据经济主体的经验判断确定(当无任何信息时，一般假设各先验概率相同)，较复杂精确的可利用包括最大熵技术或边际分布密度以及相互信息原理等方法来确定先验概率分布。
当采样得到样本值后，当事人对各假设的判断(后验概率)为
关于先验概率的分布，通常可根据经济主体的经验判断确定(当无任何信息时，一般假设各先验概率相同)，较复杂精确的可利用包括最大熵技术或边际分布密度以及相互信息原理等方法来确定先验概率分布。
当采样得到样本值后，当事人对各假设的判断(后验概率)为
，= 1， 2， %26#8230;， (5.5)
在实际经济生活中，信息搜寻工作不是一次就完成的。当信息搜寻进行到某一阶段，设已进行了 次采样( =1，2，%26#8230;)，此时经济主体对各假设的后验概率的认识为
=1， 2， %26#8230;， (5.6)
其中，表示在第次采样前对假设的判断，当 =1时即表示第一次采样前的先验概率，从而式(5.5)变成式(5.6)的一个特例，即，将其记为。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条