This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity.
翻译：本文件介绍从最初的原则到正式逻辑的最初发展阶段,然后描述和探讨一个广义的“多城市”概念中的问题。
相关内容
粤港澳大湾区数字经济研究院是一家面向人工智能、数字经济产业和前沿科技的国际化创新型研究机构，坐落于深圳市深港科技创新合作区内。IDEA正与 MSR、Google Brain、DeepMind、OpenAI 等同行者一起推动人类 AI 技术前沿的发展。IDEA 的使命是立足社会需求，研发颠覆式创新技术并回馈社会，让更多的人从数字经济发展中获益。IDEA 秉承共享共赢共生的开源开放精神，积极营造自由而富有激情的创新工作环境，聚集全世界最聪慧的大脑一起创造人类社会最需要的价值。我们坚持科技擎天，产业立地，相信最好的研究从需求中来，到需求中去，最终惠及广大企业和受众。
IDEA 目前已聚集一批包括院士、世界著名大学教授、世界知名开源系统发明人在内的国际一流技术专家，致力于在 AI 基础技术与开源系统、人工智能金融科技、区块链技术与可信计算、企业级 AI 系统、产业智能物联网与智能机器人等领域研发国际顶尖成果，并培育一批国际领先科技企业，带动深圳乃至大湾区万亿级数字经济产业发展。
AIPT（AI 平台技术研究中心）致力于建设支撑人工智能算法、算力和数据的平台，通过具体项目的研发、实施和部署来推进 AI 技术的落地和产业化，团队成立以来，已发布 ReadPaper 论文阅读平台、BIOS 医疗知识图谱两款产品。AIPT 负责人-谢育涛曾任微软公司技术合伙人兼微软（中国）操作系统工程院院长。谢育涛在微软公司工作 20 余年，先后在微软美国总部的 Microsoft Office 产品组、必应团队、微软亚洲互联网工程院以及微软（中国）操作系统工程院、人工智能和云计算等多个研发部门担任重要职务。他在操作系统、搜索技术、人工智能、应用及服务领域拥有丰富的技术与管理经验。
专知会员服务
18+阅读 · 2019年10月22日
Arxiv
0+阅读 · 2023年3月31日
Arxiv
1+阅读 · 2023年3月31日
相关主题
相关VIP内容
专知会员服务
18+阅读 · 2019年10月22日
相关资讯
相关论文
Arxiv
0+阅读 · 2023年3月31日
Arxiv
1+阅读 · 2023年3月31日
微信扫码咨询专知VIP会员