• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 302
  • 92
  • 40
  • 14
  • 12
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 4
  • Tagged with
  • 658
  • 658
  • 391
  • 357
  • 117
  • 115
  • 109
  • 87
  • 87
  • 78
  • 77
  • 73
  • 73
  • 61
  • 60
  • 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.
381

Sistema inteligente para determinação de limite de crédito / Intelligent system for determination of credit limit

Dacy Câmara Lobosco 12 April 2013 (has links)
A presente dissertação trata da estipulação de limite de crédito para empresas clientes, de modo automático, com o uso de técnicas de Inteligência Computacional, especificamente redes neurais artificiais (RNA). Na análise de crédito as duas situações mais críticas são a liberação do crédito, de acordo com o perfil do cliente, e a manutenção deste limite ao longo do tempo de acordo com o histórico do cliente. O objeto desta dissertação visa a automação da estipulação do limite de crédito, implementando uma RNA que possa aprender com situações já ocorridas com outros clientes de perfil parecido e que seja capaz de tomar decisões baseando-se na política de crédito apreendida com um Analista de Crédito. O objetivo é tornar o sistema de crédito mais seguro para o credor, pois uma análise correta de crédito de um cliente reduz consideravelmente os índices de inadimplência e mantém as vendas num patamar ótimo. Para essa análise, utilizouse a linguagem de programação VB.Net para o sistema de cadastro e se utilizou do MatLab para treinamento das RNAs. A dissertação apresenta um estudo de caso, onde mostra a forma de aplicação deste software para a análise de crédito. Os resultados obtidos aplicando-se as técnicas de RNAs foram satisfatórias indicando um caminho eficiente para a determinação do limite de crédito. / This research deals with the credit limit stipulation for corporate clients, automatically, with the use of Computational Intelligence techniques, specifically artificial neural networks (ANN). In the analysis of credit, the two most critical situations are release of credit, according to the customer profile, and maintain the credit according to the customer history. The object of this work aims at automating the stipulated credit limit at the time of initial registration of the customer. The main focus of this work is to make an ANN can provide the credit limit, learning from situations that have occurred with other clients of similar profile and is able to make decisions based on the credit policy seized with a Credit Analyst. The goal is to make the system more secure credit to the lender, for a correct analysis of the creditworthiness of a customer drops considerably default rates and maintains a sales plateau great. For this analysis, we used the VB.Net programming language for the registration system of MatLab and was used for training ANNs. The paper presents a case study, which shows how to apply this software to credit analysis. The results obtained applying the techniques ANNs were satisfactory showing an efficient way to determine the credit limit.
382

Jornalismo cultural e personalização: o acionamento do perito nas capas da revista Bravo! (1997-2013)

