Solving Conflicting Beliefs with a Distributed Belief Revision Approach

The ability to solve conflicting beliefs is crucial for multi- agent systems where the information is dynamic, incomplete and dis- tributed over a group of autonomous agents. The proposed distributed belief revision approach consists of a distributed truth maintenance sy- stem and a set of autonomous belief revision methodologies. The agents have partial views and, frequently, hold disparate beliefs which are au- tomatically detected by system’s reason maintenance mechanism. The nature of these conflicts is dynamic and requires adequate methodolo- gies for conflict resolution. The two types of conflicting beliefs addressed in this paper are Context Dependent and Context Independent Conflicts which result, in the first case, from the assignment, by different agents, of opposite belief statuses to the same belief, and, in the latter case, from holding contradictory distinct beliefs. The belief revision methodology for solving Context Independent Con- flicts is, basically, a selection process based on the assessment of the cre- dibility of the opposing belief statuses. The belief revision methodology for solving Context Dependent Conflicts is, essentially, a search process for a consensual alternative based on a “next best” relaxation strategy.

Beliefs and Conflicts in a Real World Multi-Agent System

In a real world multiagent system, where the agents are faced with partial, incomplete and intrinsically dynamic knowledge, conflicts are inevitable. Frequently, different agents have goals or beliefs that cannot hold simultaneously. Conflict resolution methodologies have to be adopted to overcome such undesirable occurrences. In this paper we investigate the application of distributed belief revision techniques as the support for conflict resolution in the analysis of the validity of the candidate beams to be produced in the CERN particle accelerators. This CERN multiagent system contains a higher hierarchy agent, the Specialist agent, which makes use of meta-knowledge (on how the con- flicting beliefs have been produced by the other agents) in order to detect which beliefs should be abandoned. Upon solving a conflict, the Specialist instructs the involved agents to revise their beliefs accordingly. Conflicts in the problem domain are mapped into conflicting beliefs of the distributed belief revision system, where they can be handled by proven formal methods. This technique builds on well established concepts and combines them in a new way to solve important problems. We find this approach generally applicable in several domains.

Thinking over b‐learning strategy: the MIPO model approach

This article describes the main research results in a new methodology, in which the stages and strategies of the technology integration process are identified and described. A set of principles and recommendations are therefore presented. The MIPO model described in this paper is a result of the effort made regarding the understanding of the main success features of good practices, in the web environment, integrated in the information systems/information technology context. The initial model has been created, based on experiences and literature review. After that, it was tested in the information and technology system units at higher school and also adapted as a result of four cycles of an actionresearch work combined with a case study research. The information, concepts and procedures presented here give support to teachers and instructors, instructional designers and planning teams – anyone who wants to develop effective b‐learning instructions.

New challenges in mathematics for the european higher education

In this paper we will talk about a math project submitted to the Lifelong Learning Programme. European higher education needs a reform in order to play its full role in the Europe of Knowledge. Modernisation of higher education is necessary in the areas of curricula (Bologna process), funding and governance so that higher education institutions can face the challenges posed by globalisation and contribute more effectively to the training and retraining of the European workforce. On the other hand Mathematics is an essential component of all educational systems. Mathematical literacy is being scrutinized in assessment efforts such as the OCDE Programme for International Student Assessment (PISA). This showed a low level in Europe. Due to the Bologna Process, which brought several didactical implications for Higher Education (HE) institutions, there is the need of lifelong learning. This evolution is in conflict with the earlier mentioned lack of competencies on basic sciences, such as Mathematics. Forced by this duality, efforts are combined to share expertise in the Math field and the integration of pedagogical methodologies becomes a necessity. Thus, several European countries have proposed an International Project to the Lifelong Learning Programme, Action ERASMUS Modernisation of Higher Education, to make institutions more attractive and more responsive to the needs of the labour market, citizens and society at large. One of the main goals of the project is to attract students to math through high-quality instructional units in an understandable, exciting and attractive way.

Profissionais de saúde mental enquanto agentes de estigmatização da doença mental

