摘要本文旨在讲明：1）不确定性2）概率3）概率推理4）独立性带来的简化5）贝叶斯规则一、不确定性信念状态表示和应急规划会面临什么问题？（这是一环扣一环哇，前后章节联系比较紧密，逻辑性比较强）1）当解释观察到的部分信息时，逻辑Agent必须考虑每一种逻辑上可能的解释。 这导致信念状态的表示无法忍受地庞大而复杂。2）一个处理所有可能意外情况的正确的应急规划必...

这篇文章的意义在于哪里呢？1）向大家展示如何形式化定义一个搜索问题，又如何去求解；2）通过讲述各种盲目搜索算法，帮大家梳理无信息搜索的脉络。

Defects4J是一个很热门的Java自动程序修复、缺陷定位领域基准数据集。SIR（全称 Software-artifact Infrastructure Repository）也是早期用作软件分析，测试等很常用的一个数据集。在此介绍二者。

如题。我有一个gradle项目A，需要依赖本地的另外一个gradle项目B，该如何配置A中的build.gradle文件呢。这里给出可行方案。

之前都是在Eclipse或者IDEA上运行Java，后来发现VS Code貌似还挺挺不错的，而且支持很多语言的开发，所以这次把Java开发平台转移到VS Code。本文记录此间全过程。

如题，对LaTeX写伪代码作一些探索。

这里系统讲述下Ubuntu Server和Desktop版本的区别，并探索二者是否可以同时安装。

如题，很久没用vscode看java了，今天用了下发现有一个java文件可以显示outline，但是另外一个java文件却没有对应的outline。。。这里给出解决方案。

最近入手腾讯云服务器，然而！其安装图形界面的文档实在一言难尽。这里对各个版本进行一番探索，看看到底哪个版本可以装图形界面，并顺利用vnc远程登录。

兜兜转转还是回到阿里云。但是之前一直是包年包月付费，性价比还是低了，现在准备转为按量付费，应该会实惠一些。这里记录全过程：包括数据的转移。