[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER

Detalhes bibliográficos
Ano de defesa:	2006
Autor(a) principal:	ALBERTO JOSE FONSECA ADEODATO
Orientador(a):	Não Informado pela instituição
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Tese
Tipo de acesso:	Acesso aberto
Idioma:	por
Instituição de defesa:	MAXWELL
Programa de Pós-Graduação:	Não Informado pela instituição
Departamento:	Não Informado pela instituição
País:	Não Informado pela instituição
Palavras-chave em Português:	[pt] JOGOS SEMANTICOS [pt] PROGRAMACAO LOGICA [en] SEMANTIC GAMES [en] LOGIC PROGRAMMING
Link de acesso:	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=2 http://doi.org/10.17771/PUCRio.acad.9374
Resumo:	[pt] Haeusler e Pequeno desenvolveram um método de prova de teoremas baseado em jogos semânticos introduzidos por Hintikka. Posteriormente Rios desenvolveu o programa PROGRAME que implementa este método. Este trabalho descreve um ambiente de programação lógica desenvolvido com a finalidade de oferecer ao usuário facilidades de programação lógica suportada pelo provador PROGRAME. O ambiente foi idealizado o mais próximo possível nos ambientes PROLOG, com a facilidade adicional de permitir que no código do programa a ele submetido sejam utilizados indiferentemente goals a serem provados neste ambiente ou PROGRAME.

Registros relacionados