Página 1 dos resultados de 401 itens digitais encontrados em 0.002 segundos

Sistema pericial em PROLOG no diagnóstico do potencial agrícola de solos

Siqueira, Jucilene de Medeiros; Rocio, Vitor
Fonte: Universidade de Évora Publicador: Universidade de Évora
Tipo: Conferência ou Objeto de Conferência
Publicado em /09/2011 POR
Relevância na Pesquisa
37.39%
As análises laboratoriais de amostras de solo ocupam lugar de destaque como instrumento diagnóstico do potencial produtivo. Estas análises podem estimar as propriedades físicas, químicas e nutricionais dos solos, tornando-se a base para manejo do solo e recomendação de corretivos e fertilizantes destinados a agricultura. Um perito em ciências do solo é capaz de estimar tais propriedades. Por outro lado, considerando o avanço da tecnologia da informação, é possível realizar operações inferenciais automáticas. A substituição do perito pela inteligência artificial visa automatizar o processo de diagnóstico. Tal fato sugere o desenvolvimento do sistema pericial aplicado à ciência do solo suportado pela programação em lógica (linguagem PROLOG), baseado em regras com raciocínio difuso, possibilitando a utilização do conhecimento dos peritos declarados em literatura e armazenadas na base de conhecimento do sistema. Este trabalho apresenta o sistema pericial PROLOGCC, com a elaboração de um protótipo, obtendo como resultado a viabilidade funcional do sistema pericial com raciocínio difuso em PROLOG, no diagnóstico do potencial agrícola de solos. O sistema pericial proposto sugere a construção de um sistema que pode ser introduzido na engenharia de biossistemas com maior complexidade...

Um ambiente para exploração de paralelismo na programação em lógica; A environment to explotation of parallelism in the logic programming

Yamin, Adenauer Correa
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
27.78%
Este trabalho e dedicado ao estudo da exploração de paralelismo na Programação em Lógica. O aspecto declarativo das linguagens de Programação em Lógica permite uma exploração eficiente do paralelismo implícito no código, de forma mais simples que as linguagens imperativas. Ao mesmo tempo, o paralelismo tem-se mostrado uma forte opção para procura de aumentos significativos do desempenho dos computadores. Como conseqüência, nos últimos anos, diversas maquinas paralelas tem surgido no mercado. No entanto, a sua efetiva utilização ainda ressente-se de uma dificuldade de programação maior que a das maquinas sequênciais. Por outro lado, o alto nível das linguagens de Programação em Lógica permite o desenvolvimento de programas de forma mais rápida e concisa do que as linguagens tradicionais (imperativas). Porem, apesar dos importantes progressos nas técnicas de compilação destas linguagens, elas permanecem menos eficientes que as linguagens imperativas. 0 aumento na eficiência de execução da Programação em Lógica, com o use do paralelismo, certamente estenderá o seu emprego. Em função disto, a unido da Programação em Lógica e maquinas paralelas tem sido proposta como uma alternativa para facilitar a programação das maquinas paralelas...

Máquina de cláusulas : arquitetura e modelo de execução de cláusulas Prolog; Clause machines : architecture and prolog clauses execution model

Bins Filho, Jose Carlos
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
37.71%
Este trabalho define um modelo de execução para cláusulas Prolog, a partir do modelo abstrato de Máquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns aspectos sobre as linguagens Lógicas e as máquinas Prolog visto que estes elementos estão relacionados intimamente tanto com o modelo quanto com a arquitetura propostos. Na proposta do modelo de execução são definidos uma representação para os elementos do modelo abstrato (predicados, arcos e clausulas) e um conjunto de algoritmos que permitem a operacionalização do modelo de forma a que tanto o paralelismo como a concorrência inerentes ao modelo abstrato sejam exploradas de forma integral. Na proposta da arquitetura são, primeiramente, discutidas algumas opções de arquitetura básica e, posteriormente, descrita a arquitetura escolhida tanto a nível de blocos bem como dos seus componentes principais, a saber: interface de mem6ria, processador e rede de interconexão. Para cada um destes componentes são descritas as principais instruções e são apresentados os algoritmos que as implementam. Junto com a descrição da arquitetura é definida uma estrutura de dados que permite a implementação da representação descrita no modelo de execuqao e é definido também o algoritmo de unificação que percorre a estrutura proposta. Na validação é feito o cálculo da largura de banda máxima alcançada pela arquitetura proposta...

