| 1. Identificação | |
| Tipo de Referência | Artigo em Revista Científica (Journal Article) |
| Site | mtc-m16.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 6qtX3pFwXQZsFDuKxG/EpVE2 |
| Repositório | sid.inpe.br/marciana/2004/12.09.15.32 (acesso restrito) |
| Última Atualização | 2004:12.09.02.00.00 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/marciana/2004/12.09.15.32.43 |
| Última Atualização dos Metadados | 2018:06.05.01.21.12 (UTC) administrator |
| Chave Secundária | INPE-11793-PRE/7152 |
| ISSN | 0165-0114 |
| Chave de Citação | KullmannSand:2004:AnLoTh |
| Título | An annotated logic theorem prover for an extended possibilistic logic  |
| Projeto | Sistema fuzzy |
| Ano | 2004 |
| Mês | May |
| Data de Acesso | 03 maio 2024 |
| Tipo Secundário | PRE PI |
| Número de Arquivos | 1 |
| Tamanho | 327 KiB |
| 2. Contextualização | |
| Autor | 1 Kullmann, P. 2 Sandri, Sandra |
| Grupo | 1 2 LAC-INPE-MCT-BR |
| Afiliação | 1 IAKS - University Karlsruhe 2 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada (INPE.LAC) |
| Revista | Fuzzy Sets and Systems |
| Volume | 144 |
| Número | 1 |
| Páginas | 67-91 |
| Histórico (UTC) | 2005-06-27 18:46:22 :: sergio -> administrator :: 2006-09-28 22:28:26 :: administrator -> sergio :: 2008-01-07 12:53:41 :: sergio -> marciana :: 2008-01-08 17:34:31 :: marciana -> administrator :: 2008-06-10 22:28:25 :: administrator -> marciana :: 2011-05-19 23:28:18 :: marciana -> administrator :: 2018-06-05 01:21:12 :: administrator -> marciana :: 2004 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | COMPUTER SCIENCE Logic Fuzzy sets System Komet COMPUTAÇÃO APLICADA Lógica Grupo fuzzy Komet sistemas |
| Resumo | In this paper we present a theorem prover for possibilistic logic extended with fuzzy constants and fuzzily restricted quantifiers. First of all, we propose a representation for this logic in terms of Horn clauses. We then show how to transform this Horn clause formalism into the generalized annotated logic formalism proposed by Kifer and Subrahmanian in 1992. Specifically, the valuation in a possibilistic clause generates the annotation which will be attached to the head of the annotated clause. We also show how the inference rules of this possibilistic logic can be translated in terms of the mechanisms provided by this annotated logic. Finally, we discuss the implementation of a theorem prover for this possibilistic logic, now translated to annotated logic, in system KOMET, a large-purpose system which has generalized annotated logic as its underlying framework. In this paper we also present proofs relative to the theoretical issues and some examples implemented in KOMET. |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > An annotated logic... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| Idioma | en |
| Arquivo Alvo | annotated theorem.pdf |
| Grupo de Usuários | administrator marciana sergio |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Política de Arquivamento | denypublisher denyfinaldraft24 |
| Permissão de Leitura | deny from all and allow from 150.163 |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Divulgação | WEBSCI |
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notas | |
| Campos Vazios | alternatejournal archivist callnumber copyright creatorhistory descriptionlevel documentstage doi e-mailaddress electronicmailaddress format isbn label lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url versiontype |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |