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).

Projeto estrutural de um edifício público em Camama - Angola

O presente trabalho tem como objetivo o cálculo e desenvolvimento de um projecto estrutural de um edifício público. O edifício em questão será construído em Camama, Angola. Ao longo deste trabalho são apresentadas as diferentes etapas necessárias para a conceção do projeto estrutural de um edifício em betão armado. As opções consideradas na realização deste projeto e as respetivas justificações, podem ser encontradas ao longo deste documento. Estas são reforçadas através da apresentação de plantas estruturais com os seus elementos e os cálculos considerados necessários. Este trabalho foi elaborado com o apoio do programa de cálculo ROBOT Structural Analysis para a caracterização e análise das ações atuantes. Apesar da localização do edifício ser em Angola, as ações e as bases de projeto são definidas de acordo com as normas portuguesas. A utilização destas normas foi possível através de referências comuns a ambos os países, bem como algumas considerações tendo em conta as condições de construção em Luanda. Para a definição do projeto estrutural foram fornecidas as plantas de arquitetura, cortes e alçados do edifício. Estas plantas apresentam os respetivos materiais não estruturais, a utilizar após a sua construção. Em adição foi fornecida uma sondagem geotécnica do terreno de construção.

Financiamento e Desempenho Organizacional: estudos de caso em ONGD Portuguesas

Dissertação de Mestrado em Gestão e Internacionalização de Empresas

A aceitação de alunos com necessidades educativas especiais passados 6 anos da implementação do Decreto-Lei nº3/2008:opinião de educadores de infância e de professores do 1ºciclo

Objetivo: A compreensão da Educação Especial no paradigma da inclusão envolve vontade política e social e mobiliza necessariamente os profissionais de educação, sendo fundamental conhecer a sua opinião. Em Portugal, o Decreto-Lei n.º 3/2008 trouxe mudanças significativas no papel dos docentes do ensino regular, pelo que este estudo tem como objetivo, passados 6 anos da implementação, descrever a opinião de educadores e professores do 1º ciclo acerca da inclusão de alunos com Necessidades Educativas Especiais e conhecer os fatores que justificam as suas opiniões. Método: Foram inquiridos 244 docentes, 122 educadores de infância e 122 professores do 1º ciclo de escolas públicas e privadas, da Área Metropolitana do Porto, os instrumentos usados foram uma folha de caracterização individual e um questionário de vinhetas com descrições do funcionamento de crianças, onde os respondentes se posicionavam, para cada uma, quanto à sua aceitação nas salas. Resultados /Discussão: Os resultados apontam que as vinhetas que descreviam funcionamentos de crianças compatíveis com Perturbação de Espetro de Autismo e Paralisia Cerebral, foram as menos, sendo as justificações a falta de formação e a impossibilidade de despender o tempo necessário devido à exigência de bons resultados académicos. Aferimos que a formação em Educação Especial apenas estava associada à aceitação de alunos com Paralisia Cerebral. Aferimos que a função do docente-educador vs professor do 1ºciclo- apenas é influenciadora de aceitação no caso de alunos com Perturbação de Espetro de Autismo, Paralisia Cerebral e Atraso Global de Desenvolvimento/Dificuldades de Aprendizagem. O facto de se tratar de uma escola pública ou privada influencia a aceitação dos alunos, com os docentes do ensino privado a evidenciarem maior aceitação dos alunos do que os do ensino público.