five

blocks world

收藏
arXiv2025-09-30 收录
下载链接:
https://qcomp.org/benchmarks/#blocksworld
下载链接
链接失效反馈
官方服务:
资源简介:
该数据集对“方块世界”进行了简化,包含了表示方块之间互动的关系和动作,并给动作设定了成功的概率。具体来说,数据集包括了如“在/2”和“清除/1”这样的关系,以及用于评估pCTL-REBEL模型检测方法的“移动/3”等动作。任务是对概率模型进行检查。

This dataset offers a simplified adaptation of the Block World domain, which includes relational and action representations that characterize the interactions between blocks, and assigns success probabilities to each specified action. Specifically, the dataset contains relations such as `on/2` and `clear/1`, as well as actions like `move/3` that are designed to evaluate the model detection method of pCTL-REBEL. The core task of this dataset is to perform verification on probabilistic models.
提供机构:
IPPC-2008
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作