INPE-14092-TDI/1075
APLICAÇÃO DA TECNOLOGIA DE AGENTES DE
PLANEJAMENTO EM OPERAÇÕES DE SATÉLITES
Luciana Sêda Cardoso
Dissertação de Mestrado do Curso de Pós-Graduação em Computação Aplicada,
orientada pelos Drs. Mauricio Gonçalves Vieira Ferreira e Valcir Orlando, aprovada em
14 de março de 2006.
INPE
São José dos Campos
2006
681.3.019
CARDOSO, L. S.
Aplicação da tecnologia de agentes de planejamento
em operações de satélites / L. S. Cardoso.- São José dos
Campos: INPE, 2006.
167p. ; (INPE-14092-TDI/1075).
1.Inteligência artificial. 2.Planejamento. 3.Planos de
vôo. 4.Representação do conhecimento. 5. Projeto de
sistemas computacionais. I.Título.
“A mente que se abre a uma nova idéia jamais volta ao seu tamanho original.”
ALBERT EINSTEIN
À minha família,
o maior tesouro que tenho.
:parameters (?pass - PassNumber ?sat - SatCode ?gs - GSCode ?RRgroup RRateGroupNumber)
:duration (= ?duration 1.0)
:condition ( and (at start (GSAvailable ?gs))
(at start (RRateAvailable ?pass ?sat ?gs ))
(over all (PassTrack ?pass ?sat ?gs)))
:effect (and (at end (RRateOK ?pass ?sat ?gs ?RRGroup))
(at end (not(RRateAvailable ?pass ?sat ?gs)))
(at start (not (GSAvailable ?gs)))
(at end (GSAvailable ?gs)))
)
;; Enviar Primerio Telecomando da passagem
(:durative-action SendFirstTC
:parameters (?pass - PassNumber ?sat - SatCode ?tc - TCCode ?gs - GSCode ?cgroup
- CalibGroupNumber)
:duration (= ?duration (TCTime ?tc))
:condition ( and (at start (GSAvailable ?gs))
(at start (FirstTc ?pass ?sat ?tc))
(over all (PassTrack ?pass ?sat ?gs))
(over all (not (TCNotAvailable ?pass ?sat)))
(at start (or (CalibrationOK ?pass ?cgroup) (NotCalibrationAvailable
?pass ?gs))) )
:effect (and (at end (FirstTcOK ?pass ?sat ?tc))
(at end (TcSent ?pass ?sat))
(at start (not (GSAvailable ?gs)))
(at end (GSAvailable ?gs)))
)
;; Enviar Último Telecomando da passagem
(:durative-action SendLastTC
161
:parameters (?pass - PassNumber ?sat - SatCode ?tc - TCCode ?gs - GSCode)
:duration (= ?duration (TCTime ?tc))
:condition ( and (at start (GSAvailable ?gs))
(at start (LastTc ?pass ?sat ?tc))
(over all (PassTrack ?pass ?sat ?gs))
(over all (TcSent ?pass ?sat)))
:effect (and (at end (LastTcOK ?pass ?sat ?tc))
(at start (not (GSAvailable ?gs)))
(at end (GSAvailable ?gs))
(at end (not (TCSent ?pass ?sat)))
(at end (not (PassTrack ?pass ?sat ?gs))) )
)
;; Enviar Telecomando Temporizado em solo
(:durative-action SendTimeTaggedTC
:parameters (?pass - PassNumber ?sat - SatCode ?tc - TCCode ?gs - GSCode)
:duration (= ?duration (TCTime ?tc))
:condition ( and (at start (GSAvailable ?gs))
(at start (TimeTaggedTC ?pass ?sat ?tc))
(over all (PassTrack ?pass ?sat ?gs)))
:effect (and (at end (TimeTaggedTCOK ?pass ?sat ?tc))
(at start (not (GSAvailable ?gs)))
(at end (GSAvailable ?gs)))
)
;; Enviar Telecomando não temporizado
(:durative-action SendTC
:parameters (?pass - PassNumber ?sat - SatCode ?tc - TCCode ?gs - GSCode ?cgroup
- CalibGroupNumber)
:duration (= ?duration (TCTime ?tc))
:condition ( and (at start (GSAvailable ?gs))
162
(over all (PassTrack ?pass ?sat ?gs))
(over all (TCSent ?pass ?sat))
(at start (or (CalibrationOK ?pass ?cgroup) (NotCalibrationAvailable
?pass ?gs))))
:effect (and (at end (TCSendOK ?pass ?sat ?tc))
(at start (not (GSAvailable ?gs)))
(at end (GSAvailable ?gs)))
)
)
163
164
APÊNDICE B
EXEMPLO DE UM ARQUIVO DE PROBLEMAS CODIFICADO EM PDDL 2.2
GERADO AUTOMATICAMENTE PELO PROTÓTIPO
O conteúdo do arquivo de problemas que foi gerado automaticamente pelo protótipo
para a passagem 60509.4 do satélite SCD1 e estação terrena de Cuiabá está apresentado
a seguir. Em negrito estão feitas algumas observações para melhor entendimento que
não fazem parte do código original.
;;Arquivo de problema para a passagem:SCD1CBAProblemPass60509-4
(define (problem SCD1CBAProblemPass60509-4)
(:domain POVMEDZSRRTC)
? ? Nome do arquivo de domínio
;;Definição dos Objetos
(:objects
? ? Objetos instanciados dos tipos definidos no arquivo de domínio
PASS60509-4 - PassNumber
SCD1 - SatCode
CBA - GSCode
CGroup03 - CalibGroupNumber
RGroup03 - RangeGroupNumber
Range02 - RangeNumber
Range03 - RangeNumber
Range04 - RangeNumber
Range05 - RangeNumber
ZS01 - ZSNumber
RRGroup07 - RRateGroupNumber
TC137 - TCCode
TC118 - TCCode
TC138 - TCCode
TT140 - TCCode
TT150 - TCCode
)
165
;;Definição das Funções ? ? Os valores aplicados a cada função foram calculados
(:init
;;
(= (CalibrationTime CBA CGroup03) 90.0)
(= (PassTime PASS60509-4) 720.0)
(= (RangeTime CBA RGroup03) 90.0)
(= (TcTime TC137) 2.0)
(= (TcTime TC118) 2.0)
(= (TcTime TC138) 2.0)
(= (TcTime TT140) 3.0)
(= (TcTime TT150) 2.0)
(= (ZoneSilentTime PASS60509-4 ZS01) 30.0)
;;
;;Definição do Estado inicial do ambiente ? ? Estado inicial da passagem
;;
(GSAvailable CBA)
? ? Estação terrena CBA disponível para rastreio
(PassTrack PASS60509-4 SCD1 CBA) ? ? Passagem 60509-4 a ser rastreada
(RangeAvailable PASS60509-4 SCD1 CBA) ? ? Méd. de distância disponível
nesta passagem
;;
;;Definição do Eventos exógenos ? ? Definição dos eventos com tempo
predeterminados da passagem
;;
(at 0.0 (CalibrationAvailable PASS60509-4 CBA))
? ? Calibração
(at 90.0 (not (CalibrationAvailable PASS60509-4 CBA)))
;;
(at 480.0 (FirstRange PASS60509-4 SCD1 CBA))
? ? 1a. Med. de distância
(at 570.0 (not (FirstRange PASS60509-4 SCD1 CBA)))
;;
(at 390.0 (FirstTc PASS60509-4 SCD1 TC137))
(at 392.0 (not (FirstTc PASS60509-4 SCD1 TC137)))
166
? ? 1o. telecomando
;;
(at 1050.0 (LastTC PASS60509-4 SCD1 TC138))
? ? último telecomando
(at 1052.0 (not (LastTC PASS60509-4 SCD1 TC138)))
;;
(at 420.0 (RRateAvailable PASS60509-4 SCD1 CBA)) ? ? Med. de velocidade
(at 421.0 (not (RRateAvailable PASS60509-4 SCD1 CBA)))
;;
(at 870.0 (SatSilentZoneAvailable PASS60509-4 SCD1 CBA ZS01)) ? ? Zona de
silêncio
(at 900.0 (not (SatSilentZoneAvailable PASS60509-4 SCD1 CBA ZS01)))
)
;;
;;Definição Objetivos a serem atingidos no Plano
;;
(:goal (and
? ? Objetivo composto de sub-objetivos
(LastTCOK PASS60509-4 SCD1 TC138)
(RRateOK PASS60509-4 SCD1 CBA RRGroup07)
(RangeOk PASS60509-4 RGroup03 Range02)
(RangeOk PASS60509-4 RGroup03 Range03)
(RangeOk PASS60509-4 RGroup03 Range04)
(RangeOk PASS60509-4 RGroup03 Range05)
(SilentZone PASS60509-4 SCD1 CBA ZS01)
)))
167