• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 367
  • 23
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • Tagged with
  • 393
  • 393
  • 179
  • 150
  • 124
  • 113
  • 99
  • 97
  • 59
  • 58
  • 50
  • 48
  • 45
  • 44
  • 44
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Um sistema de valores de troca para suporte às interações em sociedades artificiais

Rodrigues, Maíra Ribeiro January 2003 (has links)
Este trabalho propõe a definição de um Sistema de Valores de Troca para modelar as trocas sociais entre agentes em sociedade artificiais. Esse sistema é baseado na Teoria das Trocas de Valores de Jean Piaget e é composto por uma algebrá de valores de troca, que indica como esses valores devem ser representados e manipulados, por um mecanismo de raciocínio social baseado em vaores de troca e por estruturas capazes de armazenar e manipular tais valores. Nesse sistema, os valores de troca são vistos tanto como elementos motivadores das interações quanto como elementos reguladores responsáveis pelo equilíbrio e continuidade das trocas sociais. Acredita-se que o istema proposto é capaz de melhorar a modelagem das interações. É mostrado, também, como o sistema de valores proposto pode ser integrado com modelos de interação existentes na literatura de sistemas multiagente; Para isso, foram escolhidos dosi modelos práticos de organização dinâmica - o Redes de Contrato e o Modelo de Coalizões Baseadas em Dependências. Para demonstrar comomo o sistema de valores pode ser aplicado na modelagem e na simuulação de situações reais, é descrito um cenário para experimentação, no qual o sistema proposto é utilizado para modelar, de forma simplificada, o processo de lobby atrtavés de contribuições para campanhas políticas. Com este cenário pretende-se observar, além da dinâmica dos valores de troca, a capacidade do sistema em modelar caraterísticas mais subjetivas das interações (normalmente observadas nas relações humanas), e, ao tempo tempo, prover elementos reguladores, instrurmentos para a continuidade das interações e trocas sociais.
22

Em busca de um meta-modelo para a unificação de diferentes abordagens de representação de agentes de software e para geração de código em plataformas de desenvolvimento de sistemas multiagentes

Pires, Ivan Luiz Pedroso January 2009 (has links)
Made available in DSpace on 2013-08-07T18:42:23Z (GMT). No. of bitstreams: 1 000431859-Texto+Completo-0.pdf: 2759990 bytes, checksum: fa20747a2a72b25f8fa46fc63e2a9a14 (MD5) Previous issue date: 2009 / Multi-agent systems have shown great growth in the area of software development as a promising paradigm to deal with the complexity of current scenarios of information technology. Many approaches arise in order to consolidate ways and means to develop an MAS, which can be classified as methodologies, modeling languages and implementation platforms. In addition, some studies are offered as an attempt to unify the concepts involved and the notations that represent these concepts, with an enormous range of different symbologies, and many concepts in common between these approaches. This paper presents comparisons between these concepts and notations visually in order to find a way to map these approaches, showing their differences and similarities. As a first step towards unification, this work extends the Meta-Model Representation of Internal Agents to allow complete mapping of the Tropos methodology. Thus, we showed how a meta-model can provide interoperability between different approaches severing the creation of a SMA of the requirements of specific methodologies or modeling languages. It's also generated a skeleton source code from this meta-model for SemantiCore framework through a prototype, it is possible to extend it to support the generation of source code for any platform implementation. This process of mapping and code generation is demonstrated by applying an example of the literature. / Os Sistemas Multiagentes têm apresentado grande crescimento na área de desenvolvimento de software como um paradigma promissor para enfrentar a complexidade dos cenários atuais de tecnologia da informação. Muitas abordagens surgem no intuito de consolidar formas e meios de desenvolver um SMA, que podem ser classificadas como Metodologias, Linguagens de Modelagem e Plataformas de Implementação. Além disso, alguns trabalhos são propostos como tentativa de unificar os conceitos envolvidos e as notações que simbolizam estes conceitos, havendo uma gama enorme de simbologias divergentes e muitos conceitos em comuns entre estas abordagens. Este trabalho apresenta comparações entre estes conceitos e notações visuais no intuito de encontrar um meio de mapear estas abordagens, mostrando suas divergências e convergências. Como um primeiro passo no sentido da unificação, esse trabalho estende o Meta-modelo de Representação Interna de Agentes para permitir o mapeamento completo da metodologia Tropos. Assim, demonstra-se como um metamodelo pode prover a interoperabilidade entre diferentes abordagens desvinculando a criação de um SMA das exigências de específicas metodologias ou linguagens de modelagem. Também é gerado um esqueleto de código fonte a partir deste meta-modelo para o framework SemantiCore através de um protótipo, sendo possível estendê-lo para que suporte a geração de código-fonte para qualquer plataforma de implementação. Este processo de mapeamento e geração de código é demonstrado através da aplicação de um exemplo presente da literatura da área.
23