Cavalcanti, Anna de Carvalho January 2016 (has links)
Esta dissertação tem como objetivo identificar de que forma a revista Bravo! (1997-2013) acionou o sujeito perito na capa, espaço emblemático de consagração. Compreendemos o jornalismo como sendo capaz de estabelecer hierarquias, conceder visibilidade e prestígio, estabelecendo, assim, o que deve ser lido, visto e assistido, ou seja, o que é relevante, de acordo com seus critérios. O jornalismo cultural, enquanto especialidade jornalística, reafirma também seu lugar de suposto sistema perito, a partir da confiança do leitor, silenciando ou consolidando valores culturais a partir de seus locais de maior visibilidade, como as capas de revista. Entendendo esse espaço como um lugar consagrado e consagrante, voltamos nosso olhar a quem nele se destaca, sujeitos que resguardam uma suposta excelência técnica e valores canônicos. Com o aporte da Análise de Conteúdo (AC), realizamos um mapeamento das 192 edições da revista, verificando o conteúdo das capas a partir da definição de segmento (música, cinema, literatura, artes visuais, teatro e dança), pessoas contempladas na primeira página, temática e gancho temporal jornalístico, o que resultou em uma panorâmica editorial sobre os principais temas e sujeitos abordados. A partir dessa primeira visada, delimitamos o corpus de 124 capas em que constam somente pessoas. A análise panorâmica mostrou que música foi o segmento mais personalizado, seguido por livros, cinema, teatro, artes visuais e dança. Além disso, percebemos que a lógica do evento, gancho jornalístico de maior incidência, tende a se vincular com pessoas que já possuem prestígio em seu campo de atuação. Junto à descrição quantitativa por segmento cultural, partimos para a leitura qualitativa em profundidade de onze capas que representam tendências do conjunto. Os resultados indicam que, enquanto instância de legitimação desses peritos, Bravo! se utilizou de critérios editoriais específicos para escolher a personalidade de capa, agregando para si os valores associados de quem elegeu, seguindo a lógica da personalização. Ao criar um espaço consagratório em sua primeira página, a revista reafirma a encenação do superlativo, que articula a imagem do rosto, as chamadas, o título e o nome da publicação, como uma forma de acionamento do perito. / The aim of this thesis is to identify how Bravo! (1997-2013) operated the expert in its cover, an emblematic space of consecration. We understand journalism as being able to establish hierarchies, provide visibility and prestige, establishing what should be read, seen and watched, that is, what is important according to its criteria. Cultural journalism, as journalistic specialty, also claims its place of supposed expert system, based on the reader’s confidence, silencing or consolidating cultural values from their places of higher visibility, as magazine covers. Understanding this place as a consecrated and consecrating space, we turn our gaze to whom it stands out, people who keep a supposed technical excellence and canonical values. Through Content Analysis (CA) theory, we conducted a mapping of 192 editions of the magazine by checking the content of the covers from the segment definition (music, cinema, literature, visual arts, theater and dance), people featured on the first page, theme and journalistic temporal hook, which resulted in an editorial overview of the main themes and people covered. From this first view, we delimited the corpus to 124 covers that included only people. The panoramic analysis showed that music was the most personalized segment, followed by literature, cinema, theater, visual arts and dance. Also, we realized that the logic of the event, journalistic hook with the higher incidence, tends to bond with people who are already prestigious in their field. Next to the quantitative description by cultural segment, we made a qualitative in-depth reading of eleven covers that represent set group trends. The results indicate that, while instance of legitimation, Bravo! employed specific editorial criteria to choose the person of the cover, adding itself the associated values of those elected, following the logic of personalization. By creating a consecrational space on its front page, the magazine reaffirms the staging of superlative, that articulates the image of the face, the headlines, the title and the publication name as a form to operate the expert.
383

Desenvolvimento de um sistema especialista para seleção de componentes mecânicos. / Development of a expert system for the selection of mechanical components.

Cláudio José Weber 06 October 2017 (has links)
A seleção de componentes mecânicos não é uma tarefa fácil e exige um substancial know-how e experiência. As ferramentas atuais trabalham de forma isolada umas das outras, além disto não levam em consideração os requisitos que a interface de um componente exige do outro onde se acoplará, e por consequência os custos de fabricação e logísticos envolvidos para a compatibilização das interfaces. Para auxiliar neste processo está sendo proposto um método para desenvolver um SE (Sistema Especialista) para a seleção de componentes mecânicos que além de levar em conta os requisitos de aplicação, também considera no processo de seleção as deficiências supracitadas. Outro aspecto é que, leva em conta as diretrizes do projeto e os recursos de fabricação da planta, e em paralelo ao processo de seleção também pode dimensionar os componentes selecionados e as interfaces das peças nas quais se acoplarão. O processo de aquisição do conhecimento é uma das principais etapas de desenvolvimento de um SE é considerado como um dos estágios mais importantes em sua execução. Em função disto está sendo proposto um método alternativo que permite que o conhecimento seja adquirido de forma sistemática e organizada pelo engenheiro do conhecimento e pelo especialista para o seu emprego na construção da base de dados do SE. O SE desenvolvido com base no método de aquisição de conhecimento proposto neste trabalho é validado através de dois casos exemplo, inseridos em um projeto de uma máquina de processamento de papel. A validação se dá através da análise de especialistas quanto à adequação dos componentes selecionados pelo SE, comparando-os com o projeto atual. Como resultado, observa-se uma substancial redução dos custos de projeto em função dos componentes selecionados, além da economia no tempo gasto pelos projetistas neste processo de seleção. / Selecting mechanical components is not an easy task and requires a substantial amount of knowledge and experience. The current component selecting tools do not work in an integrated manner, not taking into account component interface requirements for coupling it to another component and, consequently, not considering manufacturing and logistic costs for the interfaces compatibility. In order to improve this process, this thesis proposes a method for the development of an ES (Expert System) for mechanical components selection, which considers both application and component interface requirements. Additionally, the ES will also take into consideration design guidelines and the manufacturing plant capabilities, so it will also be able to scale the selected components and its interfaces. The process of knowledge acquisition is one of the main stages of the ES development and is considered as one of the most important stages in its execution. As a result of this, an alternative method is proposed that allows the knowledge to be acquired in a systematic and organized way by the knowledge engineer and the specialist for its use in the construction of the ES database. The ES developed based on the proposed knowledge acquisition method is validated through two case studies in a paper processing machine design. The validation is done through the analysis of experts regarding the suitability of the components selected by the ES, comparing them with the current project. As a result, there is a substantial reduction in design costs due to the selected components, as well as the savings in the time spent by the designers in this selection process.
384