"Lambda" PROLOG : interpretador e unificação de ordem superior

Artemio Ludwig
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 30/10/1992 PT
Relevância na Pesquisa
37.22%
A implementação de interpretadores para a linguagem da Lógica de Ordem Superior (LOS) constitui-se num desafio ainda não vencido. Pode-se dividi-Io em duas partes: (a) tornar a linguagem mais amigável permitindo estimular sua adoção e (b) dotar as implementações com um desempenho que não sacrifique sua usabilidade. A linguagem de programação para a LOS utiliza os conceitos do À-cálculo e os recursos de tipificação de Russel. Sua sintaxe é portanto mais complexa do que aquela da Lógica de Primeira Ordem (LPO). A técnica de derivação de algum conhecimento em uma base de conhecimento, formalizada conforme suas regras, assemelha-se com aquela da LPO que é chamada de resolução. Qualquer sistema de provas em LOS deve atender a restrições de uma linguagem fortemente tipada e a unificação, que apresenta problemas de incompletude, pode gerar mais do que um unificador. Isto torna a pesquisa nâ.o-determinística e faz com que a derivação contenha mais uma fonte de retroencadeamento, quando comparada com modelo de programação em LPO. Este trabalho expõe e analisa a implementação de um interpretador para a LOS sujeita a sentenças definidas positivas as quais contêm propriedades adequadas à mecanização semelhantes àquelas das cláusulas de HORN da LPO. Problemas de indecidibilidade são contornados e os vários aspectos computacionais são descritos como a formação da base de conhecimento...

Sistema de manipulação de conjuntos e relações nebulosas e programação em logica nebulosa - PROLOG nebuloso

Ivan Rizzo Guilherme
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 21/08/1990 PT
Relevância na Pesquisa
37.71%
Este trabalho consiste da discussão e implementação de ferramentas de programação que operem Conjuntos Nebulosos e a Lógica Nebulosa. É demonstrado e discutido um sistema composto de um conjunto de rotinas voltadas para a Manipulação de Conjuntos e Relações Nebulosas. Alguns sistemas de programação baseados em 16glca nebulosa, denominados de PROLOG-nebulosos, são analisados. Finalmente descreve-se a implementação de um PROLOG-nebuloso que possui as mesmas características da linguagem PROLOG; This work consists of a discussion and implementation of programming tools that operate the Fuzzy Sets Theory. A system composed of a set of routines specialized on manipulating of Fuzzy Sets and Fuzzy Relations is shown and discussed. Some system for Fuzzy Logic Programming, known as Fuzzy PROLOG, are analysed. Finally, an implementation of a Fuzzy PROLOG is describe that has the same characteristic of the PROLOG language

Shell para criação automática de sistemas especialistas com inferência em Prolog e tratamento de incerteza por fatores de certeza

