Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T21:34:13Z (GMT). No. of bitstreams: 1 193679.pdf: 1794508 bytes, checksum: 472b461bd4dbc5d9a244f9bcceee0336 (MD5) / O propósito deste trabalho, que abrange a área de informática, mais especificamente a gerência de redes e a Inteligência Artificial é implementar uma ferramenta para auxiliar a gerência de redes locais ou distribuídas. Através da leitura de parâmetros da rede, como por exemplo fragmentação de pacotes ou nível de "broadcast", e a comparação destes com valores limites pré-definidos, esta ferramenta indica ao administrador da rede possíveis problemas com os elementos da rede como roteadores, hub's, switches etc, relacionados a parâmetros fora dos limites pré-estabelecidos. Para o desenvolvimento foram utilizadas tecnologias como agentes RMON, software instalado em elementos de rede, que colhem e armazenam parâmetros de rede para posterior utilização por um software gerente, protocolo SNMP, protocolo que facilita a troca de informações de gerência entre agente e gerente, linguagem de programação C e linguagem Prolog. Foi desenvolvida uma "SHELL" de sistema especialista, com a qual o especialista irá interagir, inserindo o seu próprio conhecimento, adequando a ferramenta às suas necessidades, de maneira que a base de conhecimento desta "Shell" crescerá até o limite do próprio conhecimento do administrador.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-21T04:56:23Z (GMT). No. of bitstreams: 1 199380.pdf: 238412 bytes, checksum: ea17cc6c3db1a7cd53fedff3995992ad (MD5)

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T08:20:26Z (GMT). No. of bitstreams: 0 / Pesquisas recentes em prova automática de teoremas para lógica clausal de primeira ordem lidam com fórmulas representadas em apenas uma de suas formas normais, conjuntiva ou disjuntiva, para realizar inferências lógicas. No entanto, a autora toma outro caminho e examina o uso simultâneo de ambas formas normais de uma fórmula para realizar estas inferências. A motivação original foi o desenvolvimento de uma estratégia que melhorasse a eficiência do Método de Inferência por Transformação Dual (Método Dual). Este método, para lógica de primeira ordem, processa uma inferência lógica sem a explícita aplicação de nenhuma regra de inferência; ao invés, ele transforma sucessivamente a fórmula em suas formas normais conjuntiva e disjuntiva e remove as contradições tornadas explícitas por estas transformações. A fim de desenvolver uma estratégia que explorasse a representação de uma fórmula nas duas formas normais, relações estruturais apresentadas por esta representação foram formalizadas e usadas como base para expressar e filtrar inferências realizadas durante o processo de dedução. Conseqüentemente, este trabalho apresenta resultados em duas áreas: as formas normais de uma fórmula lógica, suas relações, simplificação e transformação de uma para a outra; e a estratégia propriamente dita. Embora o uso simultâneo de ambas formas normais pela estratégia tenha se mostrado redundante, este estudo deu origem a um novo método de inferência com interessantes características: (i) ele combina atributos de ambos cálculos: de saturação e de tableau e conexão, (ii) ele permite o processamento paralelo de inferências, e (iii) ele facilita o reuso de inferências previamente efetuadas. Estas são características não encontradas em nenhum outro método conhecido pela autora.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência de Computação / Made available in DSpace on 2012-10-21T19:42:06Z (GMT). No. of bitstreams: 1 209021.pdf: 3001389 bytes, checksum: 98f3081cca19a03f8ba703944138d9f7 (MD5) / As mais populares metodologias de construção de programas em Inteligência Artificial -IA, KADS, MIKE E PROTÉGÉ, são apresentadas e comparadas. Desta comparação e avaliação das principais limitações são detectadas e uma nova metodologia é sugerida, que será chamada MEDSIA (Metodologia para Desenvolvimento de sistemas em IA). A principal diferença entre esta metodologia proposta e as apresentadas é que ela considera novos desenvolvimentos de métodos para resolver problemas de IA, métodos estes que se tornaram populares por volta do final do século passado e são: abordagem conexionista e a evolucionária. Para ilustrar MEDSIA foram desenvolvidos dois programas: 1 # Sistema de Ajuda a Decisão Jurídica no caso de Pensões Alimentícias e, 2 # Sistema Especialista Conexionista de Diagnóstico Médico no campo da Reumatologia.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-20T03:43:14Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:00:58Z : No. of bitstreams: 1 206006.pdf: 3883934 bytes, checksum: 89ba7f952aae6c56da1fcf462972d450 (MD5) / Cada vez mais os processos de desenvolvimento de software têm se complicado em virtude do fato da complexidade dos problemas a serem resolvidos estarem aumentando de forma bastante razoável. Para tanto, aqui está se propondo um modelo para construção de software inteligente # AgeFor # que, a partir da metáfora de como se organiza, se comporta e vive uma colônia de formigas; tenta-se criar o comportamento colaborativo, cooperativo e inteligente de agentes de software.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T08:38:10Z (GMT). No. of bitstreams: 1 189936.pdf: 614639 bytes, checksum: f9bbc7a01bb7175731f3ee4fe7647b57 (MD5)

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-20T08:52:09Z (GMT). No. of bitstreams: 1 189683.pdf: 2531234 bytes, checksum: 68d3828619be10ae96a2a06dd1c25b65 (MD5) / Baseando-se em teorias cognitivas psicológicas, uma nova maneira de modelar cognição, emoção e motivação é proposta usando Mapas Cognitivos Difusos (Fuzzy Cognitive Maps - FCMs). Nos últimos anos, muitos esforços vêm sendo feitos para integrar emoção em modelos artificiais de inteligência, visando a criação de robôs ou agentes virtuais com traços emocionais. Provavelmente a principal dificuldade na modelagem de emoções provém da variedade de informações e estruturas de conhecimento que são ativadas em seu processamento. De fato, as emoções tomam parte no processamento cognitivo completo, no qual co-ocorrem vários fenômenos mentais e fisiológicos. O uso de FCMs para modelar o processamento cognitivo, emocional e motivacional une as vantagens das redes neurais (paralelismo entre informação) e lógica difusa (uso de variáveis imprecisas). Para implementação desta técnica, definiu-se seis classes de conceitos relacionados com os processos emocionais e motivacionais (Emoções, Aspectos motivacionais e de personalidade, Meta-objetivos, Aspectos do 'self', Meta-ações e Expectativa), e um contexto específico (Ambiente trabalho / escola), no qual elas ocorrem. Relações causais entre os conceitos (elos ponderados), os quais são fundamentais para a técnica de FCM, foram obtidas por meio de um questionário. Um grupo de psicólogos (especialistas) respondeu tal questionário, relacionando todas as possíveis combinações dois a dois entre os 48 conceitos pertencentes às classes anteriormente definidas. Para processar os dados coletados foram desenvolvidos programas computacionais, os quais realizam um tratamento numérico dos dados e a simulação da técnica de FCM. Testou-se vários casos para avaliar o comportamento do sistema FCM, considerando-se a interação entre os conceitos. A qualidade dos resultados mostra bastante coerência em relação às saídas esperadas considerando-se as experiências de senso comum e as crenças dos especialistas. Assim, é possível concluir que a ferramenta FCM é capaz de modelar processos psicológicos, possibilitando inferências e previsões sobre aspectos motivacionais e emocionais individuais ou grupais. Então, além da análise estatística e dos testes psicológicos, que são ferramentas comuns em psicologia, a técnica de FCM pode ser também aplicada. Da mesma forma que outras ferramentas matemáticas, ela pode propiciar maior objetividade no trato de assuntos desta área, oferecendo aos especialistas muitas pistas para auxiliar no entendimento da realidade psicológica (individual, social e na tomada de decisão), bem como sobre aspectos de suas próprias crenças.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-20T10:23:38Z (GMT). No. of bitstreams: 1 193797.pdf: 855541 bytes, checksum: a4775509878668845610b6413c989183 (MD5) / A utilização de robôs móveis autônomos em pesquisas de Inteligência Artificial despertou o interesse de muitos grupos ao redor do mundo. O futebol robótico transformou-se numa área de estudo capaz de congregar diversas outras. Trata-se de um campo riquíssimo para a pesquisa e o ensino. Neste trabalho apresentamos, inicialmente, capítulos introdutórios nas áreas que dão suporte ao tópico futebol robótico, como Sistemas Especialistas, Sistemas Multiagentes e Lógica Nebulosa. A seguir traçamos um histórico do desenvolvimento do tema futebol de robôs. Organizações, regras, categorias, tudo é apresentado e explicado com o objetivo de familiarizar o leitor. O núcleo da pesquisa é composto pela análise feita dos robôs móveis da plataforma EyeBot. Foram escritos programas com o objetivo de explorar todas as potencialidades, ou seja, todos os sub-sistemas do robô foram estudados e compreendidos. Também desenvolvemos um programa chamado Xcameraviewer capaz de enviar imagens do robô para uma estação de trabalho remota via enlace de rádio. A versão existente não contemplava sistemas Unices, apenas a plataforma MS-Windows. Outros experimentos foram feitos envolvendo, principalmente, a câmera embarcada do robô. Por fim, resultados e conclusões são apresentados a fim de direcionar futuros trabalhos nesta área.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-19T12:24:16Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:10:26Z : No. of bitstreams: 1 182773.pdf: 7209154 bytes, checksum: a7392c7a9ec915ac7f3fabbca9a7bdfd (MD5) / A tecnologia da informação jurídica baseia-se na representação do conhecimento jurídico para potencializar sistemas de recuperação de informações textuais. Com base na experiência adquirida na construção de sistemas anteriores (Digesto, Metajuris, Metalex, Themis, Prudentia e Jurisconsulto), alguns dos quais inteligentes, bem como na avaliação de serviços tecnológicos oferecidos por tribunais brasileiros, os pesquisadores do grupo de inteligencia aplicada ao direito do PPGEP aceitaram o desafio de estruturar um novo sistema para aplicação nas resoluções do Conselho de Segurança da ONU. Esta empreitada teve como produto a construção do Sistema Olimpo, cujas características serão descritas no presente trabalho, assim como seu processo de consolidação, bem como seus mecanismos de funcionamento. Sua tarefa é recuperar, de forma inteligente, as resoluções mais semelhantes ao texto oferecido como entrada.

No description available.