返回
摘要
En 中文
Logic is an algebraic structure that defines a set of abstract rules which govern an area of interest. The abstraction property of the rules makes them reusable tools to model different problems and to reason with them. The proliferation of quantum theory brought attention to quantum logic which is a lattice of projectors and it is of importance to quantum computing. Unfortunately, basic tools like implication are not sufficiently studied in that logic, which prevents us from exploiting the power of quantum mechanics in reasoning. This note investigates the implication issue in quantum logic and defines a quantum implication operator for compatible events as well as for incompatible events. The suggested operator depends both on the angle between the vector sub-spaces of the involved events and the angles between the system state and the vector sub-spaces. It differentiates between three cases depending on the angle between the events' sub-spaces. The article further shows through an example that some classical reasoning rules such as Modus Ponens and Modus Tollens hold given the suggested implication.
Keyword:
Quantum logic
Reasoning
Implication
Probability
Inference
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
Q
IF:
4.4
论文数:
440
被引数:
796
机构
暂无机构信息
引用论文
No between-pen transmission of foot-and-mouth disease virus in vaccinated pigs接种猪群中未发现口蹄疫病毒的猪栏间传播
Vaccine
IF0
No adaptation of Haemonchus contortus to genetically resistant sheep无Haemonchus contortus对基因抗性绵羊的适应性
Heterosis in cattle crossbreeding schemes in tropical regions: meta-analysis of effects of breed combination, trait type, and climate on level of heterosis1热带地区牛的杂交育种方案中的杂种优势:品种组合、性状类型和气候对杂种优势水平影响的元分析¹
Yields and chemical composition of different parts of the common vetch of flowering and at two seed filling states不同生育时期普通苜蓿不同部位的花产量和化学组成(开花期及两个籽粒灌浆期)