Método de aquisição de conhecimento para sistemas especialistas destinados à diagnose de falhas: aplicação de técnicas de análise de confiabilidade e de risco. / Knowledge acquisition method for expert system to fault diagnosis: application of technical of reliability analysis and risk.

Erick Miguel Portugal Hidalgo 24 November 2014 (has links)
O processo de aquisição do conhecimento é uma das principais etapas de desenvolvimento de um sistema especialista e é considerado como um dos estágios mais difíceis. Essa dificuldade se dá em virtude da inexistência de uma metodologia eficiente, confiável e padrão para extração e organização do conhecimento das várias fontes. O método apresentado neste trabalho é uma alternativa que pode ser empregada para adquirir o conhecimento para desenvolver sistemas especialistas para diagnóstico de falhas em diferentes áreas da indústria. Este trabalho apresenta um método que integra as técnicas de confiabilidade e risco, tais como, Análise de Modos e Efeitos de Falha (FMEA), Análise de Árvore de falhas (FTA) e Estudo de Perigo e Operabilidade (HAZOP) para aquisição do conhecimento para o diagnóstico de falhas. O método também permite estimar a periocidade da manutenção preventiva aplicando os conceitos de manutenção imperfeita e teoria de decisão multicritério. O método utilizada técnicas empregadas em análise de confiabilidade e risco para determinar a relação entre efeito da falha em um sistema e as suas causas raiz com o objetivo de estabelecer um procedimento estruturado para aquisição do conhecimento associado à relação causa-efeito em um sistema. O método foi validado com a comparação do histórico de falhas de um sistema hidráulico de uma usina hidrelétrica e, considerando-se que os eventos definidos como causa raiz registrados no histórico de falhas foram encontrados como resultados da análise pelo sistema especialista, tem-se a validação. O método para determinar a periocidade da manutenção preventiva foi validado com os resultados de artigos e com os planos de manutenção da usina. / The process of knowledge acquisition is a major step in developing an expert system and is considered as one of the most difficult stages. This difficulty is due to the lack of an efficient, reliable and standard methodology for extraction and organization of knowledge from various sources. The method presented in this thesis is an alternative that can be used to acquire the knowledge to develop expert systems for fault diagnosis in different areas of industry. This thesis presents a method that integrates risk and reliability analysis techniques such as Failure Modes and Effects Analysis (FMEA), Fault Tree Analysis (FTA) and Hazard and Operability Study (HAZOP) for the acquisition of knowledge to fault diagnosis. The method also allows estimating the optimal intervention times of preventive maintenance by applying the imperfect maintenance and multicriteria concepts. The method uses techniques that are employed in reliability and risk analysis to determine the relationship between fault effect in the system and its root causes in order to establish a structured acquisition of knowledge associated with the causeeffect relationship in a system procedure. The method was validated by comparing the failure database related to a hydropower plant hydraulic system and, considering that the events defined as root causes recorded in the failure database were found by expert system, the method was validated. The method for determining the optimal intervention time for preventive maintenance has been validated with the results of articles and maintenance plans of the plant.
385

