Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Secuencialidad de los programas de EGB : continuidad lógica y Psicología de los programas de Educación General Básica.

Demostrar experimentalmente como, frente a los cuestionarios oficiales, un modelo secuencial, lógico o psicológico de programación, consigue un mejor rendimiento en los alumnos, evita lagunas formativas que impiden la adquisición de nuevos conocimientos y orienta al alumno en la elección de opciones posteriores a la EGB. Dos cursos, 1977-78 y 1978-79. 1018 y 1080 alumnos pertenecientes a los 8 niveles de EGB. Ninguna de las 2 muestras es representativa. A) Diseño programa secuencial, variables independientes: reelaboración de cuestionarios oficiales cubriendo lagunas en objetivos y contenidos de cada área. Selección núcleos temáticos por área y nivel. Elaboración de objetivos formales para cada área generalizandoles a cada ciclo y a toda la EGB. Categorización de funciones cognoscitivas, afectivas y psicomotoras en base a objetivos y núcleos temáticos de cada área. Análisis de la secuenciación lógica y psicológica desde supuestos genéticos y evolutivos. Construcción de modelos de evaluación contínua y recapitulativa por área y nivel. B) Experimentación. C) Validación: incidencia del programa sobre la variable dependiente del rendimiento, por alumnos, grupos, niveles y áreas. Evaluación y clasificación de cada ítem de conocimiento programado por su grado de dificultad-idoneidad. Se ha construido un programa secuencias de la EGB, se han determinado sus objetivos generales secuencializando sus contenidos particulares, fijados en base a objetivos de conducta, para cada área y nivel. Los resultados son los siguientes: 1977-78 se constata globalmente un menor rendimiento de los grupos control respecto a los experimentales, especificando por áreas y niveles. 1978-79, no hay tratamiento cualitativo de los datos obtenidos mediante pruebas y análisis descritos: se especifican mediante índices y tablas para cada alumno, grupo, área y nivel. Respecto a la validación de los ítems, contenidos-objetivos programados, de cada prueba, además de indicar la idoneidad y dificultad de cada uno, se relacionan los no adecuados y aquellos que más intensamente deben estudiarse. No constan conclusiones generales. No obstante, puede asegurarse que se han cumplido los objetivos propuestos: se ha conseguido definir los objetivos formales de la EGB, por área, nivel y ciclo, a través de modelos de secuencialización lógica y psicológica, operativizándolos en núcleos de aprendizaje. Mediante su experimentación se ha constatado su eficacia sobre el rendimiento, por encima de los resultados obtenidos por la aplicación de los cuestionarios y programas oficiales. Finalmente, se ha redactado un documento base con la relación de los ítems de conocimiento más adecuados, de gran ayuda para el desarrollo de la actividad docente del profesorado.

Programas de segunda enseñanza : psicología, lógica y ética /

Mode of access: Internet.

Responsabilidade social: ideologia, poder e discurso na lógica empresarial

O objetivo do artigo é identificar como uma empresa multinacional de papel e celulose desenvolve programas sociais em uma região compreendida por 47 municípios no estado de Minas Gerais. A escolha da empresa X foi definida pela sua importância na indústria mineira, bem como pelo destaque dado aos programas sociais da empresa no meio empresarial, que vivencia iniciativas centralizadas de incentivo ao voluntariado. Foi realizada uma pesquisa bibliográfica sobre a concepção da responsabilidade social empresarial e uma pesquisa de campo qualitativa com agentes sociais na região de atuação da empresa. A metodologia empregada na pesquisa foi construída por meio de um conjunto de entrevistas semiestruturadas, utilizando a análise do discurso como técnica para pontuação das conclusões do trabalho. Os resultados demonstram que a prática da responsabilidade social se situa num contexto mais significativo que o mero discurso empresarial.

A avaliação de programas de capacitação: um estudo de caso na administração pública

Este artigo apresenta e discute o emprego da Metodologia Multicritério de Apoio à Decisão - Construtivista (MCDA-C) na avaliação de programas de capacitação desenvolvidos na administração pública, por meio de sua aplicação em um estudo de caso na Polícia Militar de Santa Catarina, especificamente, na avaliação do processo de capacitação dos policiais militares instrutores do Programa Educacional de Resistência às Drogas (Proerd). No que diz respeito ao enquadramento metodológico, este trabalho, quanto à natureza do objetivo, é exploratório, e pela natureza do artigo, prático. A lógica de pesquisa foi indutiva e a coleta de dados utilizou dados primários, obtidos por meio de entrevistas semiestruturadas com os gestores do programa. Já a abordagem do problema se deu de forma quali-quantitativa. Esta pesquisa é aplicada, e o principal procedimento técnico utilizado foi o estudo de caso. Como resultados, o modelo construído, com 62 critérios de avaliação, permitiu apurar que o processo de capacitação do Proerd alcançou 69 pontos na avaliação global, além de evidenciar as principais preocupações dos decisores em relação ao programa de treinamento e o quanto cada um desses fatores contribui para o sucesso da capacitação, individual e globalmente, revelando, ainda, como gerenciar as oportunidades de aperfeiçoamento criadas.

Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

Logsim : sistema de apoyo al aprendizaje de la programación lógica.

Resumen tomado de la publicación

Mejora de las habilidades y aptitudes lógico-matemáticas mediante la utilización de Programas informáticos con alumnos-as con Necesidades Educativas Especiales.

Este Proyecto se lleva a cabo en el CP Menéndez Pidal, de Torrelavega, un Centro de Educación Infantil y Educación Primaria, con alumnos/as con Necesidades Educativas Especiales. Los objetivos que se persiguen son los siguientes: Fomentar la utilización de las nuevas tecnologías informáticas en el Centro, no sólo con alumnos con Necesidades Educativas Especiales, sino también con el resto del alumnado. Potenciar en el Colegio las organizaciones espacio-temporales flexibles, como respuesta a las necesidades educativas de los alumnos. Conseguir una mejora en el logro de los objetivos generales y específicos del área de Matemáticas, programados en los Proyectos Curriculares de las diferentes Etapas y Ciclos. El plan tendrá cuatro fases, una primera evaluación inicial, una segunda de realización de actividades de enseñanza-aprendizaje, una tercera fase de evaluación final y por último la fase de generalización.

La técnica Delphi como estrategia de consulta a los implicados en la evaluación de programas.

Resumen tomado de la revista

Evaluaciones de programas de formación universitaria en el ámbito europeo y americano : coherencia con las demandas sociales.

Resumen del autor