Preâmbulo

Gere o arquivo SAS para os arquivo problem e domain escritos em Planning Domain Definition Language (PDDL).

Você deverá submeter somente o arquivo SAS que represente os códigos.

Entrada

domain.pddl

(define (domain d01)
  (:types nivel mencao materia)
	(:predicates
		(nota ?mt - materia ?m - mencao)
		(estudo_em ?n - nivel)
		(relaciona ?n - nivel ?m - mencao)
		(progresso ?n - nivel ?n - nivel)
	)

	(:action aumentar_estudo
		:parameters (?n - nivel ?n_prox - nivel)
		:precondition (and(estudo_em ?n)(progresso ?n ?n_prox))
		:effect (and (not(estudo_em ?n))(estudo_em ?n_prox))
	)
	(:action calcular
		:parameters (?n - nivel ?m - mencao ?mt - materia)
		:precondition (and(estudo_em ?n)(relaciona ?n ?m))
		:effect (nota ?mt ?m)
	)
)

problem.pddl

(define (problem p01)
	(:domain d01)
	(:objects 
		ii ss - mencao
		baixo alto - nivel
		comp - materia
	)
	(:init
		(estudo_em baixo)
		(relaciona alto ss)
		(relaciona baixo ii)
		(progresso baixo alto)
	)
	(:goal
		(nota comp ss)
	)
)