Filters








456 Hits in 1.6 sec

Defining Rough Sets by Extended Logic Programs [article]

Jan Małuszyński, Aida Vitória (Linköping University, Sweden)
2002 arXiv   pre-print
We show how definite extended logic programs can be used for defining and reasoning with rough sets. Moreover, a rough-set-specific query language is presented and an answering algorithm is outlined. Thus, we not only show a possible application of a paraconsistent logic to the field of rough sets as we also establish a link between rough set theory and logic programming, making possible transfer of expertise between both fields.
arXiv:cs/0207089v1 fatcat:ektd2jxajnffjo2yzbifwmwii4

A Framework for Reasoning with Rough Sets [chapter]

Aida Vitória
2005 Lecture Notes in Computer Science  
Vitória and C. V. Damásio. The language supported by RKBS (to encode rough programs) extends that of chapter 4 by associating quantitative measures with each tuple of a rough relation [VDM04] .  ... 
doi:10.1007/11574798_10 fatcat:lrk7y3nwe5hhlg3y3pkfkalg34

Paraconsistent Logic Programs with Four-Valued Rough Sets [chapter]

Jan Małuszyński, Andrzej Szałas, Aida Vitória
2008 Lecture Notes in Computer Science  
This paper presents a language for defining four-valued rough sets and to reason about them. Our framework brings together two major fields: rough sets and paraconsistent logic programming. On the one hand it provides a paraconsistent approach, based on four-valued rough sets, for integrating knowledge from different sources and reasoning in the presence of inconsistencies. On the other hand, it also caters for a specific type of uncertainty that originates from the fact that an agent may
more » ... ve different objects of the universe as being indiscernible. This paper extends the ideas presented in [9] . Our language allows the user to define similarity relations and use the approximations induced by them in the definition of other four-valued sets. A positive aspect is that it allows users to tune the level of uncertainty or the source of uncertainty that best suits applications.
doi:10.1007/978-3-540-88425-5_5 fatcat:g4mkxinvmfdqdgxyk2tqopzsgm

On the Integration of Recursive $$ \mathcal{A}\mathcal{L}\mathcal{N} $$-Theories [chapter]

Aida Vitória, Margarida Mamede
2000 Lecture Notes in Computer Science  
In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection and renaming. First, the semantics of these compositional operations is studied abstracting away from implementation details. Then, we present an implementation of the proposed operations, for knowledge bases expressed in the language ALN extended with recursive definitions of concepts, which transforms compositions of
more » ... e bases into knowledge bases. This transformation is sound and complete with respect to the semantics referred before.
doi:10.1007/3-540-45486-1_10 fatcat:mwilbmp6ybhndjz6peeyks6b3q

Análise por tomografia computadorizada do enxerto autógeno na cirurgia de "sinus lift"

Sérgio Aron Ajzen, Rafael Andrade Moscatiello, Aida Maria Custódio de Lima, Vitória Aparecida Muglia Moscatiello, Rafael Muglia Moscatiello, Celso Itiro Nishiguchi, Maria Teresa de Seixas Alves, Helio Kiitiro Yamashita
2005 Radiologia Brasileira  
OBJETIVO: Quantificar a formação óssea nos enxertos com e sem plasma rico em plaquetas, obtido pelos métodos de centrifugação e aférese, comparando os três tipos de enxertos realizados por meio de análise tomográfica. MATERIAIS E MÉTODOS: Este estudo prospectivo, duplo cego, utilizou uma amostra composta de 34 pacientes adultos, de ambos os sexos, com idade média de 48 anos e 8 meses, portadores de pneumatização unilateral ou bilateral dos seios maxilares, que necessitavam de enxertos ósseos,
more » ... m a finalidade de melhorar as condições locais para a colocação dos implantes dentários. Todos os pacientes realizaram tomografia computadorizada antes da cirurgia. Foram operados 53 seios maxilares, divididos em três grupos: enxerto de plasma rico em plaquetas obtido pelos métodos de aférese, centrifugação e enxerto apenas de osso autógeno. Após seis meses do procedimento cirúrgico foram realizados novos exames de imagem. RESULTADOS: Pela avaliação tomográfica, houve crescimento em altura e em largura nos três grupos quando foram comparados os momentos inicial e final, entretanto, não houve diferença estatística para a altura e para a largura. CONCLUSÃO: Evidências clínicas demonstram a eficácia dos enxertos autógenos, principalmente os associados a fatores indutores de crescimento ósseo, como o plasma rico em plaquetas, recuperando o arcabouço maxilofacial, necessário para a reconstrução protética e funcional por meio de implantes dentários.
doi:10.1590/s0100-39842005000100007 fatcat:g5r6kobkorho5nzhqrcwbuh5gu

