Dedução automática por tableaux estruturada em XML

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.Este trabalho tem como objetivo descrever o desenvolvimento de um provador de teoremas segundo o Método dos Tableaux. Para isso, foram propostos dois refinamentos com o intuito de tornar o método mais eficiente durante as etapas de prova. Esses refinamentos tratam da ordenação das fórmulas e da instanciação das variáveis, buscando diminuir a inserção de elementos na árvore, propiciando, assim, uma maior eficiência em relação ao número de nós. A linguagem Java foi utilizada para a implementação do provador, possibilitando a manipulação das fórmulas estruturadas como documentos XML. Ao final do trabalho, é verificada a eficiência do provador através da comparação com outros provadores em relação à sistematização das suas etapas de prova e dos resultados obtidos

EP-RDF: sistema para armazenamento e recuperação de imagens baseado em ontologia

A web semântica representa a evolução da web atual. Ela fornece estruturas e possibilita a extração de significados dos conteúdos das páginas web, criando um ambiente onde agente de software e usuários possam trabalhar de forma cooperativa (BERNERS-LEE, 2001). Vários trabalhos vêm sendo desenvolvidos para criar um ambiente propício à existência de uma web com significado. Berners-Lee propôs uma arquitetura para a web semântica composta de três camadas: estrutural (permite a sistematização das informações), ontológica (fornece um conjunto de regras que define hierarquia, relacionamentos e restrições entre termos) e lógica (define um conjunto de regras de inferências). O objetivo do presente trabalho é demonstrar algumas das etapas de desenvolvimento da ferramenta de busca EP RDF Images, que permite a organização e a recuperação de imagens a partir da definição de uma ontologia para o domínio “imagens de instituições de ensino”, e um estudo comparativo com alguns mecanismos de buscas disponíveis na web (google.com e gettyimages.com).II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

EP-RDF: sistema para armazenamento e recuperação de imagens baseado em ontologia

A web semântica representa a evolução da web atual. Ela fornece estruturas e possibilita a extração de significados dos conteúdos das páginas web, criando um ambiente onde agente de software e usuários possam trabalhar de forma cooperativa (BERNERS-LEE, 2001). Vários trabalhos vêm sendo desenvolvidos para criar um ambiente propício à existência de uma web com significado. Berners-Lee propôs uma arquitetura para a web semântica composta de três camadas: estrutural (permite a sistematização das informações), ontológica (fornece um conjunto de regras que define hierarquia, relacionamentos e restrições entre termos) e lógica (define um conjunto de regras de inferências). O objetivo do presente trabalho é demonstrar algumas das etapas de desenvolvimento da ferramenta de busca EP RDF Images, que permite a organização e a recuperação de imagens a partir da definição de uma ontologia para o domínio “imagens de instituições de ensino”, e um estudo comparativo com alguns mecanismos de buscas disponíveis na web (google.com e gettyimages.com).II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Utilização de agentes inteligentes e raciocínio baseado em casos no acompanhamento de uma seqüência de estudos coletivos

This paper presents the use of techniques of Artificial Intelligence in the accompaniment of the study of one disciplines. The first technique consists of the use of Intelligent Agents whose objective is to follow the work (study) of the pupil in an interface. The second technique is about the Based Case Reasoning, that through the information gotten for the agents, on the study of diverse pupils, identify possible imperfections of collective learning and as reply it suggests modifications so that the same ones reach one better form of assimilation of the content of discipline.Este artigo apresenta a utilização de técnicas de Inteligência Artificial no acompanhamento do estudo de uma disciplina. A primeira técnica consiste na utilização de Agentes Inteligentes cujo objetivo é acompanhar o trabalho (estudo) do aluno através de uma interface específica. A segunda técnica utilizada, Raciocínio Baseado em Casos, visa identificar possíveis falhas de aprendizado coletivo e como resposta propor modificações para que se alcance uma melhor forma de assimilação do conteúdo da disciplina.Eje: Tecnología Informática aplicada en Educación (TIE)Red de Universidades con Carreras en Informática (RedUNCI

Utilização de agentes inteligentes e raciocínio baseado em casos no acompanhamento de uma seqüência de estudos coletivos

This paper presents the use of techniques of Artificial Intelligence in the accompaniment of the study of one disciplines. The first technique consists of the use of Intelligent Agents whose objective is to follow the work (study) of the pupil in an interface. The second technique is about the Based Case Reasoning, that through the information gotten for the agents, on the study of diverse pupils, identify possible imperfections of collective learning and as reply it suggests modifications so that the same ones reach one better form of assimilation of the content of discipline.Este artigo apresenta a utilização de técnicas de Inteligência Artificial no acompanhamento do estudo de uma disciplina. A primeira técnica consiste na utilização de Agentes Inteligentes cujo objetivo é acompanhar o trabalho (estudo) do aluno através de uma interface específica. A segunda técnica utilizada, Raciocínio Baseado em Casos, visa identificar possíveis falhas de aprendizado coletivo e como resposta propor modificações para que se alcance uma melhor forma de assimilação do conteúdo da disciplina.Eje: Tecnología Informática aplicada en Educación (TIE)Red de Universidades con Carreras en Informática (RedUNCI

RELATOS VERBAIS DE CONSUMIDORES EM AVALIAÇÕES ON-LINE: PROSPECÇÃO COMPUTACIONAL E INTERPRETAÇÕES COM BASE NO BEHAVIORAL PERSPECTIVE MODEL (BPM)

Submitted by admin tede ([email protected]) on 2018-09-27T18:13:44Z No. of bitstreams: 1 ParcileneFernandesdeBrito.pdf: 2444083 bytes, checksum: eea4e1b897bdd9e57504c34888b57c01 (MD5)Made available in DSpace on 2018-09-27T18:13:44Z (GMT). No. of bitstreams: 1 ParcileneFernandesdeBrito.pdf: 2444083 bytes, checksum: eea4e1b897bdd9e57504c34888b57c01 (MD5) Previous issue date: 2018-06-29The vast amount of information available on the Internet have enabled numerous multidisciplinar investigations aimed to understand nuances of human consumption behavior, especially to identify people's opinions about products and services. From Behavioral Perspective Model (BPM), consumer behavior analysis can be conducted focusing on antecedent variables (behavioral setting and consumer learning history) and consequences (reinforcement and punishment, utilitarian and informative) to the occurrence of behavior. The present thesis investigated consumption behavior in the context of tourism, with BPM as theoretical support for interpretations of verbal data extracted from comments available on the TripAdvisor®, a website about tourism. Verbal responses of tourism consumers, engaged in the process of online avaluation of components of tourism products (specifically, Accommodations [ACO], Restaurants [RES] and Attractions [ATR]), were analyzed. Research participants were the unknown individuals who, between the beginning of February and the end of March 2017, emitted 6.438.497 comments distributed among the 100 most evaluated Brazilian touristic destinations at TribAdvisor®. In two studies (Study 1 [E1] and Study 2 [E2]), the thesis research aimed at: a) extraction and analysis of tourist´s verbal information (commentaries) throught a Sentiment Analysis (SA) computational technique; extraction the number of touristic product component (ACO, RES e ATR) evaluative indications emitted by tourism consumers with different statuses as TripColaborators; extraction of the number of votes (Likes) to the comments; b) describe the polarized evaluative response attributed to the 100 evaluated touristic destinations and interpret such responding considering BPM concepts. E1 resulted in the successful development of the SentimentALL tool, focusing on the AS module, and the generation the primary variables explored in E2 (n = 197). In E2, data generated in E1 and derived measures were explored (described in rankings and correlation analyzes) and interpreted using the BPM conceptual framework. With a fundamental exploratory caracter, the interpretative effort suggested profitable research lines and utility of the computational and psychological knowledges integration.A grande quantidade de informações disponíveis na internet tem viabilizado numerosas investigações de caráter multidisciplinar com o objetivo de entender nuances do comportamento de consumo humano, especialmente identificar as opiniões das pessoas sobre produtos e serviços. A partir do Behavioral Perspective Model (BPM), análises do comportamento do consumidor podem ser realizadas considerando variáveis antecedentes (cenário do comportamento e história de aprendizagem do consumidor) e consequências (reforços e punições, utilitários e informativos) à ocorrência do comportamento. A presente tese investigou o comportamento de consumo no contexto do turismo, com o BPM como suporte teórico para interpretações de dados verbais extraídos de comentários disponíveis no TripAdvisor®, website do setor. Para tanto, analisaram-se as respostas verbais de turistas-consumidores no processo de “opinar on-line” sobre componentes de produtos turísticos (especificamente, acomodações – ACO, restaurantes – RES e atrações – ATR). Os participantes da pesquisa foram os indivíduos (desconhecidos) que, entre o início de fevereiro e o final de março de 2017, emitiram, no TripAdvisor®, 6.438.497 comentários distribuídos entre os 100 destinos turísticos brasileiros mais avaliados. Descrita em dois estudos (Estudo 1 [E1] e Estudo 2 [E2]), a pesquisa de tese se propôs a: a) extração e análise de informações verbais (comentários) dos turistas com base na técnica computacional Análise de Sentimentos (AS); extração do número de indicações avaliativas dos componentes do produto turístico (ACO, RES e ATR) emitidas por turistas-consumidores com diferentes status como TripColaboradores; extração do número de votos úteis (Likes) nos comentários; b) descrever o responder avaliativo polarizado atribuído aos 100 destinos turísticos avaliados e analisar interpretativamente tal responder a partir do BPM. O E1 resultou no desenvolvimento da ferramenta SentimentALL, com foco no módulo de AS, e na geração das variáveis primárias exploradas no E2 (n = 197). No E2, dados gerados no E1 e medidas derivadas foram explorados (descritos em rankings e análises de correlação) e interpretados com recurso ao referencial conceitual do BPM. De caráter fundamentalmente exploratório, o esforço interpretativo sugeriu linhas profícuas de pesquisa e a utilidade da integração entre conhecimentos computacionais e psicológicos