遗传算法--基本概念与原理、实现
遗传算法的起源与基础 1975年，John Holland 发表了 Genetic Algorithms-Computer programs that “evolve” in ways that resemble natural selection can solve complex problems even their creators do not fully understand by J
Mathematical logic (4) First order logic 一阶逻辑
1. Basic 基础组成 1.1 Domain 论域 The set of objects to be discussed is called Domain. 1.2 Constants 常元 The symbol to describe a concrete objects in domain is called constant. e.g. Alice, Bob, 000, 111,
Mathematical logic (3) Natural deduction 自然演绎
1. Language 语言组成 1.1 Alphabet 符号系统 Σ={(,),¬,∧,∨,→,↔,p,q,r,… }\Sigma = \{(,),\neg,\land,\lor,\to,\leftrightarrow,p,q,r,\dots\} Σ={(,),¬,∧,∨,→,↔,p,q,r,…} 1.2 Formulas 公式 Atoms p,q,r,s,…p, q, r, s, \dot
Mathematical logic (2) Propositional logic 命题逻辑
1. Syntax 语法 1.1 Proposition 命题 A declarative sentence that can be judged as either true or false is called Proposition. 1.1.1 Atomic Proposition 原子命题 The proposition can’t be devided into a smalle
Mathematical logic (1) Set, Relation and function 集合，关系与函数
1. Set 集合 1.1 Primary 初步知识 A collection of elements is called set Element of set: the object 1.2 Intension & Extension 内涵与外延 Intension(内涵): The intension of a set is its description or defini
基于Minmax算法与Alpha-Beta剪枝的五子棋对战AI的Java代码实现
引言 五子棋 (GoBang) 是一种典型的博弈游戏，而“博弈”一词的定义在《人工智能-一种现代方法》一书中的第五章《对抗搜索》中给出 有完备信息的，确定性的，轮流行动的，两个游戏者的零和游戏. 这种游戏可以通过生成博弈树来对下一步的最优行动进行预测，这也是构建五子棋对战AI的原理，而这种思路是通过 极小化极大算法(Minimax) 来实现的，接下来将介绍其原理与代码实现。[1] 极小化极大算
生者与死者的牵绊之歌————《はつゆきさくら》浅评
1. 游戏各方面评价 画风与立绘 ⭐⭐⭐⭐ 画风偏萌系，整体上质量还可以，但一些关键cg与差分有些明显崩坏导致体验不是很好。 人物设计 ⭐⭐⭐⭐ 可攻略角色しろくま、あずま夜在人设上有些公式化，不够立体，不过作为前女友定位的小坂井あや的塑造相当成功，直接提升了游戏的整体观感与あや的两个结局的质量。