Country Evaluation of Islamic Economic Criteria: An Application Using Entropy Weight and TOPSIS Methodologies

Mayor Vitoria F., Garcia Bernabeu A., Nor Aida Abdul Rahman, Mohammad Fakhrulnizam Mohammad
2021 International Journal of Science and Research (IJSR)  
While Islamic economy is growing in all sectors, Halal compliance is carried out by more countries worldwide. The purpose of this paper is toestablish a methodology based on MCDM methods in order to create an accurate ranking of countries according to the basis of the Halal standards, which can be used by public and private institutions. Although Islamic economy is evaluated globally by different institutions every year, those reports are based on indicators which are equally weighted. In this
more » ... aper, weights of the six Islamic economy criteria are determined by the EWM (Entropy Weight Method) and theTechnique for Order Preference by Similarity to Ideal Solution (TOPSIS) has been used to create a ranking of countries in terms of the Halalprinciples.
doi:10.21275/sr21216022424 fatcat:63eoq3itlzfolpha42cya4zkwu

Four-Valued Extension of Rough Sets [chapter]

Aida Vitória, Andrzej Szałas, Jan Małuszyński
Rough Sets and Knowledge Technology  
Rough set approximations of Pawlak [15] are sometimes generalized by using similarities between objects rather than elementary sets. In practical applications, both knowledge about properties of objects and knowledge of similarity between objects can be incomplete and inconsistent. The aim of this paper is to define set approximations when all sets, and their approximations, as well as similarity relations are four-valued. A set is four-valued in the sense that its membership function can have
more » ... ne of the four logical values: unknown (u), false (f), inconsistent (i), or true (t). To this end, a new implication operator and set-theoretical operations on four-valued sets, such as set containment, are introduced. Several properties of lower and upper approximations of four-valued sets are also presented.
doi:10.1007/978-3-540-79721-0_19 dblp:conf/rskt/VitoriaSM08 fatcat:vm6n7iwscfe7feosez7zyhudfq

A Four-Valued Logic for Rough Set-Like Approximate Reasoning [chapter]

Jan Małuszyński, Andrzej Szałas, Aida Vitória
Lecture Notes in Computer Science  
This paper extends the basic rough set formalism introduced by Pawlak [1] to a rule-based knowledge representation language, called Rough Datalog, where rough sets are represented by predicates and described by finite sets of rules. The rules allow us to express background knowledge involving rough concepts and to reason in such a knowledge base. The semantics of the new language is based on a four-valued logic, where in addition to the usual values TRUE and FALSE, we also have the values
more » ... RY, representing uncertainty, and UNKNOWN corresponding to the lack of information. The semantics of our language is based on a truth ordering different from the one used in the well-known Belnap logic [2, 3] and we show why Belnap logic does not properly reflect natural intuitions related to our approach. The declarative semantics and operational semantics of the language are described. Finally, the paper outlines a query language for reasoning about rough concepts.
doi:10.1007/978-3-540-71200-8_11 dblp:journals/trs/MaluszynskiSV07 fatcat:jtqaywcb4jarvoqcbkj4cpife4

ÓPERA E LITERATURA EM CENA: UMA ANÁLISE DA OBRA JUVENIL AÍDA, ADAPTADA POR HAN MI-HO E ILUSTRADA POR LUCIA SFORZA

Eliane Aparecida Galvão Ribeiro Ferreria, Claudia Valéria Penavel Binato
2014 Revista de Letras  
<p>Este texto tem por objetivo apresentar uma análise da obra Aída, adaptada <br />por Han Mi-Ho (2012) e ilustrada por Lucia Sforza, a partir de ópera clássica homônima de Giuseppe Verdi.  ...  Um exemplo aparece na cena em que Aída, de forma espontânea, sussurra a Radamés que lhe deseja vitória na liderança do exército.  ...  Dessa forma, Aída percebe o quanto seu destino é trágico, pois sofre e reza para que seu país conquiste a vitória, ao mesmo tempo em que deseja que Radamés não se fira.Para o jovem leitor, a trágica história  ... 
doi:10.3895/rl.v16n19.2711 fatcat:j5grt4nf2fhw7elpfifshg6ooe

Editorial