Jornalismo cultural e personalização: o acionamento do perito nas capas da revista Bravo! (1997-2013)

Cavalcanti, Anna de Carvalho January 2016 (has links)
Esta dissertação tem como objetivo identificar de que forma a revista Bravo! (1997-2013) acionou o sujeito perito na capa, espaço emblemático de consagração. Compreendemos o jornalismo como sendo capaz de estabelecer hierarquias, conceder visibilidade e prestígio, estabelecendo, assim, o que deve ser lido, visto e assistido, ou seja, o que é relevante, de acordo com seus critérios. O jornalismo cultural, enquanto especialidade jornalística, reafirma também seu lugar de suposto sistema perito, a partir da confiança do leitor, silenciando ou consolidando valores culturais a partir de seus locais de maior visibilidade, como as capas de revista. Entendendo esse espaço como um lugar consagrado e consagrante, voltamos nosso olhar a quem nele se destaca, sujeitos que resguardam uma suposta excelência técnica e valores canônicos. Com o aporte da Análise de Conteúdo (AC), realizamos um mapeamento das 192 edições da revista, verificando o conteúdo das capas a partir da definição de segmento (música, cinema, literatura, artes visuais, teatro e dança), pessoas contempladas na primeira página, temática e gancho temporal jornalístico, o que resultou em uma panorâmica editorial sobre os principais temas e sujeitos abordados. A partir dessa primeira visada, delimitamos o corpus de 124 capas em que constam somente pessoas. A análise panorâmica mostrou que música foi o segmento mais personalizado, seguido por livros, cinema, teatro, artes visuais e dança. Além disso, percebemos que a lógica do evento, gancho jornalístico de maior incidência, tende a se vincular com pessoas que já possuem prestígio em seu campo de atuação. Junto à descrição quantitativa por segmento cultural, partimos para a leitura qualitativa em profundidade de onze capas que representam tendências do conjunto. Os resultados indicam que, enquanto instância de legitimação desses peritos, Bravo! se utilizou de critérios editoriais específicos para escolher a personalidade de capa, agregando para si os valores associados de quem elegeu, seguindo a lógica da personalização. Ao criar um espaço consagratório em sua primeira página, a revista reafirma a encenação do superlativo, que articula a imagem do rosto, as chamadas, o título e o nome da publicação, como uma forma de acionamento do perito. / The aim of this thesis is to identify how Bravo! (1997-2013) operated the expert in its cover, an emblematic space of consecration. We understand journalism as being able to establish hierarchies, provide visibility and prestige, establishing what should be read, seen and watched, that is, what is important according to its criteria. Cultural journalism, as journalistic specialty, also claims its place of supposed expert system, based on the reader’s confidence, silencing or consolidating cultural values from their places of higher visibility, as magazine covers. Understanding this place as a consecrated and consecrating space, we turn our gaze to whom it stands out, people who keep a supposed technical excellence and canonical values. Through Content Analysis (CA) theory, we conducted a mapping of 192 editions of the magazine by checking the content of the covers from the segment definition (music, cinema, literature, visual arts, theater and dance), people featured on the first page, theme and journalistic temporal hook, which resulted in an editorial overview of the main themes and people covered. From this first view, we delimited the corpus to 124 covers that included only people. The panoramic analysis showed that music was the most personalized segment, followed by literature, cinema, theater, visual arts and dance. Also, we realized that the logic of the event, journalistic hook with the higher incidence, tends to bond with people who are already prestigious in their field. Next to the quantitative description by cultural segment, we made a qualitative in-depth reading of eleven covers that represent set group trends. The results indicate that, while instance of legitimation, Bravo! employed specific editorial criteria to choose the person of the cover, adding itself the associated values of those elected, following the logic of personalization. By creating a consecrational space on its front page, the magazine reaffirms the staging of superlative, that articulates the image of the face, the headlines, the title and the publication name as a form to operate the expert.
386

