Computers are used for diagnostic and training in the neuropsychological rehabilitation. PLANTEST is a program for the IBM-PC that was developed for diagnostic support. It implements a test that gives information about the reduced ability of brain-injured patients to make plans regarding a certain task.The presented thesis describes a knowledge-based system that can be used to develop new test versions for PLANTEST. The program is called SolvePT and it can prove the solubility of test material used in PLANTEST. It can also automatically generate new test material. The program uses an exhaustive forward-chaining, depth-first search and is implemented in Prolog. The datastructures and algorithm of the program as well as space and time requirements are discussed. / Department of Computer Science

This thesis creates an small expert system that is based on Einstein's special relativity. The basic knowledge of special relativity and the bases for building an expert system are described. The concepts of special relativity are put into a knowledge base by changing the formulas into rules and facts. The Prolog language was used to develop the expert system. New information can be input that does not contradict the rules and facts already in the database. The system also uses computer graphics to demonstrate the physical concepts of relativity. By using this expert system, one can teach the basic knowledge of special relativity and solve some problems related to frames of reference moving with high speed. / Department of Computer Science

This work investigates the use of formal logic as a practical tool for describing the syntax and semantics of a subset of English, and building a computer program to answer data base queries expressed in that subset. To achieve an intimate connection between logical descriptions and computer programs, all the descriptions given are in the definite clause subset of the predicate calculus, which is the basis of the programming language Prolog. The logical descriptions run directly as efficient Prolog programs. Three aspects of the use of logic in natural language analysis are covered: formal representation of syntactic rules by means of a grammar formalism based on logic, extraposition grammars;. formal semantics for the chosen English subset, appropriate for data base queries; informal semantic and pragmatic rules to translate analysed sentences into their formal semantics. On these three aspects, the work improves and extends earlier work by Colmerauer and others, where the use of computational logic in language analysis was first introduced.

If construction is about delivering a built asset that is of high quality and efficiency, wouldn t most companies use all the tools and processes available at the highest organizational level possible? A major assumption is made that Prolog Manager is an effective Project Management Information System. Saying Company X will benefit from more module use with Prolog Manager system is not the same as saying they will suffer from lack of module usage. If a company has already attained success using manual systems it successes may continue. To be as successful as possible, maximum utilization of all modules of Prolog Manager at the unique project type organizational level is necessary, and correlations can be made between higher module usage and greater project successes with this type of company size and structure.

Thesis (M.S.)--University of Texas at El Paso, 2007. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.

Thesis (M.S.)--Rochester Institute of Technology, 1987. / Typescript. Includes bibliographical references (leaves viii-xi).

Thesis (M.S.)--Rochester Institute of Technology, 1994. / Typescript. Includes bibliographical references (leaf 217).

Th. doct.-ing.--Inform.--Toulouse--I.N.P., 1984. N°: 314.

Submitted by Maykon Nascimento (maykon.albani@hotmail.com) on 2015-08-17T20:51:11Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) iMAP um mecanismo de interferência para mapas conceituais.pdf: 3592832 bytes, checksum: 74228f1a39062e8403f7bc245d88e1dc (MD5) / Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2015-08-18T16:17:52Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) iMAP um mecanismo de interferência para mapas conceituais.pdf: 3592832 bytes, checksum: 74228f1a39062e8403f7bc245d88e1dc (MD5) / Made available in DSpace on 2015-08-18T16:17:52Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) iMAP um mecanismo de interferência para mapas conceituais.pdf: 3592832 bytes, checksum: 74228f1a39062e8403f7bc245d88e1dc (MD5) Previous issue date: 2014 / Mapas Conceituais são representações gráficas do conhecimento de uma pessoa num dado momento e área de conhecimento. Por sua natureza investigativa, são utilizados como ferramentas de apoio em abordagens pedagógicas que objetivam promover a aprendizagem significativa. No entanto, o processo de avaliação de um mapa tende a ser custoso pois acarreta uma pesada carga de processamento cognitivo por parte do avaliador, já que este precisa mapear os conceitos e relações em busca de nuances de conhecimento alí presentes. Essa pesquisa tem por objetivo aumentar o nível de abstração nas interações entre o avaliador e os mapas conceituais fornecendo uma camada intermediária de inteligência computacional que favoreça a comunicação por meio de perguntas e respostas em linguagem natural, fornecendo ao avaliador ferramentas que lhe permita examinar o conteúdo do mapa conceitual sem exigir deste o mapeamento visual dos conceitos e relações presentes nos mapas avaliados. Uma ferramenta é prototipada e uma prova de conceito apresentada. A análise da arquitetura proposta permitiu definir uma arquitetura final com características que permitem potencializar o uso de mapas conceituais e facilitar diversas operações pedagógicas com estes. Essa pesquisa situa-se na área de investigação de sistemas de perguntas e resposta, aplicando técnicas de processamento de linguagem natural para análise da pergunta e interpretação do mapa conceitual e aplica técnica de inteligência artificial para inferir respostas às perguntas. / Concept maps are graphical representations of a person’s knowledge at a given time and area of expertise. For his investigative nature, they are used as tools to support pedagogical approaches that aim to promote meaningful learning. However, the maps evaluation process tends to be costly because it causes a heavy load of cognitive processing on the part of the evaluator, since it needs to map out the concepts and relations in order to find nuances of knowledge present there. This research aims to increase the level of abstraction in the interactions between the evaluator and the concept maps by providing an intermediate layer of computational intelligence that favors the communication through questions and answers in natural language, producing tools that allow the evaluator to examine the content of the concept map without requiring the visual mapping of concepts and relations present in the evaluated maps. A tool is prototyped and a proof of concept is presented. The analysis of the proposed architecture has led to the definition of a final architecture with features that allow enhancing the use of concept maps and facilitating various pedagogical applications. This research is dedicated to the investigation of Question Answering Systems, by applying natural language processing techniques to analyze the question and interprete the concept map, as well as applying techniques of artificial intelligence to infer answers to the questions.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:06:40Z (GMT). No. of bitstreams: 1 104270.pdf: 2084538 bytes, checksum: 634e443e7c93d5e37f809792a13add61 (MD5) Previous issue date: 1995 / O crescente desenvolvimento tecnológico na área da eletrônica, tem revolucionado as técnicas e táticas utilizadas na exploração do espectro eletromagnético, como meio de promover a identificação de alvos. Em contra partida, a pesquisa de sistemas que buscam imitar performances humanas, em tarefas que exijam processamentos simbólicos ou classificação de padrões, têm apresentado um notável aumento de interesses por parte da comunidade científica. O desenvolvimento de sistemas que realizam diagnósticos de doenças ou sistemas capazes de promover a identificação de padrões de sons e imagens, dão uma boa idéia do quão é amplo o espectro de problemas solucionáveis por estas abordagens. Uma breve concepção de uma abordagem heurística para a solução deste problema será realizada, de forma que obtenhamos um paralelo conceitual, sobre o qual possamos ressaltar algumas características de um modelo conexionista. Os paradigmas da abordagem conexionista serão conceituados, de forma que, tenhamos o suporte teórico para que um modelo conexionista possa ser concebido. Algumas funções utilizáveis por estes modelos serão simuladas e um circuito capaz de implementá-las analogicamente será sugerido.