AI雏形,系统1+系统2,Scallop2:神经符号编程语言: 符号、概率、可...
1)基于关系数据模型的灵活符号表示;2)基于Datalog的声明式逻辑编程语言,支持递归、聚合和否定;3)基于源半环理论的自动和高效可微推理框架。我们在文献中的八种神经符号应用程序套件上评估了Scallop。我们的评估表明,Scallop能够表达多样化和具有挑战性的AI任务中的算法推理,为机器学习程序员提供了一个简洁的接口来整...
AI集大成!Scallop:神经符号编程语言: 符号、概率、可解释等强化...
例如,它们可以表示场景图,这是图像的一种规范符号表示[Johnson等人,2015],或抽象语法树,这是自然语言文本的符号表示。此外,它们可以在关系数据库中组合以表示多模态数据。关系也非常适合概率推理[Dries等人,2015],这是因为由神经模型产生的符号可能具有相关联的概率。接下来,Scallop中的符号推理程序是用声明式逻辑编程...
“国潮”概念史:走向文化繁荣的历史演进
“文化产业的定义应该是创造某种文化,销售这种文化和文化符号。”[49]此时的“中国风”概念则使中国文化元素成为文化消费的客体,含有它们的产品即是文化产业的经营对象,产业范围由此得以扩大。(四)推进文化自信自强。2015年至2022年是各概念激烈竞争,概念体系高频振动的时段。一方面,自十八大以来党中央高度重视“文化自...
Mark Riedl 人工智能故事生成导论
我们能够意识人们和AI一同,是如何颇为笨拙,但却数十年如一日地一往无前,参照各种戏剧、故事的创作理论与方法,从符号逻辑、从语言、从类比等不同的方式试图捕捉人类最伟大也原始的故事讲述的艺术,如同镜子一番,映照出这些缠绕我们生活的因果之线同言语的美妙舞蹈。
张杰|刑事审判中情理的运用模式与文化逻辑:以749份刑事判决书为例
有鉴于此,本文选择以刑事审判为背景,从裁判文书对“情理”这一符号的使用入手,通过实证分析,从功能的角度反向廓清情理的运用模式,以此探讨情理背后更深层次的文化逻辑与完善路径。一、实证下的透视:刑事审判的情理运用现状截至2021年9月1日,我们以“情理”为关键词在中国裁判文书网上进行检索,最终在10个省级行政区...
GPT-4只是个超级搜索引擎?哲学家们表示不服
*JerryFodor认为,思维和认知过程中涉及的信息以一种类似语言的形式存在,这种“心灵的语言”包含可以组合并且具有明确意义的符号(www.e993.com)2024年9月23日。在Fodor的框架下,心理过程涉及对这些离散符号的操作,这些符号不仅在语义上可以被评估,还在认知处理中发挥直接的因果作用。相比之下,在ANNs中,信息通常被表示为连续的向量,而这些向量被认为...
入门必读!写给初学者的人工智能简史!
符号主义早期的代表性成果,是1955年赫伯特·西蒙(HerbertA.Simon,也译为司马贺)和艾伦·纽维尔(AllenNewell)开发的一个名为“逻辑理论家(LogicTheorist)”的程序。“逻辑理论家”被认为是人类历史上第一个人工智能程序,并且在达特茅斯会议上进行了演示。它将每个问题都表示成一个树形模型,然后选择最可能得到正...
大语言模型赋能文化生产的可能与反思
基于已有的海量数据呈现出的符号(token)间的排列规律,计算符号出现的条件概率,其可以根据上文预测下一个或下一连串符号。而后经过有监督学习或自监督学习实现针对特定任务的模型微调,便可实现针对特定任务的处理与输出,实现内容的自动生成。ChatGPT作为大模型技术在生成对话领域的应用,其在对话任务中可使用人工或自动生成...
陈越骅、杨有栋:学术写作教育的三个导向及其哲学思考
(二)文献综述为了发现和厘清问题、追踪问题解决的前沿进展、借鉴前人思路和方法或从正反两方面寻找佐证观点,都需要通过文献检索来参阅前人的研究成果。但关于特定问题的文献往往浩如烟海,如何有效检索文献就成为学术写作中的重要技能。那些被共同体广泛承认和讨论的文献、具备“范式”意义的代表性作品往往具备更大的参考...
代数无处不在:交叉融合发展下的有效引擎
代数学的发展史是伴随着漫长的符号化进程的:从数字及其表示的符号化→运算的符号化→关系的符号化→各类量的系数符号化→更一般对象的符号化。在这种背景下,笛卡儿和莱布尼茨产生了逻辑符号化的思想,这种思想后来发展成符号逻辑,成为数理逻辑(重要的数学基础之一)的前身。事实上,符号化是使问题代数化至关重要的一步,...