Um framework para a organização do conhecimento de agentes de software

Lemke, Ana Paula January 2007 (has links)
Made available in DSpace on 2013-08-07T18:42:21Z (GMT). No. of bitstreams: 1 000388545-Texto+Completo-0.pdf: 3555230 bytes, checksum: 87b9634f4c7e4233e5b4658ee7cdd9f2 (MD5) Previous issue date: 2007 / Knowledge acquisition in software agents can be done through experience and explicit concepts’ capturing. Both acquisition approaches require knowledge management capabilities in the agents. Knowledge management approaches are usually applied to allow organizations to find, organize, and share knowledge. This work proposes a framework for software agents’ knowledge management based on a compilation of those approaches that uses ontology-based knowledge representation. It allows agents to capture knowledge to perform their tasks and to transmit this knowledge to other agents. Ontologies and inference engines are key elements for those who want to use the framework, since ontologies are used not only to represent knowledge, but also to represent agent goals and to encapsulate message content. / Toda vez que um agente de software adquire conhecimento pela experiência ou pela absorção de novos conceitos é necessário controlar quais são os conhecimentos que o agente domina, ou seja, é necessário gerir seu conhecimento. Sabendo-se que um processo de Gestão de Conhecimento serve como um controlador dos recursos de conhecimento de uma organização, auxiliando a encontrar, organizar e compartilhar o conhecimento, o presente trabalho utilizou-se das partes deste processo para desenvolver um framework para a organização do conhecimento de agentes de software, onde o conhecimento é estruturado por meio de ontologias. O framework proposto permite aos agentes capturar conhecimento para a execução de suas tarefas e também compartilhar o conhecimento disponível para que ele possa ser reusado por outros agentes do sistema. O entendimento e uso de ontologias e motores de inferência são características fundamentais em aplicações que objetivam utilizar o framework proposto, pois, além de estruturar o conhecimento disponível, ontologias são utilizadas na representação do conteúdo de mensagens e dos objetivos dos agentes.
24

Um framework para agentes adaptativos na web semântica

Elian, Daniel da Silva January 2008 (has links)
Made available in DSpace on 2013-08-07T18:43:15Z (GMT). No. of bitstreams: 1 000408109-Texto+Completo-0.pdf: 2444989 bytes, checksum: 8aac156bb8d26425eead423ae07e88d4 (MD5) Previous issue date: 2008 / The current architectures for adaptive agents do not present an explicit concern to the demands of Semantic Web. These demands refer to the use of languages to represent processable metainformation by machines. Furthermore, these architectures are not sufficiently generic to allow basic components, found in most of the adaptive methods, to be used in different domains and problem resolutions, according to the needs of Multiagent Systems appliance. A generic architecture is capable of change its adaptation process, not only the agent structure. In relation to the adaptive processes, they are the all necessary actions to modify the structure of an agent. For these reasons, the actual work aims to present the development of a framework that enables the adaptation of structure and behavior of software agents in the Semantic Web, in accordance with context composed by properties described, mostly, via ontologies. Moreover, this framework makes possible the abstraction of particular architecture used in the construction of an agent, being necessary just the linkage between agent and adaption framework. / As arquiteturas atuais para agentes adaptativos não apresentam uma preocupação explícita para com as exigências da Web Semântica. Essas exigências se referem ao uso de linguagens para se expressar metainformação processável por máquina. Além disso, essas arquiteturas não se mostram genéricas o suficiente para permitirem que componentes básicos, presentes na maioria dos processos adaptativos, sejam utilizados em diferentes domínios e resoluções de problemas, conforme a necessidade de aplicação de Sistemas Multiagentes. Quando se fala em arquitetura genérica, quer-se dizer que a mesma é capaz de alterar o seu processo de adaptação, e não somente a estrutura do agente. Quanto aos processos adaptativos, afirma-se serem todas as ações necessárias para se modificar a estrutura de um agente. Dado ao exposto, o presente trabalho visa apresentar o desenvolvimento de um framework que permita a adaptação da estrutura e do comportamento de agentes de software na Web Semântica, de acordo com o contexto composto por propriedades descritas, principalmente, por meio de ontologias. Adicionalmente, esse framework possibilita a abstração da arquitetura específica utilizada na construção de um agente, sendo necessário apenas o acoplamento entre o agente e o framework de adaptação.
25

