| 1. Identity statement | |
| Reference Type | Journal Article |
| Site | mtc-m16.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 6qtX3pFwXQZsFDuKxG/EpVE2 |
| Repository | sid.inpe.br/marciana/2004/12.09.15.32 (restricted access) |
| Last Update | 2004:12.09.02.00.00 (UTC) administrator |
| Metadata Repository | sid.inpe.br/marciana/2004/12.09.15.32.43 |
| Metadata Last Update | 2018:06.05.01.21.12 (UTC) administrator |
| Secondary Key | INPE-11793-PRE/7152 |
| ISSN | 0165-0114 |
| Citation Key | KullmannSand:2004:AnLoTh |
| Title | An annotated logic theorem prover for an extended possibilistic logic  |
| Project | Sistema fuzzy |
| Year | 2004 |
| Month | May |
| Access Date | 2024, Apr. 28 |
| Secondary Type | PRE PI |
| Number of Files | 1 |
| Size | 327 KiB |
| 2. Context | |
| Author | 1 Kullmann, P. 2 Sandri, Sandra |
| Group | 1 2 LAC-INPE-MCT-BR |
| Affiliation | 1 IAKS - University Karlsruhe 2 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada (INPE.LAC) |
| Journal | Fuzzy Sets and Systems |
| Volume | 144 |
| Number | 1 |
| Pages | 67-91 |
| History (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. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Keywords | COMPUTER SCIENCE Logic Fuzzy sets System Komet COMPUTAÇÃO APLICADA Lógica Grupo fuzzy Komet sistemas |
| Abstract | 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. |
| Area | COMP |
| Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > An annotated logic... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| Language | en |
| Target File | annotated theorem.pdf |
| User Group | administrator marciana sergio |
| Visibility | shown |
| Copy Holder | SID/SCD |
| Archiving Policy | denypublisher denyfinaldraft24 |
| Read Permission | deny from all and allow from 150.163 |
| 5. Allied materials | |
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP |
| Dissemination | WEBSCI |
| Host Collection | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notes | |
| Empty Fields | 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. Description control | |
| e-Mail (login) | marciana |
| update | |