O uso de conhecimento especialista e base de dados na seleção de brocas de perfuração / The use of expert knowledge and data bank for drill bits selection

Mendes, José Ricardo Pelaquim, 1971- 18 February 1998 (has links)
Orientador: Celso Kazuyuki Morooka / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-23T20:08:04Z (GMT). No. of bitstreams: 1 Mendes_JoseRicardoPelaquim_M.pdf: 6979997 bytes, checksum: cb7b7cacbcb91fb76e57ca2cad3585fc (MD5) Previous issue date: 1998 / Resumo: Uma série de trabalhos desenvolvidos com o uso do conceito de Sistemas Inteligentes Distribuídos, criando agentes de raciocínio fornecido por especialistas em diversas áreas do Petróleo, implementadas em um shell específico (Kards), tem vislumbrado um grande potencial do uso desta tecnologia no ramo do Petróleo. Na seleção de brocas para a perfuração de poços de Petróleo, o objetivo é alcançar um mínimo custo métrico, sendo a seleção na prática realizada através de poços de correlação e na própria experiência do engenheiro de perfuração. O uso de métodos analíticos geralmente necessitam de informações expendiosas além de ser uma tarefa árdua devido a complexibilidade do problema. Nesta dissertação é apresentado um método de preservação do conhecimento especializado no processo de seleção de brocas tricônicas através de redes neurais, lógica nebulosa e ferramentas disponíveis no Sistema Kards. Este trabalho serviu de base para arquitetar um Sistema Inteligente para o auxílio de seleção de brocas tricônicas, sendo útil também em termos de treinamento de novos engenheiros / Abstract: A series of works developed using the concept of Distributed Intelligent Systems, creating agents of reasoning provided by experts in several areas of Petroleum, structured in a specific shell (Kards), has glimpsed a great potencial of this technology in Petroleum sector. ln the bit selection to drill oil well, the objective is to obtain a minimum metric cost, being the selection in practice realized using correlation wells and in drilling engineers experience. The use of analytical methods usually needs extensive informations and moreover it is hard job owing to complexity of the problem. ln the thesis is presented a method of preservations of specialized knowledge jn triconics drills selection process using neural nets, fuzzy logic and available tools in the Kards System. This work was a base to construct an lntelligent System for the assistance of triconics drills selection, being also useful to fit to training of engineers / Mestrado / Mestre em Engenharia de Petróleo
387

Desenvolvimento de um sistema de monitoração e diagnóstico utilizando lógica fuzzy aplicado às válvulas de controle de processo do CEA - Centro Experimental de ARAMAR / Development of a system for monitoring and diagnosis using fuzzy logic in control valves of Laboratory Test Equipment of Experimental Center ARAMAR