Tolerância a falhas com um modelo de agentes

Antunes, Juliana Fonseca January 2009 (has links)
Made available in DSpace on 2013-08-07T18:43:20Z (GMT). No. of bitstreams: 1 000430145-Texto+Completo-0.pdf: 1689253 bytes, checksum: 95ce19fe718b20a4573cd392edd2c72a (MD5) Previous issue date: 2009 / Nowadays, the computers have been used in most varied areas of the human knowledge and are indispensable in many essential activities in the society. Specifically in the context of the industrial applications the computational system must be dependable and fault-tolerance, that is, it must allow that the system remains keep on working when the faults occur. Based on this idea, this study aimed at describing a model for faults-tolerance agents. In order to achieve this objective, a study of essentials architecture concepts of deliberative agents based on mental states, described by beliefs, desires and intentions (Belief, Desire and lntention model) was carried out, these can be implemented using the agent-oriented programming language AgentSpeak and the mechanism of faults tolerance of dependable multiparty interaction (DMI). By means of these concepts, a system composed of various elements of interactive computer was implemented, these elements are called agents, because they interact with other agents, forming a multi-agent system that is implemented using the interpreter Jason of AgentSpeak language. This interpreter communicates with the simulator of FZl Production Cell, scheduling the cell production work through the beliefs and desires, re scheduling the task if occurs changes in the system state. The implementation of fault-tolerance agent allows the system executes concurrently actions even in the presence of faults because the mechanism DMI generates a multiparty interaction among the varied devices that permit the handling of concurrent faults. The multiparty interaction is created by the agents in conformity to perceptions acquired in the simulator of the cell production that is generating actions which are sent to the simulator and consequently are modifying the state of the devices. / Anualmente, os computadores sâo utilizados nas mais diversas áreas do conhecimento humano e são imprescindíveis em várias atividades fundamentais na sociedade. Particularmente em aplicações industriais, o sistema computacional têm que ser confiável e tolerante à falhas, ou seja permitir que o sistema permaneça operando mesmo na presença de falhas. Desta forma, esta dissertação tem como objetivo descrever um modelo de agentes tolerantes a falhas. A fim de atingir tal objetivo foi feito um estudo de conceitos fundamentais de arquiteturas de agentes deliberativos baseados em estados mentais, esses descritos por crenças, desejos e intenções (modeio Belief Desire Intention), que podem ser implemenados utilizando a linguagem de programação orientada a agentes AgentSpeak e o mecanismo de tolerância a falhas de interação multiparticipante confiável (Dependable Multiparty Interaction). Através destes conceitos é implementado um sistema composto por vários elementos computacionais interativos, denominados agentes, que interagem com outros agentes, formando um sistema multiagentes que são implementadas utilìzando o interpretador Jason de linguagem AgentSpeak. Esse interpretador se comunica com o simulador da Célula de Produção FZI, escalonando o trabalho da célula de produção através das crenças e desejos, re-escalonando o trabalho se ocorrer alguma mudança do estado do sistema. A implementação de um agente tolerante a falhas permite que o sistema execute ações concorrentemente mesmo na presença de falhas, pois o mecanismo DMI gera uma interação multiparticipante entre diversos dispositivos que permite o tratamento de falhas concorrentes. A interação multiparticipante é criada pelos agentes conforme as percepções adquiridas no simulador da célula de produção, gerando ações que são enviadas ao simulador, conseqüentemente, alterando o estado dos dispositivos.
26

Model-driven engineering of multi-agent systems based on ontology