Pamplona Filho, Cesar Roberto
Fonte: Florianópolis Publicador: Florianópolis
Tipo: Dissertação de Mestrado Formato: 84 p.| il., grafs., tabs.
POR
Relevância na Pesquisa
37.71%
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.; Este trabalho apresenta o aprimoramento da ferramenta Shell Intellec System, para a criação automática de Sistemas Especialistas, com a utilização de fatores de certeza para tratamento da incerteza. A máquina de inferência foi desenvolvida em Prolog por se tratar de uma linguagem de programação lógica, utilizando a ferramenta Visual Prolog. A incerteza sobre o conhecimento do domínio é representada por fatores de certeza. Na shell as variáveis podem ser linguísticas, numérica e multimídia, como imagens e vídeos. A interface gráfica com o usuário foi remodelada e transcrita utilizando a ferramenta Borland C++ Builder para melhor integração com o usuário e a máquina de inferência PROLOG. Testes foram realizados para assegurar que os resultados apresentados pela Shell são compatíveis com aqueles da versão anterior. Foi realizada, também, uma avaliação sobre usabilidade da Shell por meio de um questionário chamado QUISS, baseado na norma ISO/IEC 9126, através de aplicação a um grupo de alunos, obtendo-se resultados promissores para interface desenvolvida.; This work presents the improvement of shell program Intellec System for the automatic creation of expert systems with the use of certainty factors for the treatment of uncertainty. The inference engine was developed in Prolog because it is a logic programming language...

Exercícios resolvidos em Prolog sobre sistemas baseados em conhecimento

Cortez, Paulo
Fonte: Universidade do Minho Publicador: Universidade do Minho
Tipo: Outros
Publicado em /04/2008 POR
Relevância na Pesquisa
37.22%
Apontamentos de apoio à disciplina de Sistemas Baseados em Conhecimento da Unidade de Ensino do Departamento de Sistemas de Informação da Escola de Engenharia da Universidade do Minho, Guimarães, Portugal.; Apontamentos de ensino que explicam, através de exemplos, como resolver em Prolog diversos exercícios sobre Sistemas Baseados em Conhecimento: Regras de Produção, Estruturas Hierárquicas, Procura num Espaço de Soluções, Dependências Conceptuais e Programação Orientada para Padrões.

GNU prolog to Java: a study on how to connect the two programming environments

Mendes, David José Murteira
Fonte: Universidade de Évora Publicador: Universidade de Évora
Tipo: Dissertação de Mestrado
ENG
Relevância na Pesquisa
37.85%
Neste trabalho pretende-se efectuar o estudo e a implementação de uma interface bidireccional entre o GNU-Prolog e a linguagem Java. O objectivo desta ferramenta é dar a possibilidade de utilizar o poder da programação em lógica dentro de um ambiente multi-plataforma. Pretende-se possibilitar a escrita de programas Prolog que invocam métodos Java e programas Java que chamam predicados Prolog. Java e Prolog são um par ideal para disponibilizar úteis "aplicações inteligentes", com interfaces actuais, disponibilizadas para diferentes sistemas operativos existentes. Misturada com o Java esta "inteligência" beneficia das características desta linguagem como independência de plataformas, segurança, tratamento de excepções e segurança de tipos entre outras. Uma ligação destas possibilita a criação de ferramentas tais como servidores para diagnóstico de problemas, aplicações robot que se deslocam automatizadamente na Internet, agentes inteligentes móveis que atendem pedidos de outros agentes com capacidade de raciocínio sejam humanos ou não. Um dos objectivos primários, no entanto, que se pretende atingir é a integração de uma implementação Prolog compatível ISO e open source com todos os ambientes de desenvolvimento e ferramentas Java disponíveis actualmente. Como tal a ligação pretendida é feita a nível muito baixo para poder apresentar características de alta performance...

Utilizando análise de mutantes no teste de programas prolog

Toaldo, Juliano Rogerio
Fonte: Universidade Federal do Paraná Publicador: Universidade Federal do Paraná
Tipo: Teses e Dissertações Formato: application/pdf
PORTUGUêS
Relevância na Pesquisa
37.51%
Resumo: Diversos critérios e ferramentas de teste têm sido propostos ultimamente com o objetivo de auxiliar a seleção e a avaliação de um conjunto de dados de teste. Dentre esses critérios, destacam-se os critérios baseados em análise de mutantes, que têm se mostrado um dos mais eficazes em revelar defeitos. Entretanto, esses trabalhos tratam do teste de programas escritos em linguagens procédurals e/ou orientadas a objeto. São poucos os trabalhos da literatura que abordam o teste de programas lógicos, tais como os escritos em Prolog, e a maioria deles não tem como objetivo a quantificação da atividade de teste e o estabelecimento de medidas de cobertura. Este trabalho trata da aplicação do critério Análise de Mutantes no teste de programas Prolog. Um conjunto de operadores de mutação para essa linguagem é proposto. O conjunto está baseado nas principais características do Prolog e em erros comuns que os programadores podem cometer nesse paradigma. Uma ferramenta de teste chamada MutProlog é descrita e resultados de experimentos com essa ferramenta mostram a aplicabilidade dos operadores propostos e permitem a comparação com a abordagem estrutural.

