|
|
Registro Completo |
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 |
Marc: |
LEADER 01447naa a2200229 a 4500 001 1005955 005 2013-01-21 008 1995 bl uuuu u00u1 u #d 020 $a3-540-60436-7 100 1 $aRODRIGUES, O. 245 $aPROMAL$bProgramming in Model Action Logic. 260 $c1995 300 $ap. 101-111. 490 $a(Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science). 500 $aSBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho. 520 $aIn 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. 650 $aartificial intelligence 653 $aInteligencia artificial 653 $aLogic programming 653 $aProgramação lógica 700 1 $aBENEVIDES, M. 773 $tIn: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 178 | |
2. | | RODRIGUES, O. Fundamentos de manejo de forrageira. In: CURSO ESTABELECIMENTO, UTILIZAÇÃO E MANEJO DE PLANTAS FORRAGEIRAS, 1993, Passo Fundo. Palestras apresentadas... Passo Fundo: EMBRAPA-CNPT, março 1993. p. 11-23Biblioteca(s): Embrapa Trigo. |
| |
8. | | RODRIGUES, O.; FRACASSO, D. M. Ensaio sulbrasileiro de rendimento de grãos de aveia, em Passo Fundo, RS, 1988. Boletim de Pesquisa - UPF, Passo Fundo, v. 13, n. 10, p. 35-38, mar. 1990.Biblioteca(s): Embrapa Trigo. |
| |
Registros recuperados : 178 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|