PORTO JUNIOR, ALMIR C.S. 17 March 2015 (has links)
Submitted by Claudinei Pracidelli (cpracide@ipen.br) on 2015-03-17T10:49:39Z No. of bitstreams: 0 / Made available in DSpace on 2015-03-17T10:49:39Z (GMT). No. of bitstreams: 0 / Considerando a segurança e extensão da vida de uma planta industrial, especificamente das válvulas de controle de processo, o estudo de confiabilidade de componentes é um ponto importante a ser investigado em usinas nucleares e em outras áreas, tais como refinaria ou plataforma de petróleo offshore. O desenvolvimento de monitorização não intrusiva e método de diagnóstico possibilita a identificação de defeitos em componentes da planta durante sua operação normal. O objetivo deste trabalho é apresentar uma análise e diagnóstico de válvulas de controle de uma planta de vapor que simula parte do circuito secundário de um reator de água pressurizada. Esta instalação faz parte do laboratório de testes de equipamentos de propulsão da Marinha do Brasil, em Iperó-SP. A metodologia utilizada no projeto é baseada na análise gráfica de dois parâmetros: a pressão de ar do atuador da válvula e o deslocamento de seu obturador. Estes dados são extraídos por um posicionador inteligente do Sistema de Automação Delta VTM. É implementada uma análise para detecção de anomalias por meio de uma abordagem que utiliza Sistemas Especialistas baseados na Lógica Fuzzy, considerando regras e conhecimento de inteligência artificial (IA). Uma vez que as medidas de base de válvulas de controle são tomadas, é possível detectar sintomas de falha, vazamento, atrito, fricção, danos, etc. O monitoramento e o sistema de diagnóstico foram projetados utilizando o programa MATLAB® versão 2009a com o FUZZY LOGIC TOOLBOX, que é um pacote integrante de subrotinas dedicado à lógica nebulosa. A monitoração e o diagnóstico das válvulas de controle são realizados por meio de uma técnica não-invasiva. Desta maneira, é possível conhecer o real status da válvula. O software ValveLink® (desenvolvido pela empresa EMERSON) recebe sinais do componente de hardware, posicionador inteligente, o qual é instalado ao lado da válvula de controle de processos. Estes sinais (corrente eléctrica) transformados em informação são utilizados como parâmetros de entrada: Pressão de ar do atuador e deslocamento do obturador da válvula. Com o uso da lógica fuzzy, esses parâmetros são interpretados. Eles sofrem inferências por regras escritas por especialistas em válvulas. Após essas inferências, as informações são tratadas e enviadas como sinais de saída. Esses sinais contém a informação de diagnóstico do estado da válvula. / Dissertação (Mestrado em Tecnologia Nuclear) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP
388

Confiança, incertezas e discursos sobre os riscos de colapso de barragem na UHE Itaipu Binacional: o processo de vulnerabilização dos moradores a jusante / Confidence, uncertainties and speeches about dam collapse risk in \"Itaipu Binacional\" hydroelectric power plant: increase of vulnerability for downstream inhabitants

Érico Soriano 13 June 2012 (has links)
Vivemos numa sociedade onde os riscos e as ameaças atingiram elevados níveis de abrangência, assim como de ineditismo, através do surgimento de novos riscos sinérgicos. Para corresponder a essa situação, emergiu uma cultura de segurança, caracterizada pela crença na racionalidade técnica, de base científica. Esta cultura apresenta, como atores reguladores, os chamados sistemas peritos, que gabam de grande confiança por parte expressiva da sociedade, e da autoridade de discursos institucionais com status de inquestionabilidade e infalibilidade. Uma produção social de risco, no Brasil, é a construção de barragens, ilustrado, dentre outros, pelo elevado número de acidentes envolvendo estes empreendimentos. No caso da UHE de Itaipu Binacional, foram analisadas algumas variáveis de risco de colapso da barragem, dentre elas: as de caráter ecossistêmico, considerando, principalmente, a presença e reprodução do mexilhão dourado no lago da UHE; as relacionadas a eventos climáticos críticos, uma vez que os cálculos estruturais das obras civis foram baseados em séries históricas que desconsideraram as mudanças no clima; e, as associados ao terrorismo, considerando a presença de uma comunidade local tida como suspeita, no imaginário social, na região da tríplice fronteira. A partir da síntese do estado da arte no debate das ciências sociais e humanas, analisou-se, as similaridades, diferenças e conflitos entre o discurso institucional de segurança da UHE Itaipu Binacional e o das autoridades públicas, com as representações dos grupos sociais inseridos imediatamente à jusante do empreendimento. / In our society, risks and threats reach high coverage levels, as well as unheard scope, through the combination of different risks. To face this situation, it has been developed a security culture, which is characterized by belief on technical rationality and on scientific basis. This culture presents the expert systems as regulating actors, who receive confidence from most of society, and also shows authority in institutional speeches, claiming a status of undoubted and unfailing system. In Brazil, the construction of dams implies a social risk and a high number of related accidents. Some variables for dam collapse risk in \"Itaipu Binacional\" were analyzed in this work, including ecosystem variables, considering as the main factor the existence and reproduction of golden mussels in the plant reservoir; variables related to critical climatic events, considering that structural calculation for civil construction was based on historical series that do not consider climate changes; and, at least, variables related to terrorism, considering the existence of a supposed suspect local community in the triple border (Brazil, Paraguay, Argentina). From a state-of-art overview on social and human sciences discussion, the similarities, differences and conflicts among \"Itaipu Binacional\" security speech and public authorities\' speeches were analyzed, considering representations of social groups installed in the plant downstream.
389

