Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework

Belief revision studies strategies about how agents revise their belief states when receiving new evidence. Both in classical belief revision and in epistemic revision, a new input is either in the form of a (weighted) propositional formula or a total
pre-order (where the total pre-order is considered as a whole).
However, in some real-world applications, a new input can be a partial pre-order where each unit that constitutes the partial pre-order is important and should be considered individually. To address this issue, in this paper, we study how a partial preorder representing the prior epistemic state can be revised by another partial pre-order (the new input) from a different perspective, where the revision is conducted recursively on the individual units of partial pre-orders. We propose different revision operators (rules), dubbed the extension, match, inner and outer revision operators, from different revision points of view. We also analyze several properties for these operators.

Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Interpretable and Reconfigurable Clustering of Document Datasets by Deriving Word-based Rules

Clusters of text documents output by clustering algorithms are often hard to interpret. We describe motivating real-world scenarios that necessitate reconfigurability and high interpretability of clusters and outline the problem of generating clusterings with interpretable and reconfigurable cluster models. We develop two clustering algorithms toward the outlined goal of building interpretable and reconfigurable cluster models. They generate clusters with associated rules that are composed of conditions on word occurrences or nonoccurrences. The proposed approaches vary in the complexity of the format of the rules; RGC employs disjunctions and conjunctions in rule generation whereas RGC-D rules are simple disjunctions of conditions signifying presence of various words. In both the cases, each cluster is comprised of precisely the set of documents that satisfy the corresponding rule. Rules of the latter kind are easy to interpret, whereas the former leads to more accurate clustering. We show that our approaches outperform the unsupervised decision tree approach for rule-generating clustering and also an approach we provide for generating interpretable models for general clusterings, both by significant margins. We empirically show that the purity and f-measure losses to achieve interpretability can be as little as 3 and 5%, respectively using the algorithms presented herein.

Logic Programming and Artificial Neural Networks in Pharmacological Screening of Schinus Essential Oils

Some plants of genus Schinus have been used in the folk medicine as topical antiseptic, digestive, purgative, diuretic, analgesic or antidepressant, and also for respiratory and urinary infections. Chemical composition of essential oils of S. molle and S. terebinthifolius had been evaluated and presented high variability according with the part of the plant studied and with the geographic and climatic regions. The pharmacological properties, namely antimicrobial, anti-tumoural and anti-inflammatory activities are conditioned by chemical composition of essential oils. Taking into account the difficulty to infer the pharmacological properties of Schinus essential oils without hard experimental approach, this work will focus on the development of a decision support system, in terms of its knowledge representation and reasoning procedures, under a formal framework based on Logic Programming, complemented with an approach to computing centered on Artificial Neural Networks and the respective Degree-of-Confidence that one has on such an occurrence.

Terminologia e ontologias : metodologias para representação do conhecimento

Discute-se na presente dissertação as metodologias de representação do conhecimento que podem ser utilizadas em terminologia na construção de ontologias. Através da análise de duas abordagens terminológicas – semasiologia e onomasiologia – observa-se o estatuto do texto de especialidade sob um ponto de vista teórico e prático, questionando-se a sua importância e o contributo do terminólogo e do especialista na captura de conhecimento enquanto especificação informal de uma conceptualização.

Desenvolvimento profissional e educação em línguas: potencialidades e constrangimentos em contexto escolar

