Prova Exemplo

Janeiro de 2001

• Condições gerais da prova
• Parte teórica
• Parte prática

Condições gerais da prova

• Autorizada a consulta de documentação pessoal;
• Tempo de realização da prova (parte teórica + parte prática): 2 horas;
• Utilize folhas separadas para cada parte.

Parte teórica

(semelhante aos testes do ano anterior)

Parte prática

(semelhante aos testes do ano anterior. No entanto nalguns casos, a especificação de mensagens será pedida em KQML, como no exemplo que se segue.)

Um leilão caracteriza-se por:

• Um leiloeiro, que propõe vender determinado produto, estipulando apenas o valor mínimo do produto (base de licitação);
• Potenciais compradores, denominados licitadores, que efectuam propostas de compra, denominadas licitações, especificando o valor pelo qual estão dispostos a comprar o produto;
• As licitações são dirigidas ao leiloeiro que as valida e aceita sempre que o valor proposto for superior à base de licitação e ao mínimo anteriormente aceite;
• Assim que é aceite, o novo valor é tornado público a todas os licitadores.

Pretende-se desenvolver um sistema baseado em agentes inteligentes que modelize a actividade descrita com a condicionante do processo decorrer num ambiente distribuído e em que as transacções se realizam recorrendo a agentes que comunicam usando a internet.

Especifique as mensagens KQML correspondentes às seguintes situações:

1. O leiloeiro divulga a sua função aos licitadores conhecidos;

(advertise
	:content
		(subscribe
			:content
				(ask-if
					:content (exist (= leilao.produto ?produto))
					:language minha-linguagem-quase-KIF
					:ontology leilao
				)
			: language KQML
		)
	:language KQML
	:ontology sistema-informacao
	:sender leiloeiro
	:receiver licitador
)

2. O licitador mostra interesse em participar em leilão sobre determinado tipo de produtos. O leiloeiro deve responder  conforme o pedido e o conjunto de leilões a decorrer;

(subscribe
	:content
		(ask-if
			:content (exist (= leilao.produto ?produto))
			:language minha-linguagem-quase-KIF
			:ontology leilao
		)
	:language KQML
	:reply-with minha-referencia
	:sender licitador
	:receiver leiloeiro
)

3. O leiloeiro requer informações bancárias do licitador. O leiloeiro terá a possibilidade de recusar a sua participação no leilão quer por conhecimento próprio, quer recorrendo às informações bancárias

(evaluate
	:content (?informacao-bancaria)
	:language minha-linguagem-quase-KIF
	:ontology leilao
	:reply-with minha-referencia-informacao
	:sender leiloeiro
	:receiver licitador
)

(reply
	:content (?minha-informacao-bancaria)
	:language minha-linguagem-quase-KIF
	:ontology leilao
	:in-reply-to minha-referencia-informacao
	:sender licitador
	:receiver leiloeiro
)

(tell
	:content (= aceitacao-ou-rejeicao ?aceitacao-ou-rejeicao)
	:language minha-linguagem-quase-KIF
	:ontology leilao
	:in-reply-to minha-referencia-informacao
	:sender leiloeiro
	:receiver licitador
)

Última actualização: 01-02-2001