Introducción a la inteligencia artificial: un ejemplo simple de pddl

Como un pequeño blanco que acaba de aprender inteligencia artificial, expresa una expresión de asombro en muchos conocimientos. A medida que el curso avanza hacia el problema de planificación, es inevitable encontrarse con pddl, y después de un período de aprendizaje, lo siguiente presenta brevemente pddl desde la perspectiva del blanco, y acompañado de breves ejemplos.

Lenguaje de definición de dominio de planificación (denominado pddl, lenguaje de definición de área de planificación)

Es un lenguaje estandarizado de planificación de inteligencia artificial, relacionado principalmente con la lógica y las tareas de planificación, no elaborado aquí. Puede buscar en Google usted mismo. Hay un archivo PDF sobre pddl , que contiene una breve introducción y la gramática más básica. Antes de comenzar a aprender, primero debe comprender el contenido de gramática básica. Aquí está el ejemplo más simple. Este ejemplo simula el proceso simple de un robot que limpia dos habitaciones.

archivo de dominio:

(define (domain state)　　　　　　　　　　//ｄｏｍａｉｎ命名，怎么喜欢怎么来
    (:predicates (room ?r)　　　　　　　　//谓词，这里应该包括该文件中出现的所有的谓词逻辑，不然会error:Undefined,这里判断是不是ｒｏｏｍ
                (robot ?rob)　　　　　　 //这里则是判断一个抽象对象rob是不是robot
                (at-robot ?r)          //判断robot是不是在room　r中
                (dirty ?r)　　　　　　　 //判断room r是不是脏的
                (clean ?r)　　　　　　　　//判断room r是不是干净的
                (fullPower ?rob))　　　　//判断机器人robot是不是有电
    (:action sweep　　　　　　　　　　　　　//扫地动作
        :parameters(?robot ?r)　　　　　 //设置参数
        :precondition 　　　　　　　　　　//前提条件（前件）
            (and 　　　　　　　　　　　　　//and的意思是以下括号内的都必须为真
                (robot ?robot) 　　　　 //这个对象robot是robot为真
                (room ?r) 　　　　　　　　//这个对象r是room为真
                (dirty ?r)　　　　　　　　//这个r是dirty的
                (at-robot ?r)　　　　　　//而且robot在r中刚好为真
                (fullPower ?robot)　　　//机器人有电
            )
        :effect 　　　　　　　　　　　　　　//满足以上条件，执行扫地动作，效果为如下
            (and 　　　　　　　　　　　　　　　　　　　
                (clean ?r)　　　　　　　　//r已经干净了
                (not　　
                    (dirty ?r)　　　　　　//ｒ不脏
                )
                (not
                    (fullPower ?robot)　//机器人没电，默认为扫一个房间即耗尽电量
                )
            )
    )

    (:action charging　　　　　　　　　　　　//充电动作
        :parameters(?robot ?r)           //两个参数为robot跟r，就近充电
        :precondition 
            (and 　　
                (robot ?robot) 　　　　　　　
                (room ?r) 
                (at-robot ?r)
                (clean ?r)
                (not
                    (fullPower ?robot)
                )
            )
        :effect 
            (and 
                (fullPower ?robot)　　　　//充满电，可进行下一动作
            )
    )

    (:action move　　　　　　　　　　　　　　 //移动动作
        :parameters (?from ?to)　　　　　　//从ｆｒｏｍ移动到ｔｏ
        :precondition 
            (and 
                (dirty ?to)　　　　　　    //移动的前提：to还是脏的，from已经扫干净了，而且robot在扫干净的房间里，想移动到脏的房间
                (clean ?from)
                (room ?from) 
                (room ?to) 
                (at-robot ?from)
            )
        :effect 
            (and 
                (at-robot ?to)　　　　　　　//效果：到达脏的房间，离开干净的房间
                (not 
                    (at-robot ?from)
                )
            )
    )
)

archivo de problema (prueba):

(define (problem solve)
    (:domain state)
    (:objects 
        rooma roomb robot　　　　　//设置对象，这个例子比较简单，只有三个对象，房间ａ房间ｂ还有机器人
    )
    (:init 　　　　　　　　　　　　　　//初始化起始状态，有两个房间，都是脏的，机器人在房间ａ并且满电，注意此处不用(room ?rooma)
        (room rooma)
        (room roomb) 
        (robot robot)
        (dirty rooma)
        (dirty roomb)
        (at-robot rooma)
        (fullPower robot)
    )
    (:goal                        //设定这个规划问题最终要达到的目标状态，两个房间是干净的，并且机器人仍旧是满电待命的
        (and
            (clean rooma)
            (clean roomb)
            (fullPower robot)
        )
    )
)

Resultado de la operación: