回答集编程

回答集编程（ASP）
CDNS的码龄三周年啦！在这，你可以看到许多与计算机相关的文章，编程 遇到的问题也可以找到相应方案来解决，可以说是 只有你想不到的，没有你找不到的。但之前我从未动手写过博客，现在就开始记录自己的学习过程与心得吧。立个flag，一天更一篇文章，主要是与学习生活相关的事。

首先来初步认识一下什么是回答集编程，它主要用于哪方面，能解决什么技术上的问题，它 有什么值得我们去学习的地方…让我们带着这疑问来学习吧！

回答集编程，英文为Answer Set Programming，简称ASP，一种基于逻辑程序和回答集的声明式编程范式，提供一种简单而强大的建模语言来快速解决组合问题和计算困难问题，将gringo、clasp的多种用于ASP的工具组合起来，进而成为一个集成的ASP系统clingo。

看完这介绍是不是觉得有点迷迷糊糊呢？没事，刚接触都是 有点生疏感滴，请继续往下看

1. 术语
   术语包含简单术语、函数和元组，而简单术语包括整型、常量、字符串、变量和符号‘—’、#sup、#inf，其中整型用于算术表达式；常量和变量是区分大小写，分别为‘—’和‘A-Za-z0-9_’；字符串是特征的仲裁序列，主要是‘\’,’\’,’\n’,’’"。函数是由一个或多个术语作为论点组成的复杂术语。元组类似于函数，但不是同一个名称。例如 at(peter,times(12),X)是一个函数，而（at，peter，time(12)，X）是由四个元素组成的元组。

2. 标准程序和完整性约束

给出一个标准逻辑程序
规则和事实的头部A0是相同句法形式作为一个常量或者函数的原子。
规则和完整性约束的身体部分，Li（其中1<=i<=n）是A或者not A的文字表示（A是一个原子和not表示默认否定）。
A0必须无条件为真，而规则身体部分的所有L为真或者否定的L被满足 ，则表示这是成立 的。而完整性约束的头部（这里用空格表示）是假的，也就是说L1…Ln之间是对立的，即不能同时被满足 。
当然输入的 L 是必须安全的，否则会 出错。
还是举例子来 解释 吧，光靠文字 讲解真的很枯燥。

a :- b.
b :-  a.

若a、b都为假，规则的身体部分也为假，所以这规则是被满足的，而事实必须是 真，所以这是个空集。
若a为真（假），b为假（真），规则 满足不了，不能成立。
若ab都为真，规则的身体也为真，该规则被满足。
因此空集是辨别 是否是唯一的回答集。

a  :- not b.
b  :-  not a.

该例子与上面的差不多相似，这里就不一一解释。

fly(X) :- bird(X),not neg_fly(X).
neg_fly(X) :- bird(X),not fly(X).
neg_fly(X) :- penguin(X).

第一规则表示鸟会飞，第二规则相反，第三表示企鹅不会飞。但直接在输入运行会显示该程序缺少事实，这里用Tw表示鸟，Tu表示企鹅，分别加上如下代码

bird(tw).bird(tu).
chicken(tw).penguin(tu).

运行结果是

bird(tw) bird(tu) neg_fly(tu) penguin(tu) chicken(tw) neg_fly(tw)

这里的tw\tu被实例化为X。

第一次写博客，有很多不足之处，多多指教。

链接: link.

图片:

带尺寸的图片:

居中的图片:

居中并且带尺寸的图片:

当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。

如何插入一段漂亮的代码片

去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的 代码片.

// An highlighted block
var foo = 'bar';

生成一个适合你的列表

• 项目
  • 项目
    • 项目

1. 项目1
2. 项目2
3. 项目3

• 计划任务
• 完成任务

创建一个表格

一个简单的表格是这么创建的：

项目	Value
电脑	$1600
手机	$12
导管	$1

设定内容居中、居左、居右

使用:---------:居中
使用:----------居左
使用----------:居右

第一列	第二列	第三列
第一列文本居中	第二列文本居右	第三列文本居左

SmartyPants

SmartyPants将ASCII标点字符转换为“智能”印刷标点HTML实体。例如：

TYPE	ASCII	HTML
Single backticks	'Isn't this fun?'	‘Isn’t this fun?’
Quotes	"Isn't this fun?"	“Isn’t this fun?”
Dashes	-- is en-dash, --- is em-dash	– is en-dash, — is em-dash

创建一个自定义列表

Markdown

Text-to- HTML conversion tool

Authors

John

Luke

如何创建一个注脚

一个具有注脚的文本。¹

注释也是必不可少的

Markdown将文本转换为 HTML。

KaTeX数学公式

您可以使用渲染LaTeX数学表达式 KaTeX:

Gamma公式展示 $\Gamma (n)=(n-1)!\forall n\in \mathbb{N}$ 是通过欧拉积分

$$\Gamma (z)={\int }_0^{\infty }{t}^{z-1}{e}^{-t}dt.$$

你可以找到更多关于的信息 LaTeX 数学表达式here.

新的甘特图功能，丰富你的文章