Regular Derivations in Basic Superposition-Based Calculi

机译：基于基本叠加的计算的正则导数

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.

机译：我们证明了基于叠加的计算的常规策略的完整性。常规策略是由Kanger在[Kan63]中提出的，他提出所有相等性推论都在证明的所有其他步骤之前进行。我们证明了该策略已完全消除了重言式。我们的结果的含义是非标准选择函数的完整性，通过该函数在非关系子句中仅选择相等文字（及其全部）。

著录项

来源
《International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM)》|2005年|P.292-306|共15页
会议地点 Montego Bay(JM)
作者
Vladimir Aleksic; Anatoli Degtyarev;
展开▼
作者单位

Department of Computer Science, King's College, Strand, London WC2R 2LS, U.K.;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Concurrent Ternary Galois-based Computation using Nano-apex Multiplexing Nibs of Regular Three-dimensional Networks, Part I: Basics [J] . Anas N. Al-Rabadi International Journal of VLSI Design & Communication Systems . 2020,第5期

机译：基于三元伽罗尼的基于三元伽罗尼的计算使用纳米Apex多路复用常规三维网络，第一部分：基础知识
2. Parallel processing via carbon field emission-based controlled switching of regular bijective nano systolic networks, part 1: basics [J] . Anas N. Al-Rabadi International Journal of Intelligent Computing and Cybernetics . 2016,第3期

机译：通过基于碳场排放的规则双射纳米收缩网络的受控切换进行并行处理，第1部分：基础
3. Back to the basics: Regular exercise matters in Parkinson's disease: Results from the National Parkinson Foundation QII registry study [J] . OguhO., EisensteinA., KwasnyM., Parkinsonism & related disorders . 2014,第11期

机译：回到基础：帕金森氏病的定期运动很重要：国家帕金森基金会QII注册研究的结果
4. Bimonadic Semantics for Basic Pattern Matching Calculi [C] . Wolfram Kahl, Jacques Carette, Xiaoheng Ji International Conference on Mathematics of Program Construction(MPC 2006); 20060703-05; Kuressaare(EE) . 2006

机译：基本模式匹配计算的二元语义
5. The relationship between timed drill practice and the increase of automaticity of basic multiplication facts for regular education sixth graders. [D] . Knowles, Nelly P. 2010

机译：定期练习练习与正规教育六年级学生基本乘法事实的自动化程度之间的关系。
6. Eye Movements during Silent and Oral Reading in a Regular Orthography: Basic Characteristics and Correlations with Childhood Cognitive Abilities and Adolescent Reading Skills [O] . Magdalena Krieber, Katrin D. Bartl-Pokorny, Florian B. Pokorny, -1

机译：常规正字法中的无声和口头阅读过程中的眼球运动：基本特征及其与儿童认知能力和青少年阅读技巧的关系
7. Regular Derivations in Basic Superposition-Based Calculi [O] . Vladimir Aleksić, Anatoli Degtyarev 2008

机译：基于基本叠加的计算的正则导数

Regular Derivations in Basic Superposition-Based Calculi

摘要

著录项

相似文献

相关主题

期刊订阅