A family of graded epistemic logics

Multi-Agent Epistemic Logic has been investigated in Computer Science [Fagin, R., J. Halpern, Y. Moses and M. Vardi, “Reasoning about Knowledge,” MIT Press, USA, 1995] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [Fagin, R. and J. Halpern, Reasoning about knowledge and probability, Journal of the ACM 41 (1994), pp. 340–367] and also with a fuzzy semantics have been proposed [Fitting, M., Many-valued modal logics, Fundam. Inform. 15 (1991), pp. 235–254; Maruyama, Y., Reasoning about fuzzy belief and common belief: With emphasis on incomparable beliefs, in: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16–22, 2011, 2011, pp. 1008–1013]. This paper introduces a parametric method to build graded epistemic logics inspired in the systematic method to build Multi-valued Dynamic Logics introduced in [Madeira, A., R. Neves and M. A. Martins, An exercise on the generation of many-valued dynamic logics, J. Log. Algebr. Meth. Program. 85 (2016), pp. 1011–1037. URL http://dx.doi.org/10.1016/j.jlamp.2016.03.004; Madeira, A., R. Neves, M. A. Martins and L. S. Barbosa, A dynamic logic for every season, in: C. Braga and N. Martí-Oliet, editors, Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, Lecture Notes in Computer Science 8941 (2014), pp. 130–145. URL http://dx.doi.org/10.1007/978-3-319-15075-8_9]. The parameter in both methods is the same: an action lattice [Kozen, D., On action algebras, Logic and Information Flow (1994), pp. 78–88]. This algebraic structure supports a generic space of agent knowledge operators, as choice, composition and closure (as a Kleene algebra), but also a proper truth space for possible non bivalent interpretation of the assertions (as a residuated lattice).publishe

Efeito da palhada sobre a temperatura do solo, em cultivo protegido de pimentão nas condições do Amazonas.

O objetivo desse trabalho foi avaliar se o uso da palhada, em cultivo protegido de pimentão nas condições de altas temperaturas do Amazonas, auxilia na redução da temperatura do solo

Nematoides na cultura da mandioquinha-salsa

Esta Circular Técnica tem como objetivos descrever os principais aspectos relacionados ao nematoide-das-galhas e nematoide-das-lesõesradiculares, como etiologia, sintomas, ciclo de vida e as principais medidas de controle recomendadas para o manejo correto destes microrganismos em áreas de cultivo de mandioquinha-salsa.bitstream/item/84828/1/ct-123.pd

Compatibilidade de porta-enxertos de Capsicum baccatum com pimentão no Distrito Federal.

Avaliou-se a compatibilidade entre oito acessos de C. baccatum que apresentam alto vigor e potencial para uso como portaenxerto do banco de germoplasma da Embrapa Hortaliças, e o pimentão 'Margarita'. Como testemunha, utilizaram-se materiais de C.annuum: o híbrido comercial Snooker, um Híbrido Simples Experimental (HSE) da Embrapa Hortaliças e plantas de 'Margarita' não enxertadas.CD-ROM. Suplemento. Trabalho apresentado no 51. Congresso Brasileiro de Olericultura, Viçosa, MG

Seleção de clones de mandioquinha-salsa em áreas naturalmente infestadas pelo nematoide-das-galhas por meio de escala de notas.

Realizou-se este trabalho com o objetivo de avaliar clones de mandioquinha-salsa quanto à reação a Meloidogyne spp. por meio da elaboração de uma escala de notas.bitstream/item/85035/1/bpd-93.pd

Adaptability and stability of commercial yield of arracacha in southern region of Minas Gerais State.

The arracacha is a great economical alternative for Brazilian farmers. The aim of this research was to determine the stability and adaptability of arracacha clones by the methodology of factors analysis and bissegmented regression

Poly(triazolyl methacrylate) glycopolymers as potential targeted unimolecular nanocarriers

© The Royal Society of Chemistry 2019.Synthetic glycopolymers are increasingly investigated as multivalent ligands for a range of biological and biomedical applications. This study indicates that glycopolymers with a fine-tuned balance between hydrophilic sugar pendant units and relatively hydrophobic polymer backbones can act as single-chain targeted nanocarriers for low molecular weight hydrophobic molecules. Non-covalent complexes formed from poly(triazolyl methacrylate) glycopolymers and low molecular weight hydrophobic guest molecules were characterised through a range of analytical techniques-DLS, SLS, TDA, fluorescence spectroscopy, surface tension analysis-and molecular dynamics (MD) modelling simulations provided further information on the macromolecular characteristics of these single chain complexes. Finally, we show that these nanocarriers can be utilised to deliver a hydrophobic guest molecule, Nile red, to both soluble and surface-immobilised concanavalin A (Con A) and peanut agglutinin (PNA) model lectins with high specificity, showing the potential of non-covalent complexation with specific glycopolymers in targeted guest-molecule delivery.Peer reviewedFinal Published versio