Data/hora: 10/06/2024 16:11:31

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 13/02/1998
Data da última atualização: | 21/01/2013
Autoria: | RODRIGUES, O.; BENEVIDES, M.
Afiliação: | ODINALDO RODRIGUES, Imperial College, London; MARIO BENEVIDES, COPPE/UFRJ.
Título: | PROMAL: Programming in Model Action Logic.
Ano de publicação: | 1995
Fonte/Imprenta: | In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.
Páginas: | p. 101-111.
Série: | (Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science).
ISBN: | 3-540-60436-7
Idioma: | Inglês
Notas: | SBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho.
Conteúdo: | In this work we present PROMAL: Programming in Model Action Logic, a formalism to deal with the planning problem. This formalism is based on the concepts of Modal Action Logic (MAL) and may be regarded as an extension of SLD-Resolution to allow the clauses of a Definite Set to have literals with modalities. The modalities are intended to capture the notion of state change caused by the execution of actions. As in previous works in MAL, we call the information about a system's state scenario. Besides acomplishing proofs of properties of specific scenarios it is possible to search scenarios where desired properties hold.
Palavras-Chave: | Inteligencia artificial; Logic programming; Programação lógica.
Thesaurus Nal: | artificial intelligence.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (6590-1) - ADD - PL - PP - 006.3 - BRA - 1996.00012 - DIS