Este trabalho, desenvolvido por uma professora em contexto académico, movida por uma vontade de intervenção em contexto escolar para melhoria da qualidade do desempenho profissional e das aprendizagens dos alunos, assenta: por um lado, num entendimento de desenvolvimento profissional (DP) enquanto processo contínuo que se articula com e inscreve na prática do quotidiano docente; e, por outro lado, num entendimento da educação em línguas como um processo que valoriza a diversidade e enfatiza o plurilinguismo como valor e competência, enriquecendo os repertórios linguístico-comunicativos dos sujeitos, de modo a facilitar a abertura ao Outro, num processo de construção e recriação de significado sobre o mundo e sobre si na relação com esse Outro. Pretendeu-se, neste estudo, compreender o processo de desenvolvimento profissional de professores de línguas, tentando identificar potencialidades e constrangimentos que se colocam a esse desenvolvimento profissional em contexto. Para tal, foi desenvolvido um projecto de formação para a educação plurilingue numa escola Secundária com 3º Ciclo do Ensino Básico com um grupo de cinco professoras ao longo de dois anos. A formação, promovida através de um Centro de Formação de Escolas e acreditada pelo Conselho- Científico da Formação Contínua desenvolveu-se em duas fases. A primeira fase (2004/2005), na modalidade Oficina de Formação com 10 sessões de formação num total de 50 horas, e a segunda fase (2005/2006), na modalidade Projecto com nove sessões de formação, num total de 50 horas. O estudo seguiu uma metodologia de cariz qualitativo e de inspiração interpretativa/fenomenológica, pretendendo colocar em evidência o sujeito e sublinhando a interacção que estabelece consigo e com os outros, a partir das práticas discursivas que vai construindo. A estratégia investigativa desenhou-se em torno do estudo de caso no qual procurámos analisar a (des/re)construção de conhecimento profissional no contexto de um grupo de professoras em formação. Esta análise assumiu duas vertentes, uma tomando a interacção entre o grupo como alvo de análise, outra olhando para o percurso de cada formanda na sua singularidade. Os dados recolhidos e analisados incluem um inquérito por questionário inicial, a transcrição das sessões de formação e as reflexões escritas ao longo das duas fases da formação, bem como um inquérito por entrevista semiestruturada, após o terminus da formação, em Julho de 2007. Os resultados da análise indicam que os processos formativos que promovem o questionamento de si e das suas práticas, ajudando a identificar representações e a analisar o modo como as representações interferem ou não nas práticas para, em seguida, estas poderem ser reconstruídas, são facilitadores de DP. Evidenciaram-se, nestes processos, dois tempos de formação distintos, mas complementares, o tempo da observação e da análise e o tempo da apropriação e da acção, que englobam espaços de trabalho individual e colectivo. Nestes dois tempos de formação identificámos quatro modos facilitadores da reconstrução do conhecimento profissional, nomeadamente: a articulação da teoria com a prática; a tomada do objecto de trabalho em objecto de análise e de experimentação, incluindo a visualização, a análise e a reflexão sobre as experiências realizadas; a colocação do aluno no centro do processo de ensino; e o alargamento da consciencialização do trabalho com as línguas e das suas finalidades educativas. Estes quatro modos constituem-se como impulsionadores ou inibidores de DP, dependendo a sua percepção de factores, tanto de carácter individual como de carácter colectivo. Os factores de carácter individual dizem respeito ao comprometimento, ao empenho, ao modo como cada sujeito se vê como pessoa e como profissional, bem como à fase da carreira em que se situa. Os factores de carácter colectivo dizem respeito aos contextos nos quais o sujeito se move, nomeadamente a cultura da escola em que exerce funções, às relações interpessoais e profissionais que estabelece com os colegas de trabalho e às possibilidades e espaços de formação que cada sujeito encontra com os outros. Tendo constatado que o desenvolvimento profissional é fruto da intersecção da acção individual com a acção colectiva, concluímos que, na constituição de ambientes facilitadores de DP, importa ter em conta seis componentes: a apropriação individual da construção do conhecimento profissional pelos sujeitos, a construção de oportunidades de desenvolvimento, a construção da capacidade de intervenção em contexto, a promoção da colegialidade, a monitorização e avaliação de processos e resultados do trabalho no âmbito do DP e a criação de espaços e tempos próprios para esse trabalho. Os resultados da análise indicam também que a formação em contexto permite iniciar um trabalho de DP porque cria condições de auto/hetero/eco e coformação que incluem um potencial de aprendizagem profissional transformativa. Enquanto constrangimentos ao DP em contexto destacam-se aspectos contextuais que se relacionam com o tempo e a sua gestão, bem como com a visibilidade, o reconhecimento e o impacto do trabalho realizado no contexto. Através da descrição e análise de uma experiência de formação contínua em contexto, este trabalho revela possibilidades de ultrapassar os constrangimentos contextuais, sublinhando as potencialidades de desenvolvimento profissional em contexto, pelo modo como professoras, predispostas à mudança e comprometidas com a profissão, onde os alunos têm um papel particular, são capazes de inscrever transformação nas suas práticas, evidenciando a urgência não só de um apoio concreto e explícito, mas também de reconhecimento do trabalho desenvolvido em cada sala de aula, com cada turma, à descoberta de si e do outro, através das línguas para a construção de um mundo mais plural.

O quadro interativo na aula de inglês : desenvolvimento de práticas comunicativas