Criação de ferramentas para ambiente PROLOG e o acesso de novatos ao paradigma da programação em logica

Maria Cecilia Calani Baranauskas
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 04/02/1993 PT
Relevância na Pesquisa
37.93%
Esta tese tem como tema principal o design de ferramentas computacionais que constituem um ambiente de programação Prolog e o estudo da interação do novato nesse ambiente. A proposta do conjunto de ferramentas é explicitar o paradigma de programação subjacente e enriquecer o feedback gerado pelo ambiente Prolog, possibilitando ao novato acesso ao programa não apenas em seu significado operacional, mas também em seu significado lógico. As ferramentas, inseridas no ambiente de programação Prolog, constituem um Módulo Operacional e um Módulo Declarativo. No Módulo Operacional, a máquina virtual da linguagem é explicitada através de uma representação gráfica da ,árvore de busca de determinada meta em uma base de dados, que denominamos Arvore de Espaços de Busca. No Módulo Declarativo o formalismo clausal do programa é expresso de forma pictórica através de um modelo baseado em diagramas de redes semânticas, que denominamos Diagramas Semânticos. Foi feito um estudo experimental para análise da interação do novato no ambiente proposto, que envolveu dois tipos de novatos: (A) novatos em sua primeira experiência com linguagem de programação (e mesmo com computadores) e (B) novatos em Prolog, mas com bom conhecimento de linguagens procedurais. Nosso objetivo foi investigar os estágios iniciais do processo de aquisição da linguagem Prolog e os efeitos das ferramentas propostas...

Une contribution a l'etude du parallelisme ou en prolog sur des machines sans memoire commune

Geyer, Claudio Fernando Resin
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Tese de Doutorado Formato: application/pdf
FRA
Relevância na Pesquisa
37.81%
Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs.; This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling...

Declarative computer music programming: using Prolog to generate rule-based musical counterpoints.

Wolf, Robert Pawel
Fonte: Universidade de Adelaide Publicador: Universidade de Adelaide
Tipo: Tese de Doutorado
Publicado em //2015
Relevância na Pesquisa
37.39%
This submission for the degree of Doctor of Philosophy at the Elder Conservatorium of Music, University of Adelaide, is presented as a conventional, text-based thesis, supported by computer code and audio files. The primary purpose of this research investigation in the field of Artificial Intelligence has been to test the capabilities of the declarative programming paradigm to generate musical counterpoints within the framework of a specially created expert system. The project has tested if such a contrapuntal expert system can evolve through a process of mutation of its own code and generate musical counterpoints that do not conform exactly with the original programming. It presents for the first time a music based study of this capacity for code self-modification. The expert system developed for this project was constructed declaratively, using the Prolog computer language, rather than the more common imperative approach. Although it is a General-Purpose language, Prolog is particularly effective in the construction of Artificial Expert Systems, because its unique declarative programming style allows the programmer to focus on describing the problem rather than describing how to solve the problem. This leaves to the machine the task of finding the solution to the given problem. The problem in this case is how to generate - artificially – simple counterpoints to short melodic phrases drawn from the cantus firmus tradition. As part of the problem solving process the expert system was taken through a series of evolutionary experiments with Artificial Neural Networks used as a fitness function.; Thesis (Ph.D.) -- University of Adelaide...

Extending Prolog with Incomplete Fuzzy Information