Freitas, Artur Luiz Silva da Cunha January 2017 (has links)
Made available in DSpace on 2018-06-16T12:04:21Z (GMT). No. of bitstreams: 1 000488853-Texto+Completo-0.pdf: 1489846 bytes, checksum: 61623f4503a4a916e72487f33c15e294 (MD5) Previous issue date: 2017 / Model-driven engineering provides abstractions and notations for improving the understanding and for supporting the modelling, coding, and verification of applications for specific domains. Ontologies, on the other hand, provide formal and explicit definitions of shared conceptualisations and enable the use of semantic reasoning. Although these areas have been developed by different communities, important synergies can be achieved when both are combined. These advantages can be explored in the development of multi-agent systems, given their complexity and the need for integrating several components that are often addressed from different angles. This work investigates how to apply ontologies for agentoriented software engineering. Initially, we present a new modelling approach where multiagent systems are designed using the proposed OntoMAS ontology. Then, we describe techniques, implemented in a tool, to help programmers bring their concepts into code and also generate code automatically from instantiated ontology models. Several advantages can be obtained from these new approaches to model and code multi-agent systems, such as semantic reasoning to carry out inferences and verification mechanisms. But the main advantage is the unified high (knowledge) level specification language that allows modelling the three dimensions that are united in the JaCaMo framework so that systems specifications can be better communicated across developing teams. The evaluations of these proposals indicate that they contribute with the different aspects of agent-oriented software engineering, such as the specification, verification, and programming of these systems. / A engenharia orientada a modelos fornece abstrações e notações para melhorar a compreensão e para apoiar a modelagem, codificação e verificação de aplicações em domínios específicos. As ontologias, por outro lado, fornecem definições formais e explícitas de conceitualizações compartilhadas e permitem o uso de raciocínio semântico. Embora essas áreas tenham sido desenvolvidas por diferentes comunidades, sinergias importantes podem ser alcançadas quando ambas são combinadas. Essas vantagens podem ser exploradas no desenvolvimento de sistemas multiagentes, dada a sua complexidade e a necessidade de integrar vários componentes que são frequentemente abordados de diferentes ângulos. Este trabalho investiga como aplicar ontologias para engenharia de software orientada a agentes. Inicialmente, apresentamos uma nova abordagem de modelagem onde os sistemas multiagentes são projetados usando a ontologia OntoMAS proposta. Então, descrevemos técnicas, implementadas em uma ferramenta, para ajudar os programadores a trazer seus conceitos em código e também gerar código automaticamente a partir de modelos instanciados da ontologia. Várias vantagens podem ser obtidas a partir dessas novas abordagens para modelar e codificar sistemas multiagentes, como o raciocínio semântico para realizar inferências e mecanismos de verificação. Mas a principal vantagem é a linguagem de especificação unificada de alto nível (conhecimento) que permite modelar as três dimensões que estão unidas em JaCaMo para que as especificações dos sistemas possam ser melhor comunicadas entre equipes em desenvolvimento. As avaliações dessas propostas indicam que elas contribuem com os diferentes aspectos da engenharia de software orientada a agentes, como a especificação, verificação e programação desses sistemas.
27

Uma Arquitetura multiagentes para o compartilhamento do conhecimento em sistemas sociotecnológicos de engenharia de requisitos

Moretto, Luís Augusto Machado 25 October 2012 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia e Gestão do Conhecimento, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T16:32:14Z (GMT). No. of bitstreams: 1 289295.pdf: 2046612 bytes, checksum: 2f3f1bd1cfa9e94e025f5831bf5c8aba (MD5) / A engenharia de requisitos, etapa inicial da construção de sistemas de informação, requer intenso compartilhamento de informações e conhecimento entre profissionais de tecnologias da informação e da comunicação e entre peritos no negócio. A teoria e a prática comum da engenharia de requisitos, no entanto, são tecnocêntricas e caracterizadas por dificuldade de compartilhar informações e conhecimento. A literatura recente aborda a concepção de sistemas sociotecnológicos, cujas propriedades emergem por meio da colaboração dinâmica entre pessoas e agentes tecnológicos. Esta dissertação pesquisa uma arquitetura multiagentes para o compartilhamento do conhecimento na engenharia de requisitos, com base no modelo CESM de Mario Bunge, segundo o qual todo sistema concreto pode ser representado por sua composição, ambiente, estrutura e mecanismo. A composição inclui peritos no negócio, profissionais de Tecnologia da Informação e da Comunicação -TIC, agentes tecnológicos e o documento de requisitos # objeto da colaboração dinâmica. O mecanismo é essencialmente um processo de compartilhamento de informações e do conhecimento. O resultado é uma arquitetura multiagentes que apoia o compartilhamento de informações e do conhecimento na engenharia de requisitos sociotecnológica. / Requirements engineering, as the first stage in the building of information systems, requires intensive exchange of information and knowledge among information technology professionals and business experts. The theory and practice of requirements engineering, however, are technocentric and characterized by barriers to knowledge sharing. Recent literature presents the concept of sociotechnical systems, whose properties emerge through the dynamic collaboration among people and artificial agents. This dissertation presents a multiagent architecture for knowledge sharing in requirements engineering. The architecture is based on Mario Bunge's CESM model, whereby all concrete system can be represented according to their composition, environment, structure, and mechanism. The composition includes business experts, ICT professionals, artificial agents, and requirements records # the objects of dynamic collaboration. The mechanism is essentially a process of information and knowledge sharing. The result is an architecture to support sociotechnological systems, promoting the collaboration between human and artificial agents.
28