Goal driven theorem proving using conceptual graphs and Peirce logic

Heaton, John Edward January 1994 (has links)
The thesis describes a rational reconstruction of Sowa's theory of Conceptual Graphs. The reconstruction produces a theory with a firmer logical foundation than was previously the case and which is suitable for computation whilst retaining the expressiveness of the original theory. Also, several areas of incompleteness are addressed. These mainly concern the scope of operations on conceptual graphs of different types but include extensions for logics of higher orders than first order. An important innovation is the placing of negation onto a sound representational basis. A comparison of theorem proving techniques is made from which the principles of theorem proving in Peirce logic are identified. As a result, a set of derived inference rules, suitable for a goal driven approach to theorem proving, is developed from Peirce's beta rules. These derived rules, the first of their kind for Peirce logic and conceptual graphs, allow the development of a novel theorem proving approach which has some similarities to a combined semantic tableau and resolution methodology. With this methodology it is shown that a logically complete yet tractable system is possible. An important result is the identification of domain independent heuristics which follow directly from the methodology. In addition to the theorem prover, an efficient system for the detection of selectional constraint violations is developed. The proof techniques are used to build a working knowledge base system in Prolog which can accept arbitrary statements represented by conceptual graphs and test their semantic and logical consistency against a dynamic knowledge base. The same proof techniques are used to find solutions to arbitrary queries. Since the system is logically complete it can maintain the integrity of its knowledge base and answer queries in a fully automated manner. Thus the system is completely declarative and does not require any programming whatever by a user with the result that all interaction with a user is conversational. Finally, the system is compared with other theorem proving systems which are based upon Conceptual Graphs and conclusions about the effectiveness of the methodology are drawn.
390

Interactive event-based intelligent scheduling.

Zhang, Xiaomei 04 June 2008 (has links)
The present research study will be dedicated to expounding an integrated event-based scheduling model, which model will, in turn, be based on an object-oriented method and a knowledge-based methodology. In order to complete the said model, the integration of vision and scheduling systems has been taken one step further, especially as far as the processing of events, data integration and interface design are concerned. Consequent upon the latter research, three knowledge-based domain schedulers will be expounded as scheduling control mechanisms. For the completion of the integrated scheduling system, scheduling strategies and methods based on general environments have been developed further. A wide knowledge base model will also be introduced. Finally, a case study based on the management and manufacturing environments of Omega Holdings Ltd will be conducted with the help of the proposed new scheduling model. The author hopes that the integrated event-based scheduling system will serve as an effective scheduling system tool for manufacturing and industrial-management environments alike. This thesis comprises three sections, the first of which provides an overview of scheduling literature, including scheduling types, methods and technologies in a manufacturing environment. The first section will also be dedicated to a discussion on current approaches to scheduling and their respective limitations, followed by the introduction of an integrated scheduling model for interactive event-based intelligent scheduling. This will be followed by a detailed function analysis of the model in question, based on its architecture. The second section holds the key to this thesis, as it will be dedicated to a discussion on knowledge-based domain schedulers for interactive scheduling, the implementation of three knowledge-based domain schedulers based on an object-oriented concept and event-based scheduling strategies. Consequent upon this discussion, the model of a wide integrated knowledge base will be developed further. Finally, an interactive event-based intelligent scheduling system will be developed for a dynamic manufacturing environment, whereupon an evaluation of the proposed scheduling tool and system will be effected. A case study undertaken in an existing holding company will then be used to illustrate how to realise interactive event-based intelligent scheduling and how to improve on the management function in a dynamic environment. The thesis will culminate in a summary of the pros and cons of the proposed system. In conclusion, an indication will be given as to possible areas for future research, such as multilayer scheduling in a distributed environment. / Prof. E.M. Ehlers

Page generated in 0.0358 seconds