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-20T16:55:39Z (GMT). No. of bitstreams: 1 197729.pdf: 998585 bytes, checksum: 005154f15c3d5ad064fa9d2b5f8b1d30 (MD5) / Este trabalho apresenta um modelo de consciência para robôs móveis baseado na teoria proposta para seres-humanos de Antônio Damásio, neurologista do Centro médico da Universidade de Iowa. A teoria divide a consciência em três partes: o proto-self, o self-central e o self-autobiográfico. A primeira parte chamada proto-self é responsável pelas ações inconscientes e pela reação do corpo aos estímulos. Acima do proto-self encontra-se o self-central ou consciência central, que é o sentimento fundamental de conhecer. A extensão da consciência central é o self-autobiográfico. O modelo foi elaborado usando conceitos de consciência humana combinada com as características de sensores em robôs. Os dados e informações percebidas são processados com o suporte da Inteligência Artificial, mais especificamente nas áreas de redes neurais, raciocínio baseado em casos e sistemas difusos. O objetivo deste modelo de consciência é fornecer novas idéias para o controle, inteligência e autonomia dos robôs móveis.

Dissertação (mestrado) - 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-20T17:18:06Z (GMT). No. of bitstreams: 1 227685.pdf: 1277137 bytes, checksum: 1b40acbd3cd3af66c885cd08823f86f9 (MD5) / O presente trabalho busca trazer à tona a realidade, o dia a dia de uma Delegacia de Polícia, procurando mostrar seus problemas operacionais e, ao final, indicar uma solução para os mesmos. Optou-se em, primeiramente, esclarecer o que vem a ser a polícia, seu poder e suas atribuições, bem como, as diferentes polícias existentes no país: administrativa, de repressão e judiciária. A seguir, foi mostrada a estrutura organizacional da Polícia Civil do Paraná, aí, inserindo a Delegacia de Furtos e Roubos, local de pesquisa. Passou-se por rápidas pinceladas quanto à estrutura interna de funcionamento de uma delegacia de polícia, bem como, em relação às teorias sobre crime e, ante a especialidade da Delegacia, quanto à diferenciação entre furto e roubo. Posteriormente foi Inserido, o quadro com a movimentação diária de ocorrências ao longo do ano de 2002, período de estudo e análise, e a problemática em efetuar o liame entre os diversos casos. O estabelecer, e o avaliar várias condutas com semelhanças de ações, modus operandi; e de autores ou, ao menos de prováveis autores. Ao final, apresenta-se um programa computacional, já em fase de experimento pelo grupo de pesquisa IJURIS - Instituto de Governo Eletrônico, Inteligencia Jurídica e Sistemas, capaz de auxiliar na tomada de decisão por parte do gestor da unidade policial, o Delegado de Polícia. É a implementação da tecnologia denominada de KMAI - Knowledge Management with Artificial Intelligence, ou Gestão do Conhecimento com o uso de Inteligência Artificial. Desta forma, se estará colaborando na implantação de políticas de combate aos delitos e aos delinqüentes, em sua área de atuação. Ressalte-se que o ser humano é, e sempre será, a parte fundamental na tomada de decisão, competindo somente a ele a palavra final sobre qual rumo será tomado, no caso, diante das investigações. A informática vem como uma novidade, uma arma diferenciada de combate à criminalidade, proporcionando uma ferramenta altamente eficaz, com qualidade no trabalho final da polícia judiciária.

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.