A doença mental continua imbuída de mitos, preconceitos e estereótipos, apesar da crescente aposta na investigação e na melhoria de tratamento nesta área da saúde. Como consequência, as pessoas com doença mental são discriminadas e estigmatizadas quer pelo público geral e pelos meios de comunicação, quer pelas próprias famílias e pelos profissionais de saúde mental que lhes prestam cuidados. Uma vez que os profissionais de saúde mental estabelecem uma ponte entre a doença e a saúde, espera-se que as suas atitudes e práticas contribuam para o recovery da pessoa com doença mental. No entanto, se os profissionais também apresentarem atitudes e crenças estigmatizantes face à doença mental, este processo reabilitativo pode ficar comprometido. Nesse sentido, e perante as lacunas de investigação nesta área, este trabalho tem como objectivo explorar e clarificar a presença ou ausência de atitudes estigmatizantes dos profissionais de saúde mental e, quando presentes, como se caracterizam. Para tal realizaramse 24 entrevistas de carácter qualitativo a profissionais de saúde mental que trabalham em três instituições na região do Porto, nomeadamente num serviço de psiquiatria de um hospital geral, num hospital especializado e em estruturas comunitárias. A análise do material discursivo recolhido junto de Assistentes Sociais, Enfermeiros, Médicos Psiquiatras, Psicólogos e Terapeutas Ocupacionais evidencia a presença de crenças e atitudes de carácter estigmatizante face à doença mental, independentemente da idade, formação ou local onde exercem funções, salvo escassos aspectos onde parece haver influência da idade e da profissão. Significa isto que é provável que as variações de atitudes dos profissionais sejam fundamentalmente consequência das suas características pessoais.

Estudo sobre as representações sociais face à deficiência em contexto escolar

A descriminação e a ausência de igualdade de oportunidades no acesso a direitos fundamentais inscritos na constituição portuguesa continuam a ser para as pessoas com deficiência um tema bastante actual e uma das preocupações nucleares de todos aqueles que directa ou indirectamente se interessam por estas questões. O acesso a educação e ao emprego, ainda que incentivado por políticas sociais inclusivas, continua a ser extremamente dificultado pela existência de barreiras, com configurações diversas, mas quase sempre organizadas em torno de representações acerca da deficiência pouco coerentes e coincidentes com o entendimento actual deste fenómeno. O trabalho por nós realizado teve como objectivo contribuir para o estudo das representações sociais relativamente à deficiência em Portugal, perspectivada a análise a partir dos agentes educativos do agrupamento de escolas do distrito de Viana do Castelo, uma das zonas do país com maior número de pessoas com deficiência, de acordo com o Censo de 2001. O inquérito por questionário de auto-administração realizado a uma amostra de 56 agentes educativos foi concordante com muitas das crenças e estereótipos face às pessoas com deficiência encontrados em estudos similares, nomeadamente no que reporta às atitudes negativas de pena e de culpa e à visualização da pessoa com deficiência como incapaz e pouco autónoma. Esta situação sugere a necessidade de se continuar a desenvolver estudos de caracterização destes traços em diferentes micro-culturas, no sentido de se desenvolverem estratégias personalizadas que permitam a sua remissão e o desmantelar das barreiras ainda existentes para a inclusão destes cidadãos na sociedade.

Conceptual model for decomposing the value for the customer

Value has been defined in different theoretical contexts as need, desire, interest, standard /criteria, beliefs, attitudes, and preferences. The creation of value is key to any business, and any business activity is about exchanging some tangible and/or intangible good or service and having its value accepted and rewarded by customers or clients, either inside the enterprise or collaborative network or outside. “Perhaps surprising then is that firms often do not know how to define value, or how to measure it” (Anderson and Narus, 1998 cited by [1]). Woodruff echoed that we need “richer customer value theory” for providing an “important tool for locking onto the critical things that managers need to know”. In addition, he emphasized, “we need customer value theory that delves deeply into customer’s world of product use in their situations” [2]. In this sense, we proposed and validated a novel “Conceptual Model for Decomposing the Value for the Customer”. To this end, we were aware that time has a direct impact on customer perceived value, and the suppliers’ and customers’ perceptions change from the pre-purchase to the post-purchase phases, causing some uncertainty and doubts.We wanted to break down value into all its components, as well as every built and used assets (both endogenous and/or exogenous perspectives). This component analysis was then transposed into a mathematical formulation using the Fuzzy Analytic Hierarchy Process (AHP), so that the uncertainty and vagueness of value perceptions could be embedded in this model that relates used and built assets in the tangible and intangible deliverable exchange among the involved parties, with their actual value perceptions.

