A Universal Machine for Biform Theory Graphs

Broadly speaking, there are two kinds of semantics-aware assistant systems for mathematics: proof assistants express the semantic in logic and emphasize deduction, and computer algebra systems express the semantics in programming languages and emphasize computation. Combining the complementary strengths of both approaches while mending their complementary weaknesses has been an important goal of the mechanized mathematics community for some time. We pick up on the idea of biform theories and interpret it in the MMTt/OMDoc framework which introduced the foundations-as-theories approach, and can thus represent both logics and programming languages as theories. This yields a formal, modular framework of biform theory graphs which mixes specifications and implementations sharing the module system and typing information. We present automated knowledge management work flows that interface to existing specification/programming tools and enable an OpenMath Machine, that operationalizes biform theories, evaluating expressions by exhaustively applying the implementations of the respective operators. We evaluate the new biform framework by adding implementations to the OpenMath standard content dictionaries.Comment: Conferences on Intelligent Computer Mathematics, CICM 2013 The final publication is available at http://link.springer.com

FUZZY LOGIC CONTROL APPLIED TO A PHOTOVOLTAIC SYSTEM CONNECTED TO CITY NETWORK FOR RESIDENTIAL USE

A simplified topology using power electronics and fuzzy logic control techniques for developing a photovoltaic generation system, at a low cost, to be used in residential systems, connected to the local distribution grid is herein proposed. A technique for determining maximum power points on photovoltaic panels, in order to transfer the powerful generated to the load, is studied, so to impart a minimum energy loss in the whole system. In the fuzzy logic controller development the relevant functions to the input and output photovoltaic system variables and the rules to be used in this controller is established and obtained from other photovoltaic systems, adapted to the system. Simulation results are obtained always focusing maximum power search by a fuzzy logic controller, through intelligent changes into control variables that will carry the work cycle of increasing converter and the inverter bridge. It is shown that while exists solar radiation variation and low voltage available on photovoltaic module, the increasing converter will supply necessary voltage to the inverter bridge operation

Hybrid Intelligent System for Diagnosing Breast Pre-Cancerous and Cancerous Conditions Based on Image Analysis

Modern diagnostic technologies are automated microscopy systems (AMSs). In this research study, the authors analyzed the modern AMS methods and algorithms. Criteria-based comparative analysis of AMS has been made, and their advantages and disadvantages have been identified at the three main levels of image processing. This allowed determining the main direction of such systems development, that is, designing the hybrid intelligent AMS. The work of an expert physician implies visual image interpretation, selection of qualitative features of micro-objects, the formation of diagnostic rules based on expert knowledge, and making diagnoses. Knowledge introduction model contains a productive model, in which knowledge is presented in the form of rules expressed in productive pseudo code if-then. Logic inference machine is a module designed to logically derive the facts and rules from the base according to the laws of formal logic. A set of modern methods and algorithms for low-, mid-, and high-level image processing have been used in the AMS structure

A FRAMEWORK FOR INTELLIGENT VOICE-ENABLED E-EDUCATION SYSTEMS

Although the Internet has received significant attention in recent years, voice is still the most convenient and natural way of communicating between human to human or human to computer. In voice applications, users may have different needs which will require the ability of the system to reason, make decisions, be flexible and adapt to requests during interaction. These needs have placed new requirements in voice application development such as use of advanced models, techniques and methodologies which take into account the needs of different users and environments. The ability of a system to behave close to human reasoning is often mentioned as one of the major requirements for the development of voice applications. In this paper, we present a framework for an intelligent voice-enabled e-Education application and an adaptation of the framework for the development of a prototype Course Registration and Examination (CourseRegExamOnline) module. This study is a preliminary report of an ongoing e-Education project containing the following modules: enrollment, course registration and examination, enquiries/information, messaging/collaboration, e-Learning and library. The CourseRegExamOnline module was developed using VoiceXML for the voice user interface(VUI), PHP for the web user interface (WUI), Apache as the middle-ware and MySQL database as back-end. The system would offer dual access modes using the VUI and WUI. The framework would serve as a reference model for developing voice-based e-Education applications. The e-Education system when fully developed would meet the needs of students who are normal users and those with certain forms of disabilities such as visual impairment, repetitive strain injury (RSI), etc, that make reading and writing difficult

ARDUINO Tutor: An Intelligent Tutoring System for Training on ARDUINO

This paper aims at helping trainees to overcome the difficulties they face when dealing with Arduino platform by describing the design of a desktop based intelligent tutoring system. The main idea of this system is a systematic introduction into the concept of Arduino platform. The system shows the circuit boards of Arduino that can be purchased at low cost or assembled from freely-available plans; and an open-source development environment and library for writing code to control the board topic of Arduino platform. The system is adaptive with the trainee’s individual progress. The system functions as a special tutor who deals with trainees according to their levels and skills. Evaluation of the system has been applied on professional and unprofessional trainees in this field and the results were good

The influencing mechanism of manufacturing scene change on process domain knowledge reuse

It is necessary for a enterprise to reuse outside process domain knowledge to develop intelligent manufacturing technology. The key factors influencing knowledge reuse in digital manufacturing scene are manufacturing activities and PPR (Products, Processes and Resources) related to knowledge modeling, enterprise and integrated systems related to knowledge utilizing. How these factors influence knowledge modeling and utilizing is analyzed. Process domain knowledge reuse across the enterprises consists of knowledge reconfiguration and integrated application with CAx systems. The module-based knowledge model and loosely-coupled integration application of process domain knowledge are proposed. The aircraft sheet metal process domain knowledge reuse is taken as an example, and it shows that the knowledge reuse process can be made flexible and rapid

Improving Prolog programs: Refactoring for Prolog

Refactoring is an established technique from the object-oriented (OO) programming community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. The discrepancy between intended and operational semantics in Prolog is also addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying ViPReSS to a large Prolog legacy system is reported. The main conclusion is that refactoring is both a viable technique in Prolog and a rather desirable one.Comment: To appear in Theory and Practice of Logic Programming (TPLP

Situational reasoning for road driving in an urban environment

Robot navigation in urban environments requires situational reasoning. Given the complexity of the environment and the behavior specified by traffic rules, it is necessary to recognize the current situation to impose the correct traffic rules. In an attempt to manage the complexity of the situational reasoning subsystem, this paper describes a finite state machine model to govern the situational reasoning process. The logic state machine and its interaction with the planning system are discussed. The approach was implemented on Alice, Team Caltech’s entry into the 2007 DARPA Urban Challenge. Results from the qualifying rounds are discussed. The approach is validated and the shortcomings of the implementation are identified