Desenvolvimento de um framework para objetos inteligentes de aprendizagem aderente a um modelo de referência para construção de conteúdos de aprendizagem

Silva, Júlia Marques Carvalho da January 2007 (has links)
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-23T09:29:27Z (GMT). No. of bitstreams: 1 247978.pdf: 1248668 bytes, checksum: 45a1c09ea4b5aa3ec073e04f4cf500f5 (MD5) / Em sistemas de aprendizagem existem dois aspectos que devem ser considerados: a adaptabilidade, que diz respeito às diferentes necessidades e estilos de aprendizagem dos alunos; e a reusabilidade, que visa apoiar a confecção dos cursos. Acredita-se que estas características podem ser alcançadas através da interligação entre Sistemas Multi-agentes e Objetos de Aprendizagem. O resultado consiste na abordagem denominada de Objetos Inteligentes de Aprendizagem, cujo objetivo é promover experiências educacionais mais completas, além de possibilitar uma maior reutilização e adaptabilidade do conteúdo instrucional. Este trabalho propõe um framework para aplicação de objetos inteligentes de aprendizagem construídos sob o modelo SCORM. Para o desenvolvimento deste projeto foi necessária a modelagem do sistema multiagente e, posteriormente, sua implementação utilizando uma plataforma de agentes como suporte. No caso da modelagem, utilizou-se a metodologia MaSE (Multi-agent System Engineering - Engenharia de Sistemas Multi-agentes), que fornece especificações e diagramas para a análise e modelagem. Na implementação, os agentes foram desenvolvidos através da plataforma JADE, enquanto a ontologia para comunicação foi construída na ferramenta Protegé. Para a realização dos testes, foi utilizada a ferramenta eXe Learning devido a sua facilidade de utilização e exportação para o formato SCORM.
29

Desenvolvimento de uma arquitetura híbrida e distribuída para sistemas multiagentes e sua aplicação no futebol de robôs

Biazus, Claudio Jose January 2008 (has links)
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-23T21:11:11Z (GMT). No. of bitstreams: 1 249428.pdf: 4229791 bytes, checksum: bbf7bc179249c4a93805ea7cfa0e84f6 (MD5) / Dentre as principais dificuldades encontradas para a construc¸ #ao de sistemas multiagentes em que existe a disponibilidade de um sistema de vis#ao global, como ´e o caso de algumas categorias de futebol de rob#os, pode-se destacar: a necessidade de resposta em tempo real para identificac¸ #ao dos objetos em cena, conhecimento do ambiente, distribuic¸ #ao das compet#encias de controle entre os comportamentos reativos a cargo de cada agente e os comportamentos deliberativo e estrat´egico, a cargo da entidade central. Este trabalho descreve a implementac¸ #ao de uma arquitetura h´ýbrida reativa x deliberativa e distribu´ýda para controle de sistemas multiagentes equipados com sistema de vis#ao global e dotados de sensores e vis#ao local, e sua aplicac¸ #ao em ambientes de futebol de rob#os. A arquitetura h´ýbrida proposta ´e composta pela integrac¸ #ao de modelos de arquitetura deliberativa e reativa. Esta arquitetura ´e distribu´ýda em duas partes. A primeira parte ´e implementada em uma entidade central e possui os n´ýveis: estrat´egico e de ac¸ #ao. Por outro lado, a segunda parte da arquitetura ´e implementada diretamente nos rob#os EyeBot (embarcada), e possui os n´ýveis: de comportamento e de execuc¸ #ao. Assim, este novo modelo de arquitetura proposta distribui as compet#encias de forma que tarefas relacionadas aos n´ýveis estrat´egicos e de ac¸ #ao, tais como reconhecimento do ambiente, dos agentes que fazem parte da equipe, da equipe advers´aria e bola foi realizado por um sistema de processamento de imagens em uma entidade central. Por outro lado, informac¸ #oes de natureza reativa, tais como controlar a bola, vagar pelo ambiente, desviar de obst´aculos s#ao realizados por um sistema de processamento embarcado. Many difficulties must be faced during the development of multi-agent systems equipped with global vision, as is the case of some robotic soccer leagues. We can emphasize the real time constraints for scene objects recognition, the environment knowledge acquisition, and the distribution and allocation of control competencies between the agents# reactive behavior repertoire and the strategic and deliberative behavior of the central control entity. This work describes the implementation of a distributed and reactive x deliberative hybrid architecture to control multi-agents system with on-board sensors and cameras where a global vision device is present. We also describe its application in the robot soccer environment. The proposed hybrid architecture is compounded by the integration of the reactive and deliberative models and distributed in two parts. The fist one is implemented in a central control entity and possesses the strategic and action level. The second part is implemented in the physical mobile agents, the EyeBots, and possesses the behavior and execution level. Thus, the new architecture model proposed here distributes competencies in such way that strategic and action related tasks, as scene, team players and adversary players recognition and ball location is supplied by the central control entity with the global vision system. On the other hand, reactive actions as ball control, wandering and obstacle avoidance are implemented in the embedded control system.
30

Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística

Gluz, Joao Carlos January 2005 (has links)
Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos de conhecimento possam compartilhar do mesmo tipo de benefícios que os sistemas mais tradicionais da Inteligência Artificial receberam quando adotaram as concepções de agência, de sistemas compostos de múltiplos agentes e de linguagens de comunicação entre estes agentes. Porém, existem dúvidas não só sobre como se poderia escalar efetivamente um sistema probabilístico para uma arquitetura multiagente, mas como se poderia lidar com as questões relativas à comunicação e à representação de conhecimentos probabilísticos neste tipo de sistema, principalmente tendo em vista as limitações das linguagens de comunicação entre agentes atuais, que não permitem comunicar ou representar este tipo de conhecimento. Este trabalho parte destas considerações e propõe uma generalização do modelo teórico puramente lógico que atualmente fundamenta a comunicação nos sistemas multiagentes, que será capaz de representar conhecimentos probabilísticos. Também é proposta neste trabalho uma extensão das linguagens de comunicação atuais, que será capaz de suportar as necessidades de comunicação de conhecimentos de natureza probabilísticas. São demonstradas as propriedades de compatibilidade do novo modelo lógico-probabilístico com o modelo puramente lógico atual, sendo demonstrado que teoremas válidos no modelo atual continuam válidos no novo modelo. O novo modelo é definido como uma lógica probabilística que estende a lógica modal dos modelos atuais. Para esta lógica probabilística é definido um sistema axiomático e são demonstradas sua correção e completude. A completude é demonstrada de forma relativa: se o sistema axiomático da lógica modal original for completo, então o sistema axiomático da lógica probabilística proposta como extensão também será completo. A linguagem de comunicação proposta neste trabalho é definida formalmente pela generalização das teorias axiomáticas de agência e comunicação atuais para lidar com a comunicação de conhecimentos probabilísticos e pela definição de novos atos comunicativos específicos para este tipo de comunicação. Demonstra-se que esta linguagem é compatível com as linguagens atuais no caso não-probabilístico. Também é definida uma nova linguagem para representação de conteúdos de atos de comunicação, baseada na lógica probabilística usada como modelo semântico, que será capaz de expressar conhecimentos probabilísticos e não probabilísticos de uma maneira uniforme. O grau de expressibilidade destas linguagens é verificado por meio de duas aplicações. Na primeira aplicação demonstra-se como a nova linguagem de conteúdos pode ser utilizada para representar conhecimentos probabilísticos expressos através da forma de representação de conhecimentos probabilísticos mais aceita atualmente, que são as Redes Bayesianas ou Redes de Crenças Probabilísticas. Na outra aplicação, são propostos protocolos de interação, baseados nos novos atos comunicativos, que são capazes de atender as necessidades de comunicação das operações de consistência de Redes Bayesianas secionadas (MSBNs, Multiple Sectioned Bayesian Networks) para o caso de sistemas multiagentes.

Page generated in 0.2216 seconds