Munoz-Hernandez, Susana; Vaucheret, Claudio
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 22/08/2005
Relevância na Pesquisa
27.75%
Incomplete information is a problem in many aspects of actual environments. Furthermore, in many sceneries the knowledge is not represented in a crisp way. It is common to find fuzzy concepts or problems with some level of uncertainty. There are not many practical systems which handle fuzziness and uncertainty and the few examples that we can find are used by a minority. To extend a popular system (which many programmers are using) with the ability of combining crisp and fuzzy knowledge representations seems to be an interesting issue. Our first work (Fuzzy Prolog) was a language that models $\mathcal{B}([0,1])$-valued Fuzzy Logic. In the Borel algebra, $\mathcal{B}([0,1])$, truth value is represented using unions of intervals of real numbers. This work was more general in truth value representation and propagation than previous works. An interpreter for this language using Constraint Logic Programming over Real numbers (CLP(${\cal R}$)) was implemented and is available in the Ciao system. Now, we enhance our former approach by using default knowledge to represent incomplete information in Logic Programming. We also provide the implementation of this new framework. This new release of Fuzzy Prolog handles incomplete information...

On the Implementation of GNU Prolog

Diaz, Daniel; Abreu, Salvador; Codognet, Philippe
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Relevância na Pesquisa
27.75%
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces standalone executables which don't rely on any byte-code emulator or meta-interpreter. Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition. GNU Prolog also includes an extensible and high-performance finite domain constraint solver, integrated with the Prolog language but implemented using independent lower-level mechanisms. This article discusses the main issues involved in designing and implementing GNU Prolog: requirements, system organization, performance and portability issues as well as its position with respect to other Prolog system implementations and the ISO standardization initiative.; Comment: 30 pages, 3 figures, To appear in Theory and Practice of Logic Programming (TPLP); Keywords: Prolog, logic programming system, GNU, ISO, WAM, native code compilation, Finite Domain constraints

Teraphim: a domain-independent framework for constructing blackboard-controlled, blackboard-based expert systems in Prolog

Lyon, Bruce
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
37.51%
The blackboard architecture, in which a set of independent knowledge sources communicate by means of a global data base known as a blackboard, has been suggested as a generally useful design for knowledge-based systems. Teraphim is a domain-independent frame work for writing blackboard-based expert systems in Prolog. It implements concepts common to a range of previous blackboard architecture programs, such as HEARSAY-III and BB1. Teraphim includes as its basic elements a partitioned blackboard, a simple blackboard-controlled scheduler, a set of general-purpose scheduling heuristics to control the scheduler, a generic knowledge source with the ability to ask the user questions about incomplete data, modifiable methods of reasoning about uncertain data, and a simple explanation facility that traces the origins of terms on the problem blackboard. Trials of the system indicate that it can be used to implement expert systems to solve either synthesis or analysis problems. The blackboard architecture of Teraphim lends itself to experimentation with the kinds of knowledge representation and control knowledge needed to solve problems. Prolog proved to be a convenient language for writing blackboard-based systems.

An Occam2 implementation of Prolog

Motwani, Manjula
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
37.71%
Prolog has been widely recognized as a powerful programming language for artificial intelligence. It was also chosen as a kernel language for the Japanese Fifth Generation Project. The project is a large scale effort to initiate a new generation of computing. Due to the wide range of applications that Prolog has, many methods have been developed for extracting parallelism from standard Prolog in order to achieve faster execution on a multiprocessor. This project designs an execution model for Prolog, which attempts to exploit the parallelism mainly at the argument level through the unification operation. The model consisting of a number of virtual machine instructions, has been implemented in Occam2 on a Transputer Development System. A few Prolog procedures have been hand compiled to the virtual machine instructions, and have been run on a Transputer Development System with a single transputer. This model of virtual machine instructions can be applied to a multiple transputer system. This project gives the details of the implementation of the virtual machine instructions.

A Comparative study of four major knowledge representation techniques used in expert systems with an implementation in Prolog