Na sociedade da informação, o papel da escola como centro transmissor de conhecimentos está a perder relevância face ao crescente número de fontes de informação alternativas, ricas em conteúdos e de fácil acesso. A alteração de paradigmas cria a necessidade de se introduzirem nos contextos educacionais novas ferramentas e que se adequem estratégias que permitam motivar e ensinar os aprendentes a procurarem e a selecionarem essa informação, participando, desta forma, ativamente na construção do conhecimento. Neste contexto, consideramos que o quadro interativo, pela sua capacidade de funcionar como hub digital, permite integrar recursos dinâmicos e interativos facilitadores do acesso ao conhecimento e à informação. A dissertação que apresentamos, “O Quadro Interativo na aula de inglês: desenvolvimento de práticas comunicativas”, situa-se na área do Multimédia em Educação e, mais especificamente, no domínio da tecnologia e pedagogia em sala de aula. A investigação foi desenhada em torno de um projeto de implementação de quadros interativos (Inov@r com QI) em agrupamentos/escolas do interior do país, associado a um Centro de Formação. A partir de uma investigação qualitativa mista, baseada no tracer study (análise documental, entrevistas e questionários) e no estudo etnográfico (aulas observadas, entrevistas e questionários), procurámos evidenciar a forma como essa tecnologia levou à integração de recursos e à adoção de estratégias promotoras de um ensino e aprendizagem ativo, centrado no aprendente e criando dinâmicas de interação e comunicação facilitadoras do desenvolvimento da competência comunicativa. Os resultados obtidos revelam que a introdução do quadro interativo produz efeitos positivos no ensino e aprendizagem do inglês. A sua integração em contexto de sala de aula abre espaço a um conjunto de potencialidades pedagógicas, promove o uso de recursos digitais variados; leva a uma diversificação de abordagens metodológicas que promovem a interação, criando espaços que levam ao desenvolvimento da competência comunicativa. No entanto, para tornar a introdução do quadro interativo mais eficaz, como ferramenta educativa no processo de ensino e aprendizagem, devemos ter em conta que esse processo de introdução do quadro deve ser planeada e refletida, devendo ter em conta uma nova realidade de conceitos, a tecnologia e as literacias necessárias para uma implementação eficaz. Os docentes devem ser acompanhados, ter acesso a formação técnica e pedagógica; e a possibilidade de integrarem um espaço de colaboração e partilha, como forma mais eficaz de se libertarem de práticas centradas no docente e orientadas apenas para a aquisição de conteúdos. Assim será possível dar lugar a um discurso pedagógico que inclua os vários intervenientes no processo de aprendizagem e a construção de conhecimento, num espaço de interação suportado pela tecnologia

Channel modelling for MIMO systems

Systems equipped with multiple antennas at the transmitter and at the receiver, known as MIMO (Multiple Input Multiple Output) systems, offer higher capacities, allowing an efficient exploitation of the available spectrum and/or the employment of more demanding applications. It is well known that the radio channel is characterized by multipath propagation, a phenomenon deemed problematic and whose mitigation has been achieved through techniques such as diversity, beamforming or adaptive antennas. By exploring conveniently the spatial domain MIMO systems turn the characteristics of the multipath channel into an advantage and allow creating multiple parallel and independent virtual channels. However, the achievable benefits are constrained by the propagation channel’s characteristics, which may not always be ideal. This work focuses on the characterization of the MIMO radio channel. It begins with the presentation of the fundamental results from information theory that triggered the interest on these systems, including the discussion of some of their potential benefits and a review of the existing channel models for MIMO systems. The characterization of the MIMO channel developed in this work is based on experimental measurements of the double-directional channel. The measurement system is based on a vector network analyzer and a two-dimensional positioning platform, both controlled by a computer, allowing the measurement of the channel’s frequency response at the locations of a synthetic array. Data is then processed using the SAGE (Space-Alternating Expectation-Maximization) algorithm to obtain the parameters (delay, direction of arrival and complex amplitude) of the channel’s most relevant multipath components. Afterwards, using a clustering algorithm these data are grouped into clusters. Finally, statistical information is extracted allowing the characterization of the channel’s multipath components. The information about the multipath characteristics of the channel, induced by existing scatterers in the propagation scenario, enables the characterization of MIMO channel and thus to evaluate its performance. The method was finally validated using MIMO measurements.

Interculturalidade : caminhos para a transformação

Relatório de estágio de mestrado, Ciências da Educação (Educação Intercultural), Universidade de Lisboa, Instituto de Educação, 2013

A method for analysing operational complexity in supply chains

