| |
|
|
|
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
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Agricultura Digital; Embrapa Café. |
|
Data corrente: |
12/11/2019 |
|
Data da última atualização: |
04/02/2020 |
|
Tipo da produção científica: |
Artigo em Anais de Congresso |
|
Autoria: |
SANTOS, C. S. dos; PEREIRA, F. A. C.; MAURI, J.; VIANA, M. T.; MENDES, A. N. G.; VEIGA, A. D.; RODRIGUES, G. C.; BARTHOLO, G. F.; CARVALHO, M. A. de F. |
|
Afiliação: |
CYNTIA STEPHÂNIA DOS SANTOS, UFLA; FERNANDA APARECIDA CASTRO PEREIRA, UFLA; JANAÍNA MAURI; MARIANA THEREZA VIANA; ANTÔNIO NAZARENO GUIMARÃES MENDES, UFLA; ADRIANO DELLY VEIGA, CPAC; GUSTAVO COSTA RODRIGUES, CNPTIA; GABRIEL FERREIRA BARTHOLO, CNPCa; MILENE ALVES DE FIGUEIREDO CARVALHO, CNPCa. |
|
Título: |
Divergência genética com base em características fisiológicas de genótipos de Coffea arabica L. |
|
Ano de publicação: |
2019 |
|
Fonte/Imprenta: |
In: SIMPÓSIO DE PESQUISA DOS CAFÉS DO BRASIL, 10., 2019, Vitória, ES. Pesquisa, inovação e sustentabilidade dos cafés do Brasil. Brasília, DF: Embrapa Café, 2019. |
|
Páginas: |
5 p. |
|
Idioma: |
Português |
|
Notas: |
Título em inglês: Genetic divergence based on physiological characteristics of Coffea arabica L. genotypes. |
|
Conteúdo: |
Objetivou-se identificar as principais características fisiológicas na divergência de genótipos de Coffea arabica L. Foram avaliados 23 genótipos de cafeeiros do Banco Ativo de Germoplasma da Embrapa Cerrados, em Planaltina-DF, sendo eles: Acaiá Cerrado MG1474, Araponga MG1, Catiguá MG1, Catiguá MG2, Catiguá MG3-S/M, Catiguá MG3-P4, Catiguá MG3-P5, Catiguá MG3-P7, Catiguá MG3-P9, Catiguá MG3-P23, Catiguá MG3-P51, Catuaí Amarelo IAC62, Catuaí Vermelho IAC15, Catuaí Vermelho IAC81, Catuaí Vermelho IAC99, Caturra Vermelho MG0187, Guatenano Colis MG0207, Mundo Novo IAC379-19, Paraíso MG1, Pau Brasil MG1, Sacramento MG1, San Ramon MG0198 e Topázio MG-1190. O delineamento utilizado foi inteiramente casualizado, com os 23 genótipos e 6 repetições. As avaliações de trocas gasosas foram realizadas em folhas completamente expandidas, do terceiro ou quarto par, no terço médio dos ramos plagiotrópicos de três plantas de cada genótipo. Utilizou-se um sistema portátil de análise de gases por infravermelho (IRGA LICOR?6400XT) em que se obtiveram as seguintes características: taxa fotossintética líquida(A), condutância estomática (gs), carbono interno (Ci), transpiração (E), eficiência do uso da água (EUA ? A/gs), concentração intercelular de CO2 no mesofilo sobre a concentração de CO2 externa atual (relação Ci/Ca - ?mol CO2 ) e eficiência de carboxilação (A/Ci). A análise multivariada de componentes principais foi realizada no software Genes. As características que mais se correlacionaram com o primeiro componente principal foram Ci/Ca, EUA, gs e Ci. Os genótipos Topázio MG1190, Catiguá MG1, Catiguá MG3 P5 e Catiguá MG3 P51 se diferenciaram dos demais pelas características Ci/Ca, gs e A. Já os genótipos Catuaí Amarelo IAC 62, Catuaí Vermelho IAC 81 e Mundo Novo IAC 379-19 se diferenciaram dos demais pelas características de índices de clorofila a, b e total. Conclui-se que há variabilidade para os genótipos de Coffea arabica L. avaliados, sendo que as características que mais contribuíram para a distinção dos genótipos foram CiCa, EUA, gs, Ci e A. MenosObjetivou-se identificar as principais características fisiológicas na divergência de genótipos de Coffea arabica L. Foram avaliados 23 genótipos de cafeeiros do Banco Ativo de Germoplasma da Embrapa Cerrados, em Planaltina-DF, sendo eles: Acaiá Cerrado MG1474, Araponga MG1, Catiguá MG1, Catiguá MG2, Catiguá MG3-S/M, Catiguá MG3-P4, Catiguá MG3-P5, Catiguá MG3-P7, Catiguá MG3-P9, Catiguá MG3-P23, Catiguá MG3-P51, Catuaí Amarelo IAC62, Catuaí Vermelho IAC15, Catuaí Vermelho IAC81, Catuaí Vermelho IAC99, Caturra Vermelho MG0187, Guatenano Colis MG0207, Mundo Novo IAC379-19, Paraíso MG1, Pau Brasil MG1, Sacramento MG1, San Ramon MG0198 e Topázio MG-1190. O delineamento utilizado foi inteiramente casualizado, com os 23 genótipos e 6 repetições. As avaliações de trocas gasosas foram realizadas em folhas completamente expandidas, do terceiro ou quarto par, no terço médio dos ramos plagiotrópicos de três plantas de cada genótipo. Utilizou-se um sistema portátil de análise de gases por infravermelho (IRGA LICOR?6400XT) em que se obtiveram as seguintes características: taxa fotossintética líquida(A), condutância estomática (gs), carbono interno (Ci), transpiração (E), eficiência do uso da água (EUA ? A/gs), concentração intercelular de CO2 no mesofilo sobre a concentração de CO2 externa atual (relação Ci/Ca - ?mol CO2 ) e eficiência de carboxilação (A/Ci). A análise multivariada de componentes principais foi realizada no software Genes. As características que mais se correlacionaram ... Mostrar Tudo |
|
Palavras-Chave: |
Análise multivariada; Cafeeiro; Coffee tree. |
|
Thesagro: |
Café; Coffea Arábica; Fisiologia; Fisiologia Vegetal. |
|
Thesaurus NAL: |
Multivariate analysis; Physiology. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 03312nam a2200337 a 4500
001 2114314
005 2020-02-04
008 2019 bl uuuu u01u1 u #d
100 1 $aSANTOS, C. S. dos
245 $aDivergência genética com base em características fisiológicas de genótipos de Coffea arabica L.$h[electronic resource]
260 $aIn: SIMPÓSIO DE PESQUISA DOS CAFÉS DO BRASIL, 10., 2019, Vitória, ES. Pesquisa, inovação e sustentabilidade dos cafés do Brasil. Brasília, DF: Embrapa Café$c2019
300 $a5 p.
500 $aTítulo em inglês: Genetic divergence based on physiological characteristics of Coffea arabica L. genotypes.
520 $aObjetivou-se identificar as principais características fisiológicas na divergência de genótipos de Coffea arabica L. Foram avaliados 23 genótipos de cafeeiros do Banco Ativo de Germoplasma da Embrapa Cerrados, em Planaltina-DF, sendo eles: Acaiá Cerrado MG1474, Araponga MG1, Catiguá MG1, Catiguá MG2, Catiguá MG3-S/M, Catiguá MG3-P4, Catiguá MG3-P5, Catiguá MG3-P7, Catiguá MG3-P9, Catiguá MG3-P23, Catiguá MG3-P51, Catuaí Amarelo IAC62, Catuaí Vermelho IAC15, Catuaí Vermelho IAC81, Catuaí Vermelho IAC99, Caturra Vermelho MG0187, Guatenano Colis MG0207, Mundo Novo IAC379-19, Paraíso MG1, Pau Brasil MG1, Sacramento MG1, San Ramon MG0198 e Topázio MG-1190. O delineamento utilizado foi inteiramente casualizado, com os 23 genótipos e 6 repetições. As avaliações de trocas gasosas foram realizadas em folhas completamente expandidas, do terceiro ou quarto par, no terço médio dos ramos plagiotrópicos de três plantas de cada genótipo. Utilizou-se um sistema portátil de análise de gases por infravermelho (IRGA LICOR?6400XT) em que se obtiveram as seguintes características: taxa fotossintética líquida(A), condutância estomática (gs), carbono interno (Ci), transpiração (E), eficiência do uso da água (EUA ? A/gs), concentração intercelular de CO2 no mesofilo sobre a concentração de CO2 externa atual (relação Ci/Ca - ?mol CO2 ) e eficiência de carboxilação (A/Ci). A análise multivariada de componentes principais foi realizada no software Genes. As características que mais se correlacionaram com o primeiro componente principal foram Ci/Ca, EUA, gs e Ci. Os genótipos Topázio MG1190, Catiguá MG1, Catiguá MG3 P5 e Catiguá MG3 P51 se diferenciaram dos demais pelas características Ci/Ca, gs e A. Já os genótipos Catuaí Amarelo IAC 62, Catuaí Vermelho IAC 81 e Mundo Novo IAC 379-19 se diferenciaram dos demais pelas características de índices de clorofila a, b e total. Conclui-se que há variabilidade para os genótipos de Coffea arabica L. avaliados, sendo que as características que mais contribuíram para a distinção dos genótipos foram CiCa, EUA, gs, Ci e A.
650 $aMultivariate analysis
650 $aPhysiology
650 $aCafé
650 $aCoffea Arábica
650 $aFisiologia
650 $aFisiologia Vegetal
653 $aAnálise multivariada
653 $aCafeeiro
653 $aCoffee tree
700 1 $aPEREIRA, F. A. C.
700 1 $aMAURI, J.
700 1 $aVIANA, M. T.
700 1 $aMENDES, A. N. G.
700 1 $aVEIGA, A. D.
700 1 $aRODRIGUES, G. C.
700 1 $aBARTHOLO, G. F.
700 1 $aCARVALHO, M. A. de F.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
