| |
|
|
|
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
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Hortaliças. |
|
Data corrente: |
15/09/1999 |
|
Data da última atualização: |
31/01/2019 |
|
Autoria: |
FRANÇA, F. H.; MIRANDA, J. E. C.; FERREIRA, P. E.; MALUF, W. R.; BARBOSA, S. |
|
Afiliação: |
FÉLIX HUMBERTO FRANÇA, EMBRAPA-CNPH, Brasilia, DF.; J. E. C. MIRANDA, CNP HORTALIÇAS; P. E. FERREIRA, CNP HORTALIÇAS; W. R. MALUF, CNPHORTALIÇAS; SEBASTIÃO BARBOSA, CNPH. |
|
Título: |
Avaliacao de germoplasma de batata doce Ipomoea batatas (L.) Lam. visando resistencia a insetos de solo. |
|
Ano de publicação: |
1983 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE OLERICULTURA, 23., 1983, Rio de Janeiro, RJ. Resumos... Rio de Janeiro: SOB, 1983. |
|
Páginas: |
p. 177. |
|
Idioma: |
Português |
|
Palavras-Chave: |
Batata-doce; Brasil; Brasilia; Competition; Distrito Federal; Pest insects; Resistance. |
|
Thesagro: |
Cerrado; Competição de Variedade; Germoplasma; Inseto; Ipomoea Batatas; Praga; Raiz; Resistência; Solo. |
|
Thesaurus NAL: |
Brazil; germplasm; roots; soil; sweet potatoes; varieties. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/191691/1/digitalizar0144.pdf
|
|
Marc: |
LEADER 01131nam a2200421 a 4500
001 1765515
005 2019-01-31
008 1983 bl uuuu u00u1 u #d
100 1 $aFRANÇA, F. H.
245 $aAvaliacao de germoplasma de batata doce Ipomoea batatas (L.) Lam. visando resistencia a insetos de solo.
260 $aIn: CONGRESSO BRASILEIRO DE OLERICULTURA, 23., 1983, Rio de Janeiro, RJ. Resumos... Rio de Janeiro: SOB$c1983
300 $ap. 177.
650 $aBrazil
650 $agermplasm
650 $aroots
650 $asoil
650 $asweet potatoes
650 $avarieties
650 $aCerrado
650 $aCompetição de Variedade
650 $aGermoplasma
650 $aInseto
650 $aIpomoea Batatas
650 $aPraga
650 $aRaiz
650 $aResistência
650 $aSolo
653 $aBatata-doce
653 $aBrasil
653 $aBrasilia
653 $aCompetition
653 $aDistrito Federal
653 $aPest insects
653 $aResistance
700 1 $aMIRANDA, J. E. C.
700 1 $aFERREIRA, P. E.
700 1 $aMALUF, W. R.
700 1 $aBARBOSA, S.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Hortaliças (CNPH) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
