Problife: 一种概率生命游戏
本文扩展了 ProbLog 语言,增加了 “What if” 查询的功能,并提出了一种能够处理 ProbLog 程序的反事实查询的方法,同时提供了完整的实现以及对查询可扩展性的影响的洞见,并显示了该方法与具有析取注释的逻辑程序的因果语义一致。
May, 2023
本文介绍了一种新的人工生命模型,可以模拟细胞自动机和虚拟生物的特征,实现了形态和行为上高度自由的同时又能模拟繁殖、发展、个体互动等生命特征。通过阅读遗传信息的方式,执行扩张、连接、断开和过渡四个动作,模拟出了具有独特的生存策略和生活方式,同时在繁殖、发展和个体互动方面获得了有趣的性质。
Oct, 2022
利用新型液体自动机模拟自我组织的活体机器,基于 Francisco Varela 之前描述的细胞自动机,以粒子模拟为基础,通过粒子与其他粒子碰撞时的转化规则进行模拟,与细胞自动机不同的是,它没有固定的网格或时间步长,只有在连续的时空中粒子的移动和碰撞。
Jan, 2024
本文通过概率编程的视角简要介绍了概率规划的概念,着重阐述了 HYPE 和 ALLEGRO 两个系统的特点,强调它们在处理概率规划中复杂建模问题方面的优势,如处理不断扩大和缩小的状态空间,离散和连续的概率分布,以及一阶设置中的非唯一先验分布等。
Jan, 2018
提出一种名为生成元胞自动机的概率三维生成模型,其能够产生多样化和高质量的形状,利用细胞自动机的局部更新规则有效减少了搜索空间,在稀疏卷积网络的支持下进行渐进生成,通过抽样与训练轮廓数据的匹配学习得到了本地均匀规则,并在概率形状补全和形状生成的实验中取得了竞争性的性能。
Mar, 2021
DeepProbLog 是一种神经概率逻辑编程语言,通过神经谓词结合深度学习。它支持符号和子符号表示和推断、程序归纳、概率编程和深度学习,并结合了通用神经网络和表达式概率逻辑建模和推理。
Jul, 2019
该论文提出了一个使用概率编程工具与物理模拟引擎相结合的框架,用于向机器人提供直观的物理环境交互能力,并通过模型自由方法使采样程序变得更高效,从而在模型自由方法和模型为基础的方法之间找到平衡,并通过模拟 Flappy Bird 游戏的实验结果,展示了该模型的绩效。
Apr, 2021
本文提出了一种名为 Flow Lenia 的细胞自动机扩展,解决了 Lenia 中存在的一些问题,包括虚拟生物只存在于特定规则的世界中且规则不可交互,证明了 Flow Lenia 在生成具有复杂行为的空间局部模式方面的有效性,并展示了它在动态和本地化的 CA 动力学中的潜力,扩展了 CA 模拟的应用范围,为自组织人工生命的内在进化铺平了道路。
Dec, 2022