XiaoMi-AI文件搜索系统
World File Search System逻辑的
四元逻辑作为强人工智能的“信念”逻辑
摘要：本文考虑了一类逻辑系统，其中双重否定定律不起作用，但 n 维否定定律依赖于逻辑的 n 维性而起作用。这种方法使我们能够以新的方式描述三维和更高维逻辑，并对这些系统中的“不确定性”做出解释。具体而言，从这个角度来看，只有二的倍数的逻辑才是完整的：二进制、四进制、八进制等等，因为逻辑中每增加一个新维度，其“n 性”就会加倍。作为古典逻辑的扩展，定罪逻辑的基本逻辑运算由表格列出。结果表明，这种逻辑在二维逻辑空间中运行，更加灵活、直观，理论上可以用于强人工智能系统。
利用深度神经网络进行本体推理
进行逻辑推理的能力是人类智能行为的一个基本方面，因此也是实现人类水平的人工智能的一个重要问题。传统上，知识表示和推理领域的基于逻辑的符号方法已用于为代理配备类似于人类逻辑推理能力的能力。然而，最近，人们越来越有兴趣使用机器学习而不是基于逻辑的符号形式来解决这些任务。在本文中，我们采用最先进的方法来训练深度神经网络，以设计一种新模型，该模型能够学习如何以基本本体推理的形式有效地执行逻辑推理。这是一项重要且非常自然的逻辑推理任务，这就是为什么所提出的方法适用于大量重要的现实问题。我们展示了几个实验的结果，这些结果表明我们的模型能够在非常大、多样化且具有挑战性的基准上学习执行高精度的本体推理。此外，事实证明，所建议的方法较少受到基于逻辑的符号推理的各种障碍的影响，同时从生物学的角度来看，它是令人惊讶的合理。
控制可再生能源以改善多源热泵系统的性能：两案研究
摘要：在新的和翻新的建筑物中，通常利用不同的能源来达到接近零的能源建筑目标。热泵和可再生能源是最常见的技术。不同组件与受控逻辑的耦合以利用所有能量贡献会导致隐含的设计复杂性。在本文中，报道了两项有关使用多源热泵系统的案例研究：作为主要的新颖性，与其他来源（地面热交换器，通风热量器，通风热恢复）相关的太阳能（热或光伏/热量）的正确设计是为了使能量在一年中绘制的能量，以使其在一年中的独立性，并在注射范围内绘制了一年的能量，并以此为基础。此外，模拟了相对复杂的（与常规的加热或冷却）系统，以控制多源热泵工厂。通过动态模拟，报告了植物设计，控制逻辑的设计，控制逻辑的设计以及两个原始的多源热泵系统的能量性能。在一种情况下，也可以使用实际测量数据。由于多源工厂的适当控制逻辑（基于测量的数据）和第一种情况下的第一种和第二种情况，获得了非常高的一级能量比（基于测量的数据）和4.7（基于模拟数据），获得了非常高的一级能量比。因此，分别确定了37和3.9 kWh m-2 y-1的不可再生的一级能量消耗。
传感器对网络攻击的定量鲁棒性分析...
本文使用差异动态逻辑的形式主义，为对网络物理系统的有限传感器攻击进行定量分析。鉴于系统的前提和后结构，我们将两个定量安全性，定量的前进和后部安全性形式化，分别表达（1）该系统对指定后条件的最强后条件的强大程度，以及（2）指定的预先对系统的强度确保所需的最弱的预先条件，以确保系统的最弱点。我们介绍了两个概念，即前进和向后的鲁棒性，以将系统抗攻击的鲁棒性描述为安全性丧失。两个模拟距离分别表征了由传感器攻击引起的前向和向后安全损失程度的上限，以符合稳定性。我们通过将两个模拟距离作为差分动态逻辑的公式表达出来，并在现有工具支持的情况下证明公式。我们展示了需要避免碰撞的自动驾驶汽车的例子。
供应链弹性的中性粒细胞分析
摘要。这项研究的目的是通过包括单价中性嗜性套件来评估Ambato市鞋类制造公司的供应链中存在的脆弱性，以扩展Topsis方法。为了实现这一目标，使用了中性粒子逻辑的原理和单价中性嗜性集的理论。由于应用了这种方法，发现所发现的最严重的弱点是对技术和创新的投资不足，紧随其后的是过时和不足的通信系统。这项研究为在各种科学环境和领域中该方法的有效性和多功能性提供了坚实的证据。使用单价中性嗜性数字作为进行分析的资源，已经证实了在实际情况下中性粒细胞固定逻辑的具体适用性。关键字：供应链，决策，中性粒子集，脆弱性。
cmp 445-人工智能简介
表示基于逻辑的知识表示、专家系统、模式识别代理：问题求解作为搜索；搜索策略；广度优先、深度优先、统一成本、深度约束、满意度问题、回溯、搜索 CSP、约束传播 CSP 本地搜索。
市场上的节能建筑自动化项目...
工作研究了建筑物自动化系统，网络安全性，为该站点选择的逻辑的结构以及简短的Caverio Company的Drive Property Management System。该论文是为Caverion Suomi Oy进行的，但实施本身是由客户制作的。工作包括设计，接线图和硬件列表，编程，创建图形，切换，部署和测试。
制度逻辑与技术发展
摘要。区域性制度逻辑与组织位置之间的关系是组织理论中的一个重要问题。最近的研究强调了支持性区域逻辑如何产生与这些逻辑产生共鸣的产品或组织，以及如何通过研究这种关系来理解行业所依赖的地理模式。然而，这些文献并没有深入关注技术特征（特别是其固有的不确定性）如何与这种动态相互作用。在本文中，我们应对了这一挑战。我们的工作考察了 1978 年至 2006 年间，一个地区对环境保护逻辑的支持水平与该地区风能和太阳能设备制造商的数量之间的关系。通过同时探索这种逻辑对两种类似技术的影响，我们的工作不仅强化了逻辑如何与组织活动相互作用，而且还展示了这种影响的大小和机制如何取决于所讨论的技术。我们基于这些发现来讨论详细研究技术的重要性，包括其不确定性维度、时间在研究区域相关逻辑的影响中的作用，以及公共政策和逻辑之间的联系。