This paper proposes a method for analysing the operational complexity in supply chains by using an entropic measure based on information theory. The proposed approach estimates the operational complexity at each stage of the supply chain and analyses the changes between stages. In this paper a stage is identified by the exchange of data and/or material. Through analysis the method identifies the stages where the operational complexity is both generated and propagated (exported, imported, generated or absorbed). Central to the method is the identification of a reference point within the supply chain. This is where the operational complexity is at a local minimum along the data transfer stages. Such a point can be thought of as a ‘sink’ for turbulence generated in the supply chain. Where it exists, it has the merit of stabilising the supply chain by attenuating uncertainty. However, the location of the reference point is also a matter of choice. If the preferred location is other than the current one, this is a trigger for management action. The analysis can help decide appropriate remedial action. More generally, the approach can assist logistics management by highlighting problem areas. An industrial application is presented to demonstrate the applicability of the method.

"One of our hosts in another country": Challenges of data geolocation in cloud storage

Physical location of data in cloud storage is an increasingly urgent problem. In a short time, it has evolved from the concern of a few regulated businesses to an important consideration for many cloud storage users. One of the characteristics of cloud storage is fluid transfer of data both within and among the data centres of a cloud provider. However, this has weakened the guarantees with respect to control over data replicas, protection of data in transit and physical location of data. This paper addresses the lack of reliable solutions for data placement control in cloud storage systems. We analyse the currently available solutions and identify their shortcomings. Furthermore, we describe a high-level architecture for a trusted, geolocation-based mechanism for data placement control in distributed cloud storage systems, which are the basis of an on-going work to define the detailed protocol and a prototype of such a solution. This mechanism aims to provide granular control over the capabilities of tenants to access data placed on geographically dispersed storage units comprising the cloud storage.

Training control centers' operators in incident diagnosis and power restoration using intelligent tutoring systems

The activity of Control Center operators is important to guarantee the effective performance of Power Systems. Operators’ actions are crucial to deal with incidents, especially severe faults like blackouts. In this paper, we present an Intelligent Tutoring approach for training Portuguese Control Center operators in tasks like incident analysis and diagnosis, and service restoration of Power Systems. Intelligent Tutoring System (ITS) approach is used in the training of the operators, having into account context awareness and the unobtrusive integration in the working environment. Several Artificial Intelligence techniques were criteriously used and combined together to obtain an effective Intelligent Tutoring environment, namely Multiagent Systems, Neural Networks, Constraint-based Modeling, Intelligent Planning, Knowledge Representation, Expert Systems, User Modeling, and Intelligent User Interfaces.

Informação e conhecimento: fluxos e apropriação sob uma abordagem crítica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O endomarketing como factor de sucesso nas organizações: o impacto no empenhamento e na satisfação dos clientes internos da empresa PT PRO

A literatura descreve que as ações de endomarketing contribuem para a aproximação, interação e o bom relacionamento entre a empresa e os colaboradores. Sendo caracterizada como uma relação de troca, na qual a empresa fornece instrumentos capazes de promover o interesse dos colaboradores a participarem mais ativamente em toda a envolvente organizacional - através de ações que favoreçam o diálogo, sugestões, partilha de conhecimentos e informações, bem como relatos de situações corriqueiras ocorridas no dia-a-dia da empresa. Em contrapartida, à medida que o colaborador se sente valorizado pela empresa e pelos colegas, passa a perceber a importância do seu trabalho dentro da organização, permitindo que identifique o trabalho como algo prazeroso. Esta troca contribui para a produtividade e desenvolvimento da empresa, bem como a satisfação e empenhamento dos colaboradores no trabalho. Neste sentido, visando averiguar como esta situação é vivenciada na prática decidiu-se pela realização de um estágio, tendo como questão de estudo qual o impacto das ações de endomarketing no empenhamento e na satisfação dos clientes internos da PT PRO? Para responder a tal indagação foi realizado um estágio na empresa PT PRO, nomeadamente na Direção de Desenvolvimento de Mercado, Marketing e Formação. Apresentam-se ao longo do presente relatório a descrição das especificidades do estágio, tal como as principais ilações daí retiradas tendo através de pesquisas documentais (arquivo e documentos internos e Intranet), reuniões com a Direção de Marketing e com a tutora do estágio, tal como pela aplicação e análise de um inquérito por questionário aplicado aos colaboradores, chegando-se à conclusão que, de facto, as ações de endomarketing levadas a cabo pela empresa contribuem para o empenhamento e satisfação dos colaboradores.