首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    马斯克:我曾准备1/10价格把特斯拉卖给苹果,库克甚至都不见我

    机器之心报道 编辑:李泽南、张倩 马斯克:「单电芯锂电池在化学上是不可能的,最大电压太低了。难道苹果要像特斯拉的结构电池组一样拼合电池吗?」 「苹果造车」的新闻在本周引发了人们的广泛讨论,不少造车新旧势力的高管们也开始发表自己的看法,有的表示欢迎,有的表示质疑。而对于目前风头正劲,市值全球第一高的车企特斯拉,马斯克爆料说仅仅在三年前他的公司还差点被苹果收购。 「在特斯拉 Model 3 项目陷入最低潮时期,我与蒂姆 · 库克曾进行接触,讨论苹果收购特斯拉的可能性,价格仅是目前市值的十分之一。库克拒绝了开

    02

    卑鄙者的墓志铭:REvil勒索软件罪魁首次被锁定

    俗话说“法网恢恢疏而不漏”,但法网似乎与如今的线上犯罪网络难以交织。作为密码学技术无心插柳的果实,勒索软件近年横扫互联网,使得下至小白网民上至各国政府无不闻风丧胆。在对受害者系统和主机入侵之后,勒索软件全盘扫描并加密特定类型的文件,对勒索受害者的筹码,也从给这些文件“解密”,发展为不给钱就“泄密”,倒是很符合昨天万圣节“不给糖就捣乱”的主题。 原本只能通过写破坏性病毒“炫技”的黑客们,在这种浪潮下找到了变现的途径,一个必要的契机,是加密货币的流通。以比特币为代表,加密货币原生具备匿名性,通俗说就是即便交易

    03

    人工智能学术速递[7.23]

    作者:Joseph Singleton 机构:Cardiff University, Cardiff, UK 链接:https://arxiv.org/abs/2107.10832 摘要:在这篇文章中,我们引入一个简单的模态逻辑框架来推理信息源的专业知识。在这个框架中,如果消息源能够在任何可能的世界中正确地确定$p$的真值,那么消息源就是$p$命题的专家。我们还考虑了信息可能是虚假的,但真实的会计来源缺乏专门知识。这与信息来源提出超出其专业领域的主张的情况建模有关。我们基于具有特定闭包属性的专门知识集对语言使用非标准语义。事实证明,我们的语义学和认知逻辑之间有着密切的联系,因此专业知识可以在所有可能的状态下用知识来表达。我们使用这个连接来获得一个健全和完整的公理化。 摘要:In this paper we introduce a simple modal logic framework to reason about the expertise of an information source. In the framework, a source is an expert on a proposition $p$ if they are able to correctly determine the truth value of $p$ in any possible world. We also consider how information may be false, but true after accounting for the lack of expertise of the source. This is relevant for modelling situations in which information sources make claims beyond their domain of expertise. We use non-standard semantics for the language based on an expertise set with certain closure properties. It turns out there is a close connection between our semantics and S5 epistemic logic, so that expertise can be expressed in terms of knowledge at all possible states. We use this connection to obtain a sound and complete axiomatisation.

    02
    领券