An intelligent tutoring approach to support students and technicians in electrical installation design

Designing electric installation projects, demands not only academic knowledge, but also other types of knowledge not easily acquired through traditional instructional methodologies. A lot of additional empirical knowledge is missing and so the academic instruction must be completed with different kinds of knowledge, such as real-life practical examples and simulations. On the other hand, the practical knowledge detained by the most experienced designers is not formalized in such a way that is easily transmitted. In order to overcome these difficulties present in the engineers formation, we are developing an Intelligent Tutoring System (ITS), for training and support concerning the development of electrical installation projects to be used by electrical engineers, technicians and students.

Aspectos teóricos y prácticos de la interpretación de congresos de medicina

Los congresos de medicina se destacan actualmente como uno de los eventos multilingües que se celebran con más frecuencia en el panorama internacional. Recurrir a los servicios de interpretación se revela como un hecho habitual entre los organizadores de estos encuentros, especialmente en determinados ámbitos nacionales. Por consiguiente, los congresos de medicina brindan grandes posibilidades laborales a los intérpretes de conferencias, sobre todo a aquellos cuya combinación lingüística es inglés-español, dado que el inglés se define, sin lugar a dudas, como la lengua por excelencia de la comunicación médica. No obstante, a pesar de esta demanda creciente en nuestra sociedad actual, los planteamientos académicos y profesionales siguen siendo, en gran medida, teóricos e intuitivos, fruto de experiencias personales, carentes en la mayoría de los casos de un respaldo empírico. Para corroborar o descartar ciertas presuposiciones establecidas a priori por estudiosos de la interpretación especializada, como pueden ser el uso de determinadas fuentes documentales y métodos de preparación, la evaluación de determinados parámetros de calidad o el nivel de especialización del intérprete, nos servimos de unas medidas de valoración retrospectivas en intérpretes profesionales especializados en congresos de medicina para verificar nuestro objetivo fundamental: en qué medida se alejan las teorías establecidas de la práctica profesional.

Relatório de estágio: intervenção em fisioterapia na sindrome da cirurgia lombar falhada

Introdução: A síndrome da cirurgia lombar falhada (SCLF) caracteriza-se pela persistência ou recidiva da dor ou aparecimento de novos sintomas após discectomia, descompressão de canal estreito ou artrodese lombares. Objectivos: O objectivo deste estudo foi descrever a abordagem em fisioterapia de um caso com Síndrome da Cirurgia Lombar Falhada e avaliar os seus efeitos na funcionalidade e sintomatologia dolorosa neste indivíduo. Metodologia: A amostra foi constituída por um sujeito com 41 anos, trabalhador da construção civil, apresentando dor lombar com irradiação para o membro inferior, após ter sido submetido a discectomia lombar e artrodese, que realizou sessões de fisioterapia convencional antes e depois da cirurgia, e que apresentava sinais compatíveis com compressão radicular. A intensidade da dor foi medida através da escala visual analógica (EVA), as amplitudes com o goniómetro universal, a funcionalidade foi avaliada utilizando o Questionário de Incapacidade Roland-Morris (RMDQ), o estado psicológico foi avaliado através da “Escala de Desânimo Associado à Dor” e do “Inventário de Convicções e Percepções Relacionadas com a Dor”. Resultados: A dor era inicialmente em média de 5,5/10 EVA, sendo de 3,4/10 EVA no final do tratamento. Quanto à funcionalidade (RMDQ) esta variou de 14/24 no início para 17/24 no final. De uma forma geral, após a aplicação de técnicas para diminuir a tensão do piriforme, técnicas neuurodinâmicas e um programa de exercícios para melhoria do controlo motor, o paciente apresentou alívio das queixas de dor na nádega esquerda e anca, aumento da amplitude de rotação medial da coxo-femoral, ausência das parestesias na face plantar do pé esquerdo e melhoria das queixas de dor na face anterior e lateral da coxa. Verificamos que houve diminuição dos índices de dor e melhorias dos níveis de funcionalidade. Conclusão: Neste estudo de caso, foi salientado o processo de raciocínio clínico desenvolvido pelo fisioterapeuta: a interpretação dos dados da história e levantamento das primeiras hipóteses e a realização dos testes no exame objectivo, permitiram estabelecer um diagnóstico funcional e elaborar um plano de intervenção através do qual o utente recuperou parcialmente a sua funcionalidade e diminuiu os seus índices de dor.