Fábio Ricardo Mizuno Lemos
2018 Motricidades  
da Ciência da Motricidade Humana de Manuel Sérgio.No artigo "O Outro e a violência social: possibilidades de compreensões em práticas sociais", Paulo Henrique Leal (Instituto Federal de São Paulo) e Aida  ...  Vitória Helena Cunha Espósito(Pontifícia Universidade Católica de São Paulo, Brasil)Prof. Dr. Wagner Wey Moreira(Universidade Federal do Triângulo Mineiro, Brasil)  ...  Educação Física brasileira (Movimento; Motriz; No artigo "O Outro e a violência social: possibilidades de compreensões em práticas sociais", Paulo Henrique Leal (Instituto Federal de São Paulo) e Aida  ... 
doi:10.29181/2594-6463.2018.v2.n1.p1-2 fatcat:a6n7vwoebzchpgeaqulemttw6q

Editorial

Fábio Ricardo Mizuno Lemos
2019 Motricidades  
Vitória Helena Cunha Espósito(Pontifícia Universid/ade Católica de São Paulo, Brasil)Prof. Dr. Wagner Wey Moreira(Universidade Federal do Triângulo Mineiro, Brasil)  ...  trabalho contemporâneo, assim como, a formação e atuação profissional em lazer no viés da contemporaneidade.Mariana Machitte de Freitas (Universidade Federal de São Carlos, UFSCar, São Carlos-SP, Brasil) e Aida  ...  Vitória Helena Cunha Espósito (Pontifícia Universid/ade Católica de São Paulo, Brasil) Prof. Dr. Wagner Wey Moreira (Universidade Federal do Triângulo Mineiro, Brasil)  ... 
doi:10.29181/2594-6463.2019.v3.n2.p77-78 fatcat:gy257ryzerbizjzamxaorbcfvi

O imaginário de corredoras de longa distância

Geovana Coiceiro, Nilda Ferreira
2003 Fitness & Performance Journal  
Elas viajam pelo mundo em busca de vitórias, de recordes, de reconhecimento e admiração.  ...  No entanto, e apesar do feito de Aída dos Santos, o atletismo ainda continua com uma maciça participação masculina.  ... 
doi:10.3900/fpj.2.3.151.p fatcat:25retzpc4fhwnikfwssfvkrao4

Page 498 of The Journal of Negro Education Vol. 10, Issue 3 [page]

1941 The Journal of Negro Education  
Aida Cometta Manzoni, a young Argentine writer, has said in one of her recent books that a distinc- tion should be made between Indian- ism and indigenism considering the first as the purely literary and  ...  Ignoring this propaganda and the theoretical defense of theologians such as Padre Vitoria (professor in the Uni- versity of Salamanca) as well as the judicial defense of the Laws of the Indies, it is advisable  ... 

Toponimia alavesa: apeo de Vitoria y su jurisdicción de 1481-1486

Ricardo Cierbide
1994 Anuario del Seminario de Filología Vasca Julio de Urquijo  
El Apeo de Vitoria y su jurisdicción (1481-1486) without doubt stands as the most important juridical and administrative document to learn about the economy and society of the Alava Plains in the Early  ...  And overwhelming predominance of Basque words has been observed, wich constitutes prima facie evidence of the prevalence of the Basque language in the villages under the jurisdiction of the city of Vitoria  ...  <;aida: "...en el termino de C;aida" (fo1. 278v). Mugaburua: 44E dende fueron al termino de Mugahurua" (fo1. 111v).  ... 
doi:10.1387/asju.8421 doaj:5a2ad9f3875344349c92a1c1a1155e99 fatcat:o4frqlgct5ddpa4ed5hcrxt3ky

High prevalence of diarrheagenic Escherichia coli carrying toxin-encoding genes isolated from children and adults in southeastern Brazil

Liliana Cruz Spano, Keyla Fonseca da Cunha, Mariane Vedovatti Monfardini, Rita de Cássia Bergamaschi Fonseca, Isabel Christina Affonso Scaletsky
2017 BMC Infectious Diseases  
Acknowledgments The authors thanks to the Municipality Laboratory of Vitória for the access of the clinical specimens.  ...  Methods Study subjects The study was conducted between January 2008 and February 2009 in the city of Vitória, Espírito Santo.  ...  In another study, DAEC was significantly associated with diarrhea in children older than one year of age (18.3%) at the emergency room of Hospital de Pediatria in the city of Vitória [21] .  ... 
doi:10.1186/s12879-017-2872-0 pmid:29254489 pmcid:PMC5735577 fatcat:dqyujfmlujfkrpehzxqqlzvf6q
« Previous Showing results 1 — 15 out of 456 results