Hudgick, JoAnn T.
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
37.59%
Knowledge representation is a central issue in Artifical Intelligence (AI) research. In order to solve the diverse and complex problems encountered, one needs both a large amount of knowledge and some mechanism for the management and skillful utilization of that knowledge. The basic problem in knowledge representation is the development of an adequate formalism to represent that knowledge. In this thesis I will discuss four of the major techniques for representing knowledge in expert systems: first order logic, production rules, semantic networks, and frames. Using Prolog as the implementation language, I will demonstrate that all of the above mentioned representation techniques, when used in actual implementations, will be reduced to an equivalency - that being a set of Prolog facts and rules. Prolog limits us to a set of facts expressed as "predicate(argumentl, argument, ..., argumentn)" and "IF ... THEN" rules, thus eliminating many of the unique features which characterize the various representation techniques. Therefore, Prolog can be viewed as a representation technique itself.

dbProlog: a Prolog/relational database interface

Oagley, Diane
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
37.71%
dbProlog is a prototype system that provides a C-Prolog user access to data in an external relational database via both loose and tight coupling. To the application programmer, dbProlog is a group of six built-in Prolog predicates that effect communication between a C-Prolog process and a database management system process. Prolog application program statements may be written using the six predicates to make the interface transparent to an end-user. The system is based on a "driver" process that must be customized to the interfaced DBMS and whose primary function is the translation of requests and replies between C-Prolog and the DBMS. dbProlog supports Prolog's depth-first search on database retrievals by producing the next record when the retrieval predicate is encountered upon backtracking. dbProlog also supports multiple active database retrievals, as may be required by a Prolog rule that references two or more database retrievals, or by a recursive rule.

A Toolkit for uncertainty reasoning and representation using fuzzy set theory in PROLOG expert systems

Bicker, Marcelle M.
Fonte: Rochester Instituto de Tecnologia Publicador: Rochester Instituto de Tecnologia
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
37.51%
This thesis examines the issue of uncertainty reasoning and representation in expert systems. Uncertainty and expert systems are defined. The value of uncertainty in expert systems as an approximation of human reasoning is stressed. Five alternative methods of dealing with uncertainty are explored. These include Bayesian probabilities, Mycin confirmation theory, fuzzy set theory, Dempster-Shafer's theory of evidence and a theory of endorsements. A toolkit to apply uncertainty processing in PROLOG expert systems is developed using fuzzy set theory as the basis for uncertainty reasoning and representation. The concepts of fuzzy logic and approximate reasoning are utilized in the implementation. The toolkit is written in C-PROLOG for the PYRAMID UNIX system at the Rochester Institute of Technology.

Distributed multi-threading in GNU prolog

Morgadinho, Nuno Eduardo Quaresma
Fonte: Universidade de Évora Publicador: Universidade de Évora
Tipo: Dissertação de Mestrado
ENG
Relevância na Pesquisa
37.83%
Embora a computação paralela já tenha sido alvo de inúmeros estudos, o processo de a tornar acessível as massas ainda mal começou. Através da combinação com o Prolog de um ambiente de programação distribuída e multithreaded, como o PM2, torna-se possível ter computações paralelas e concorrentes usando programação em logica. Com este objetivo foi desenvolvido o PM2-Prolog, um interface Prolog para o sistema PM2. Tal sistema permite correr aplicações Prolog multithreaded em múltiplas instâncias do GNU Prolog num ambiente distribuído, tirando, assim, partido dos recursos disponíveis nos computadores ligados numa rede. Em problemas computacionalmente pesados, onde o tempo de execução é crucial, existe particular vantagem em usar este sistema. A API do sistema oferece primitivas para gestão de threads e para comunicação explícita entre threads. Testes preliminares mostram um ganho de desempenho quase linear, em comparação com uma versão sequencial. /ABSTRACT - Although parallel computing has been widely researched, the process of bringing concurrency and parallel programming to the mainstream has just begun. Combining a distributed multi-threading environment like PM2 with Prolog, opens the way to exploit concurrency and parallel computing using logic programming. To achieve such a purpose...