Arte Pública: divulgação do património cultural da cidade do Porto

Mestrado em Engenharia Informática. Sistemas Gráficos e Multimédia

The potential benefits of using videos in higher education

The developments of digital technology have opened new outlooks for online education which offer students the flexibility to learn at any time and any place. With all this instructional changes instructors, in all levels of the educational chain have been compelled to adapt quickly to this reality. They have a wide diversity of tools available to grab student’s attention and motivate them to embrace the knowledge in their own learning process. One of these resources is the use of videos. Through them lecturers can deliver complex information and contents to students and, if used creatively, videos can become a powerful technological tool in education. In this article we will explore some of the potential benefits and challenges associated with the use of videos in the teaching and learning process at higher education levels. We will also discuss some thoughts and examples for the use of teaching materials to enhance student’s learning and try to change ideas about the potentialities and future of video’s annotation new software resources, as incoming open tools for group work involvement.

The potential benefits of using videos in higher education

The developments of digital technology have opened new outlooks for online education which offer students the flexibility to learn at any time and any place. With all this instructional changes teachers, in all levels of the educational chain have been compelled to adapt quickly to this reality. They have a wide diversity of tools available to grab student’s attention and to motivate them to embrace the knowledge in their own learning process. One of these resources is the use of videos. Through them teachers can deliver complex information and contents to students and, if used creatively, videos can become a powerful technological tool in education. In this article we will explore some of the potential benefits and challenges associated with the use of videos in the teaching and learning process at higher education levels. We will also discuss some thoughts and examples for the use of teaching materials to enhance student’s learning and try to share ideas about the potentialities and future of video’s annotation new software resources, as incoming open tools for group work involvement.

Reason Maintenance Systems: Tools for Foundations-based Belief Revision

Dynamic and distributed environments are hard to model since they suffer from unexpected changes, incomplete knowledge, and conflicting perspectives and, thus, call for appropriate knowledge representation and reasoning (KRR) systems. Such KRR systems must handle sets of dynamic beliefs, be sensitive to communicated and perceived changes in the environment and, consequently, may have to drop current beliefs in face of new findings or disregard any new data that conflicts with stronger convictions held by the system. Not only do they need to represent and reason with beliefs, but also they must perform belief revision to maintain the overall consistency of the knowledge base. One way of developing such systems is to use reason maintenance systems (RMS). In this paper we provide an overview of the most representative types of RMS, which are also known as truth maintenance systems (TMS), which are computational instances of the foundations-based theory of belief revision. An RMS module works together with a problem solver. The latter feeds the RMS with assumptions (core beliefs) and conclusions (derived beliefs), which are accompanied by their respective foundations. The role of the RMS module is to store the beliefs, associate with each belief (core or derived belief) the corresponding set of supporting foundations and maintain the consistency of the overall reasoning by keeping, for each represented belief, the current supporting justifications. Two major approaches are used to reason maintenance: single-and multiple-context reasoning systems. Although in the single-context systems, each belief is associated to the beliefs that directly generated it—the justification-based TMS (JTMS) or the logic-based TMS (LTMS), in the multiple context counterparts, each belief is associated with the minimal set of assumptions from which it can be inferred—the assumption-based TMS (ATMS) or the multiple belief reasoner (MBR).

Belief Revision in Multi-Agent Systems

The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption-based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which means that different agents can have different perspectives on the same fact provided that these stances are appropriately justified. The belief revision algorithm is presented, the meta-level code needed to ensure that all system-wide queries can be uniquely answered is described, and the DATMS’ implementation in a general purpose multi-agent shell is discussed.