逻辑编程语言：AnswerSetProgramming(ASP)：ASP语法与基本概念.docxVIP

PAGE1

PAGE1

逻辑编程语言：AnswerSetProgramming(ASP)：ASP语法与基本概念

1逻辑编程语言：AnswerSetProgramming(ASP)：ASP语法与基本概念

1.1绪论

1.1.1逻辑编程的简介

逻辑编程是一种编程范式，它基于形式逻辑。与传统的命令式编程不同，逻辑编程语言如Prolog和ASP，通过描述问题的逻辑结构来解决问题，而不是通过指定一系列执行步骤。在逻辑编程中，程序由一组逻辑规则组成，这些规则描述了问题域的逻辑关系。程序的执行过程是通过逻辑推理来寻找满足给定目标的解决方案。

1.1.2AnswerSetProgramming(ASP)的历史与发展

AnswerSetProgramming(ASP)是一种基于非单调逻辑的逻辑编程语言，它由MichaelGelfond和VladimirLifschitz在1988年首次提出。ASP的理论基础是稳定模型语义，它允许处理具有不确定性和复杂性的知识表示问题。ASP的发展经历了从理论研究到实际应用的过程，随着求解器技术的进步，ASP在知识表示、规划、推理等领域得到了广泛应用。

1.2ASP的基本概念

1.2.1逻辑规则

在ASP中，逻辑规则是程序的基本组成部分。一个典型的ASP规则如下：

a:-b,c.

这条规则读作：“如果b和c都为真，则a为真。”这里，a是规则的头，b和c是规则的体。规则的体可以包含多个原子，用逗号分隔，表示逻辑上的“与”关系。

1.2.2原子和谓词

原子是ASP中的基本逻辑单元，通常表示为谓词。谓词由名称和一组参数组成，例如：

likes(john,pizza).

这里，likes是一个谓词，表示“喜欢”的关系，john和pizza是参数，表示这个关系的主体和客体。

1.2.3事实

事实是ASP中表示已知信息的语句，没有规则体，直接声明某事为真。例如：

male(john).

female(mary).

这些事实分别声明了john是男性，mary是女性。

1.2.4查询

查询是ASP中用于询问程序是否满足特定条件的语句。查询通常以?开头，但ASP中查询的执行是通过求解器来完成的，求解器会输出满足查询的解答集。例如，如果我们想知道john是否喜欢pizza，我们不需要在程序中写查询，而是直接运行程序，求解器会输出所有可能的解答集。

1.2.5解答集

解答集是ASP程序的一个关键概念，它是一个模型，其中所有规则的头都被解释为真，且没有矛盾。在ASP中，一个程序可能有多个解答集，每个解答集都代表了一种可能的世界状态。例如，考虑以下程序：

a:-notb.

b:-nota.

这个程序有两个解答集：一个包含a，另一个包含b。这是因为a和b不能同时为真，但可以独立地为真。

1.3ASP的语法

1.3.1规则的语法

ASP规则的一般语法如下：

Head:-Body.

其中，Head是一个原子，Body是一个由原子和否定原子组成的逻辑表达式，用逗号分隔。例如：

parent(X,Y):-father(X,Y).

parent(X,Y):-mother(X,Y).

这里，parent(X,Y)是规则的头，father(X,Y)和mother(X,Y)是规则的体。

1.3.2选择规则

选择规则允许在规则体中包含一个可选的原子。选择规则的一般语法如下：

{Head}:-Body.

例如：

{likes(john,pizza)}:-male(john).

这条规则表示，如果john是男性，那么他可能喜欢pizza，也可能不喜欢。

1.3.3重言式

重言式是ASP中的一种特殊规则，它没有规则体，总是为真。重言式的一般语法如下：

Head.

例如：

male(john).

这条规则直接声明john是男性，没有附加任何条件。

1.3.4否定

ASP中的否定有两种形式：not和#not。not表示“弱否定”，意味着如果在解答集中找不到某个原子，则该原子被假定为假。#not表示“强否定”，意味着原子在当前解答集中必须为假。例如：

a:-notb.

b:-#nota.

这里，a和b不能同时出现在同一个解答集中。

1.3.5例子：家庭关系推理

下面是一个使用ASP进行家庭关系推理的例子：

%定义家庭成员

male(john).

female(mary).

father(john,tom).

mother(mary,tom).

father(john,lily).

mother(mary,lily).

%定义家庭关系

parent(X,Y):-father(X,Y).

parent(X,Y):