Contralog: a Prolog conform forward-chaining environment and its application for dynamic programming and natural language parsing

Directory of Open Access Journals (Sweden)

Kilián Imre

2016-06-01

Full Text Available The backward-chaining inference strategy of Prolog is inefficient for a number of problems. The article proposes Contralog: a Prolog-conform, forward-chaining language and an inference engine that is implemented as a preprocessor-compiler to Prolog. The target model is Prolog, which ensures mutual switching from Contralog to Prolog and back. The Contralog compiler is implemented using Prolog's de facto standardized macro expansion capability. The article goes into details regarding the target model.

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning

2009-01-01

Constraint Handling Rules (CHR) is an extension to Prolog which opens up a  spectrum of hypotheses-based reasoning in logic programs without additional interpretation overhead. Abduction with integrity constraints is one example of hypotheses-based reasoning which can be implemented directly...... in Prolog and CHR with a straightforward use of available and efficiently implemented facilities The present paper clarifies the semantic foundations for this way of doing abduction in CHR and Prolog as well as other examples  of hypotheses-based reasoning that is possible, including assumptive logic...

Prologis Rolls Out Warehouse Energy Retrofits

Energy Technology Data Exchange (ETDEWEB)

None

2013-03-01

Prologis partnered with the U.S. Department of Energy (DOE) to develop and implement solutions to retrofit existing buildings to reduce annual energy consumption by at least 30% versus pre-retrofit energy use as part of DOE’s Commercial Building Partnership (CBP) program.

Use of a FORTH-based PROLOG for real-time expert systems. 1: Spacelab life sciences experiment application

Science.gov (United States)

Paloski, William H.; Odette, Louis L.; Krever, Alfred J.; West, Allison K.

1987-01-01

A real-time expert system is being developed to serve as the astronaut interface for a series of Spacelab vestibular experiments. This expert system is written in a version of Prolog that is itself written in Forth. The Prolog contains a predicate that can be used to execute Forth definitions; thus, the Forth becomes an embedded real-time operating system within the Prolog programming environment. The expert system consists of a data base containing detailed operational instructions for each experiment, a rule base containing Prolog clauses used to determine the next step in an experiment sequence, and a procedure base containing Prolog goals formed from real-time routines coded in Forth. In this paper, we demonstrate and describe the techniques and considerations used to develop this real-time expert system, and we conclude that Forth-based Prolog provides a viable implementation vehicle for this and similar applications.

Prolog as description and implementation language in computer science teaching

DEFF Research Database (Denmark)

Christiansen, Henning

population with uneven mathematical backgrounds. % Definitional interpreters, compilers, and other models of computation are defined in a systematic way as Prolog programs, and as a result, formal descriptions become running prototypes that can be tested and modified by the students. These programs can......Prolog is a powerful pedagogical instrument for theoretical elements of computer science when used as combined description language and experimentation tool. A teaching methodology based on this principle has been developed and successfully applied in a context with a heterogeneous student...

PROLOG to the Future: A Glimpse of Things to Come in Artificial Intelligence.

Science.gov (United States)

Herther, Nancy K.

1986-01-01

Briefly introduces the programming languages of artificial intelligence and presents information on some of the new versions of these languages available for microcomputers. A tutorial for PROLOG-86, a new microcomputer version of PROLOG, is given. Information on other microcomputer versions of these programs and a bibliography are included.…

An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

Directory of Open Access Journals (Sweden)

Li Guoqi

2014-12-01

Full Text Available Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.

PROLOG language application for alarm system realization in accelerator control

International Nuclear Information System (INIS)

Frolov, I.; Vaguine, A.; Abe, I.; Nakahara, K.; Furukawa, K.; Kamikubota, N.

1994-01-01

Such PROLOG features as backtracking, matching and recursive data representation are powerful tools for ALARM system realization. Although the main idea is the possibility to describe some technical system in recursive form, backtracking and matching are ideal for processing recursive data structures. This paper represents a technique which would allow PROLOG language application for ALARM system realization using an example of the KEK LINAC magnet system. The technique is based on an object-oriented internal data representation in terms of objects, properties, relations and knowledge conception. In addition, each property value is characterized by a typical 'time life'. (author)

Extending the Finite Domain Solver of GNU Prolog

NARCIS (Netherlands)

Bloemen, Vincent; Diaz, Daniel; van der Bijl, Machiel; Abreu, Salvador; Ströder, Thomas; Swift, Terrance

This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to

Declarative programming in PROLOG

Directory of Open Access Journals (Sweden)

Felician ALECU

2014-03-01

Full Text Available The declarative programming by declarative languages is clearly the best option a programmer can have for a completely readable, flexible and extensible code. Today, the economics of programming is clearly focused on the declarative paradigm while most imperative languages are trying to become cost effective by using new added declarative features for productivity and ease of use, like the Java 8. This paper tries to demonstrate a declarative language like PROLOG is perfectly suitable to be used to solve even common programming issue, like deciding an element is part of an array or not.

A Different Kind of Language: Prolog, Programming in Logic.

Science.gov (United States)

Cabrol, D.

1986-01-01

Prolog is one of the most successful "very high level languages." Describes this programming language (a product of artificial intelligence research) and attempts to show how it functions by using some short examples to illustrate its essential features. (JN)

SOFTM: a software maintenance expert system in Prolog

DEFF Research Database (Denmark)

Pau, L.; Negret, J. M.

1988-01-01

A description is given of a knowledge-based system called SOFTM, serving the following purposes: (1) assisting a software programmer or analyst in his application code maintenance tasks, (2) generating and updating automatically software correction documentation, (3) helping the end user register......, and on interfacing capabilities of Prolog II to a variety of other languages...

Towards Just-In-Time Partial Evaluation of Prolog

Science.gov (United States)

Bolz, Carl Friedrich; Leuschel, Michael; Rigo, Armin

We introduce a just-in-time specializer for Prolog. Just-in-time specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time (JIT) compilation. It is a variant of PE that occurs purely at runtime, which lazily generates residual code and is constantly driven by runtime feedback.

Artificial Intelligence in a German Adventure Game: Spion in PROLOG.

Science.gov (United States)

Molla, Steven R.; And Others

1988-01-01

Spion, an adventure game for intermediate and advanced college German students, requires players to communicate with a fictitious agent in complete, correct German sentences. The spy game was written in PROLOG, runs on an IBM-PC, and is available at no cost for noncommercial purposes. (Author/CB)

The security analyzer: A security analyzer program written in Prolog

International Nuclear Information System (INIS)

Zimmerman, B.D.; Densley, P.J.

1986-09-01

The Security Analyzer is a software tool capable of analyzing the effectiveness of a facility's security system. It is written in the Prolog logic programming computer language, using entity-relationship data modeling techniques. The program performs the following functions: (1) provides descriptive, locational and operational status information about intrusion detectors and assessment devices (i.e., ''sensors'' and ''cameras'') upon request; (2) provides for storage and retrieval of maintenance history information for various components of the security system (including intrusion detectors), and allows for changing that information as desired; (3) provides a ''search'' mode, wherein all paths are found from any specified physical location to another specified location which satisfy user chosen ''intruder detection'' probability and elapsed time criteria (i.e., the program finds the ''weakest paths'' from a security point of view). The first two of these functions can be provided fairly easily with a conventional database program; the third function could be provided using Fortran or some similar language, though with substantial difficulty. In the Security Analyzer program, all these functions are provided in a simple and straight-forward manner. This simplicity is possible because the program is written in the symbolic (as opposed to numeric) processing language Prolog, and because the knowledge base is structured according to entity-relationship modeling principles. Also, the use of Prolog and the entity-relationship modeling technique allows the capabilities of the Security analyzer program, both for knowledge base interrogation and for searching-type operations, to be easily expanded in ways that would be very difficult for a numeric and more algorithmically deterministic language such as Fortran to duplicate. 4 refs

The security system analyzer: An application of the Prolog language

International Nuclear Information System (INIS)

Zimmerman, B.D.; Seeman, S.E.

1986-01-01

The Prolog programming language and entity-relationship modeling techniques were used to demonstrate a methodology for security system applications. A knowledge base was built that consists of statements modeling a generic building and surrounding area, including security fences and intrusion detectors (sensors and TV cameras). Declarative Prolog statements have the capability to use the knowledge base information in a routine manner to provide descriptive information about sensors, to dynamically update the knowledge base to provide on-line recording of changes in detector status or maintenance history, and to analyze the configuration of the building, surrounding area, and intrusion detector layout and current operability status in order to determine all the pathways from one specified point to another specified point which result in the detection probability being less than some specified value (i.e., find the ''weakest paths''). This ''search'' capability, which is the heart of the SECURITY program, allows the program to perform a CAD (computer aided design) function, and to provide a real-time security degradation analysis if intrusion detectors become inoperable. 2 refs., 3 figs

Natural language computing an English generative grammar in Prolog

CERN Document Server

Dougherty, Ray C

2013-01-01

This book's main goal is to show readers how to use the linguistic theory of Noam Chomsky, called Universal Grammar, to represent English, French, and German on a computer using the Prolog computer language. In so doing, it presents a follow-the-dots approach to natural language processing, linguistic theory, artificial intelligence, and expert systems. The basic idea is to introduce meaningful answers to significant problems involved in representing human language data on a computer. The book offers a hands-on approach to anyone who wishes to gain a perspective on natural language

A nuclear facility Security Analyzer written in Prolog

International Nuclear Information System (INIS)

Zimmerman, B.D.

1987-01-01

The Security Analyzer project was undertaken to use the Prolog artificial intelligence programming language and Entity-Relationship database construction techniques to produce an intelligent database computer program capable of analyzing the effectiveness of a nuclear facility's security systems. The Security Analyzer program can search through a facility to find all possible surreptitious entry paths that meet various user-selected time and detection probability criteria. The program can also respond to user-formulated queries concerning the database information. The intelligent database approach allows the program to perform a more comprehensive path search than other programs that only find a single optimal path. The program also is more flexible in that the database, once constructed, can be interrogated and used for purposes independent of the searching function

A nuclear facility Security Analyzer written in PROLOG

International Nuclear Information System (INIS)

Zimmerman, B.D.

1987-08-01

The Security Analyzer project was undertaken to use the Prolog ''artificial intelligence'' programming language and Entity-Relationship database construction techniques to produce an intelligent database computer program capable of analyzing the effectiveness of a nuclear facility's security systems. The Security Analyzer program can search through a facility to find all possible surreptitious entry paths that meet various user-selected time and detection probability criteria. The program can also respond to user-formulated queries concerning the database information. The intelligent database approach allows the program to perform a more comprehensive path search than other programs that only find a single ''optimal'' path. The program also is more flexible in that the database, once constructed, can be interrogated and used for purposes independent of the searching function

WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation

Science.gov (United States)

Boley, Harold; Osmun, Taylor Michael; Craig, Benjamin Larry

An interoperation study, WellnessRules, is described, where rules about wellness opportunities are created by participants in rule languages such as Prolog and N3, and translated within a wellness community using RuleML/XML. The wellness rules are centered around participants, as profiles, encoding knowledge about their activities conditional on the season, the time-of-day, the weather, etc. This distributed knowledge base extends FOAF profiles with a vocabulary and rules about wellness group networking. The communication between participants is organized through Rule Responder, permitting wellness-profile translation and distributed querying across engines. WellnessRules interoperates between rules and queries in the relational (Datalog) paradigm of the pure-Prolog subset of POSL and in the frame (F-logic) paradigm of N3. An evaluation of Rule Responder instantiated for WellnessRules revealed acceptable Web response times.

An on-line gas control system using an artificial intelligence language: PROLOG II

International Nuclear Information System (INIS)

Lai, C.

1990-01-01

An application of Artificial Intelligence to a real physics experiment is presented. This allows comparison with classical programming techniques. The PROLOG language appears as a convenient on-line language, easily interfaced to the low level service routines, for which algorithmic languages can still be used. Steering modules have been written for a gas acquisition and analysis program, and for a control system with graphic human interface. This system includes safety rules and automatic action sequences

The security analyzer, a security analyzer program written in Prolog

International Nuclear Information System (INIS)

Zimmerman, B.D.; Densley, P.J.; Carlson, R.L.

1987-01-01

A technique has been developed to characterize a nuclear facility and measure the strengths and weaknesses of the physical protection system. It utilizes the artificial intelligence capabilities available in the prolog programming language to probe a facility's defenses and find potential attack paths that meet designated search criteria. As sensors or barriers become inactive due to maintenance, failure, or inclement weather conditions, the protection system can rapidly be reanalyzed to discover weaknesses that would need to be strengthened by alternative means. Conversely, proposed upgrades and enhancements can be easily entered into the database and their effect measured against a variety of potential adversary attacks. Thus the security analyzer is a tool that aids the protection planner as well as the protection operations staff

Adding Concrete Syntax to a Prolog-Based Program Synthesis System

Science.gov (United States)

Fischer, Bernd; Visser, Eelco

2003-01-01

Program generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.

A feasibility Study: The Succinct Solver v2.0, XSB Prolog v2.6, and Flow-Logic Based Program Analysis for Carmel

DEFF Research Database (Denmark)

Pilegaard, Henrik

2003-01-01

We perform a direct comparison of the {Succinct Solver v2.0} and {XSB Prolog v2.6} based on experiments with {Control Flow Analyses} of scalable {Discretionary Ambient programs} and {Carmel programs}. To facilitate this comparison we expand ALFP clauses accepted by the Succinct Solver into more g...

Designing a nuclear data base prototype using Oracle and Prolog

International Nuclear Information System (INIS)

Paviotti-Corcuera, R.; Ford, C.E.; Perez, R.B.

1988-11-01

An ever-increasing demand exists for easily accessible nuclear data base systems. The purpose of this work is to analyze the feasibility of using artificial intelligence methods as tools to provide the necessary functionality to extract information from nuclear data files in a user-friendly manner. For the prototype of this work, a sample of data that can be later enlarged to a complete, evaluated nuclear data base has been used. To implement this prototype, two approaches have been followed: a conventional approach using the commercially available Oracle relational data base management system; and an artificial intelligence approach using the Prolog programming language. This prototypic work shows the feasibility of applying artificial intelligence methods to data bases, and represents a first step toward development of intelligent nuclear data base systems. The characteristics of the query language from both approaches make the second one preferable from a user's point of view. 23 refs., 7 tabs

Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts

Directory of Open Access Journals (Sweden)

Falco Nogatz

2017-01-01

Full Text Available The methods to access large relational databases in a distributed system are well established: the relational query language SQL often serves as a language for data access and manipulation, and in addition public interfaces are exposed using communication protocols like REST. Similarly to REST, GraphQL is the query protocol of an application layer developed by Facebook. It provides a unified interface between the client and the server for data fetching and manipulation. Using GraphQL's type system, it is possible to specify data handling of various sources and to combine, e.g., relational with NoSQL databases. In contrast to REST, GraphQL provides a single API endpoint and supports flexible queries over linked data. GraphQL can also be used as an interface for deductive databases. In this paper, we give an introduction of GraphQL and a comparison to REST. Using language features recently added to SWI-Prolog 7, we have developed the Prolog library GraphQL.pl, which implements the GraphQL type system and query syntax as a domain-specific language with the help of definite clause grammars (DCG, quasi quotations, and dicts. Using our library, the type system created for a deductive database can be validated, while the query system provides a unified interface for data access and introspection.

Diagnosing battery behavior with an expert system in Prolog

International Nuclear Information System (INIS)

Kirkwood, N.; Weeks, D.J.

1986-01-01

Power for the Hubble Space Telescope comes from a system of 20 solar panel assemblies (SPAs) and six nickel-cadmium batteries. The HST battery system is simulated by the HST Electrical Power System (EPS) testbed at Marshall Space Flight Center. The Nickel Cadmium Battery Expert System (NICBES) is being used to diagnose faults of the testbed system, evaluate battery status and provide decision support for the engineer. Extensive telemetry of system operating conditions is relayed through a DEC LSI-11, and sent on to an IBM PC-AT. A BASIC program running on the PC monitors the flow of data, figures cell divergence and recharge ratio and stores these values, along with other selected data, for use by the expert system. The expert system is implemented in the logic programming language Prolog. It has three modes of operation: fault diagnosis, status and advice, and decision support. An alert or failure of the system will trigger a diagnosis by the system to assist the operator. The operator can also request battery status information as well as a number of plots and histograms of recent battery behavior. Trends in EOC and EOD voltage, recharge ratio and divergence are used by the expert system in its analysis of battery status. A future enhancement to the system includes the statistical prediction of battery life. Incorporating learning into the expert system is another possible enhancement; This is a difficult task, but one which could promise great rewards in improved battery performance

Verification of computer system PROLOG - software tool for rapid assessments of consequences of short-term radioactive releases to the atmosphere

Energy Technology Data Exchange (ETDEWEB)

Kiselev, Alexey A.; Krylov, Alexey L.; Bogatov, Sergey A. [Nuclear Safety Institute (IBRAE), Bolshaya Tulskaya st. 52, 115191, Moscow (Russian Federation)

2014-07-01

In case of nuclear and radiation accidents emergency response authorities require a tool for rapid assessments of possible consequences. One of the most significant problems is lack of data on initial state of an accident. The lack can be especially critical in case the accident occurred in a location that was not thoroughly studied beforehand (during transportation of radioactive materials for example). One of possible solutions is the hybrid method when a model that enables rapid assessments with the use of reasonable minimum of input data is used conjointly with an observed data that can be collected shortly after accidents. The model is used to estimate parameters of the source and uncertain meteorological parameters on the base of some observed data. For example, field of fallout density can be observed and measured within hours after an accident. After that the same model with the use of estimated parameters is used to assess doses and necessity of recommended and mandatory countermeasures. The computer system PROLOG was designed to solve the problem. It is based on the widely used Gaussian model. The standard Gaussian model is supplemented with several sub-models that allow to take into account: polydisperse aerosols, aerodynamic shade from buildings in the vicinity of the place of accident, terrain orography, initial size of the radioactive cloud, effective height of the release, influence of countermeasures on the doses of radioactive exposure of humans. It uses modern GIS technologies and can use web map services. To verify ability of PROLOG to solve the problem it is necessary to test its ability to assess necessary parameters of real accidents in the past. Verification of the computer system on the data of Chazhma Bay accident (Russian Far East, 1985) was published previously. In this work verification was implemented on the base of observed contamination from the Kyshtym disaster (PA Mayak, 1957) and the Tomsk accident (1993). Observations of Sr-90

Goethe e Brecht em diálogo

Directory of Open Access Journals (Sweden)

Eloa Heise

2008-11-01

Full Text Available The purpose of this paper is to compare two prologs, namely ‘Prolog im Himmel’ in Faust I and the prolog in Der gute Mensch von Sezuan by Brecht. The comparative analysis of the two texts provides evidence to state that Brecht produces a parody of Goethe´s prolog. This procedure is interpreted here as a feature of 20th century literature. Intertextuality and recreation are seen as a way to characterize a shapeless present and are approached by drawing an analogy and critically comparing and contrasting Brecht’s prolog to a literary masterpiece. 

Procedural and Logic Programming: A Comparison.

Science.gov (United States)

Watkins, Will; And Others

1988-01-01

Examines the similarities and fundamental differences between procedural programing and logic programing by comparing LogoWriter and PROLOG. Suggests that PROLOG may be a good first programing language for students to learn. (MVL)

The Space package: Tight Integration Between Space and Semantics

NARCIS (Netherlands)

van Hage, W.R.; Wielemaker, J.; Schreiber, A.Th.

2010-01-01

Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides spatial indexing capabilities. Together with the existing semantic web reasoning capabilities of SWI-Prolog, this allows

Discrete simulation system based on artificial intelligence methods

Energy Technology Data Exchange (ETDEWEB)

Futo, I; Szeredi, J

1982-01-01

A discrete event simulation system based on the AI language Prolog is presented. The system called t-Prolog extends the traditional possibilities of simulation languages toward automatic problem solving by using backtrack in time and automatic model modification depending on logical deductions. As t-Prolog is an interactive tool, the user has the possibility to interrupt the simulation run to modify the model or to force it to return to a previous state for trying possible alternatives. It admits the construction of goal-oriented or goal-seeking models with variable structure. Models are defined in a restricted version of the first order predicate calculus using Horn clauses. 21 references.

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments

DEFF Research Database (Denmark)

Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar

2013-01-01

of practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress...

Implementing embedded artificial intelligence rules within algorithmic programming languages

Science.gov (United States)

Feyock, Stefan

1988-01-01

Most integrations of artificial intelligence (AI) capabilities with non-AI (usually FORTRAN-based) application programs require the latter to execute separately to run as a subprogram or, at best, as a coroutine, of the AI system. In many cases, this organization is unacceptable; instead, the requirement is for an AI facility that runs in embedded mode; i.e., is called as subprogram by the application program. The design and implementation of a Prolog-based AI capability that can be invoked in embedded mode are described. The significance of this system is twofold: Provision of Prolog-based symbol-manipulation and deduction facilities makes a powerful symbolic reasoning mechanism available to applications programs written in non-AI languages. The power of the deductive and non-procedural descriptive capabilities of Prolog, which allow the user to describe the problem to be solved, rather than the solution, is to a large extent vitiated by the absence of the standard control structures provided by other languages. Embedding invocations of Prolog rule bases in programs written in non-AI languages makes it possible to put Prolog calls inside DO loops and similar control constructs. The resulting merger of non-AI and AI languages thus results in a symbiotic system in which the advantages of both programming systems are retained, and their deficiencies largely remedied.

Experimental functional realization of attribute grammar system

Directory of Open Access Journals (Sweden)

I. Attali

2002-07-01

Full Text Available In this paper we present an experimental functional realization of attribute grammar(AG system for personal computers. For AG system functioning only Turbo Prolog compiler is required. The system functioning is based on a specially elaborated metalanguage for AG description, universal syntactic and semantic constructors. The AG system provides automatic generation of target compiler (syntax--oriented software using Turbo Prolog as object language.

Some Competition Programming Problems as the Beginning of Artificial Intelligence

OpenAIRE

Boris MELNIKOV; Elena MELNIKOVA

2007-01-01

We consider in this paper some programming competition problems (which are near to some problems of ACM competitions) of the following subjects: we can make their solution using both Prolog and a classical procedure-oriented language. Moreover, the considered problems are selected that their solution in Prolog and in a classical procedure-oriented language are similar - i.e., in other words, they use the same working mechanism, the same approach to constructing recursive functions etc. Howeve...

From Interpreter to Logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2003-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

From Interpreter to Logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2004-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

From Interpreter to logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2003-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

BioMake: a GNU make-compatible utility for declarative workflow management.

Science.gov (United States)

Holmes, Ian H; Mungall, Christopher J

2017-11-01

The Unix 'make' program is widely used in bioinformatics pipelines, but suffers from problems that limit its application to large analysis datasets. These include reliance on file modification times to determine whether a target is stale, lack of support for parallel execution on clusters, and restricted flexibility to extend the underlying logic program. We present BioMake, a make-like utility that is compatible with most features of GNU Make and adds support for popular cluster-based job-queue engines, MD5 signatures as an alternative to timestamps, and logic programming extensions in Prolog. BioMake is available for MacOSX and Linux systems from https://github.com/evoldoers/biomake under the BSD3 license. The only dependency is SWI-Prolog (version 7), available from http://www.swi-prolog.org/. ihholmes + biomake@gmail.com or cmungall + biomake@gmail.com. Feature table comparing BioMake to similar tools. Supplementary data are available at Bioinformatics online. © The Author (2017). Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oup.com

Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

Science.gov (United States)

Fischer, Bernd; Visser, Eelco

2004-01-01

AutoBayes is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. i.e., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, AutoBayes is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain. In this paper we describe how AutoBayes is retrofitted with concrete syntax. We show how it is integrated into Prolog and describe how the seamless interaction of concrete syntax fragments with AutoBayes's remaining legacy meta-programming kernel based on abstract syntax is achieved. We apply the approach to gradually mitigate individual schemas without forcing a disruptive migration of the entire system to a different First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments.

SWISH: SWI-Prolog for Sharing

NARCIS (Netherlands)

Wielemaker, Jan; Lager, Torbjörn; Riguzzi, Fabrizio; Ellmauthaler, Stefan; Schulz, Claudia

2015-01-01

Recently, we see a new type of interfaces for programmers based on web technology. For example, JSFiddle, IPython Notebook and R-studio. Web technology enables cloud-based solutions, embedding in tutorial web pages, attractive rendering of results, web-scale cooperative development, etc. This

Expert system development (ESD) shell

International Nuclear Information System (INIS)

Padmini, S.; Diwakar, M.P.; Rathode, N.C.; Bairi, B.R.

1991-01-01

An Expert System Development (ESD) Shell design implementation is desribed in detail. The shell provides high-level generic facilities for Knowledge Representation (KR) and inferencing and tools for developing user interfaces. Powerful set of tools in the shell relieves much of the programming burden in the ES development. The shell is written in PROLOG under IBM PC/AT. KR facilities are based on two very powerful formalisms namely, frames and rules. Inference Engine (IE) draws most of its power from unification and backward reasoning strategy in PROLOG. This basic mechanism is enhanced further by incorporating both forward and backward chaining of rules and frame-based inferencing. Overall programming style integrates multiple paradigms including logic, object oriented, access-oriented and imperative programming. This permits ES designer a lot of flexibility in organizing inference control. Creation and maintainance of knowledge base is a major activity. The shell, therefore, provides number of facilities to simplify these tasks. Shell design also takes note of the fact that final success of any system depends on end-user satisfaction and hence provides features to build use-friendly interfaces. The shell also provides a set of interfacing predicates so that it can be embedded within any PROLOG program to incorporate functionalilty of the shell in the user program. (author). 10 refs., 8 figs

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

DEFF Research Database (Denmark)

Christiansen, Henning; Dahl, Veronica

2005-01-01

We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars. The lan......We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars....... The language shows a novel flexibility in the interaction between the different paradigms, including all additional built-in predicates and constraints solvers that may be available. Assumptions and abduction are especially useful for language processing, and we can show how HYPROLOG works seamlessly together...

Service Brokerage with Prolog (Poster paper)

NARCIS (Netherlands)

Chong, C.N.; Etalle, Sandro; Hartel, Pieter H.; Joosten, Rieks; Kleinhuis, Geert; Seruca, I.; Cordeiro, J.

Inter-library loan involves interaction among a dynamic number of digital libraries and users. Therefore, inter-library service management is complex. We need to handle different and conflicting requirements of services from the digital libraries and users. To resolve this problem, we present the

Contour tracking and corner detection in a logic programming environment

DEFF Research Database (Denmark)

Bell, Benjamin; Pau, L. F.

1990-01-01

The added functionality such as contour tracking and corner detection which logic programming lends to standard image operators is described. An environment for implementing low-level imaging operations with Prolog predicates is considered. Within this environment, higher-level image predicates (...

Dicty_cDB: SSJ683 [Dicty_cDB

Lifescience Database Archive (English)

Full Text Available ha balearica EST, clone Timarcha4E2. 44 4e-10 3 AJ235271 |AJ235271.1 Rickettsia pro...logy vs DNA Score E Sequences producing significant alignments: (bits) Value N AJ537862 |AJ537862.1 Timarc

From Interpreter to Logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2004-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

From Interpreter to Logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2003-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

Experiences and directions for Abduction and Induction using Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning

2005-01-01

Techniques for doing abduction in a combination of Prolog and Constraint Handling Rules (CHR) are reviewed, and the possible extension to combine with induction is considered. While the indicated implementation for abduction is very efficient, the ideas for induction are at a much more experimental...

The concept of aging in ayurveda.

Science.gov (United States)

Dwivedi, K K; Paul, M; Behere, P B; Singh, R H

1993-01-01

The present study reveals that the process of aging was elaborately described in Ayurveda. In order to prology the life span and to promote longevity a separate discipline called Rasayana Tantra was also developed. The sailent feature of this discipline are described in this article.

Proving deadlock freedom of logic programs with dynamic scheduling

NARCIS (Netherlands)

E. Marchiori; F. Teusink (Frank)

1996-01-01

textabstractIn increasingly many logic programming systems, the Prolog left to right selection rule has been replaced with dynamic selection rules, that select an atom of a query among those satisfying suitable conditions. These conditions describe the form of the arguments of every program

SWISH DataLab: A Web Interface for Data Exploration and Analysis

NARCIS (Netherlands)

T. Bogaard (Tessel); J. Wielemaker (Jan); L. Hollink (Laura); J.R. van Ossenbruggen (Jacco)

2017-01-01

textabstractSWISH DataLab is a single integrated collaborative environment for data processing, exploration and analysis combining Prolog and R. The web interface makes it possible to share the data, the code of all processing steps and the results among researchers; and a versioning system

Evaluating bacterial gene-finding HMM structures as probabilistic logic programs

DEFF Research Database (Denmark)

Mørk, Søren; Holmes, Ian

2012-01-01

, a probabilistic dialect of Prolog. Results: We evaluate Hidden Markov Model structures for bacterial protein-coding gene potential, including a simple null model structure, three structures based on existing bacterial gene finders and two novel model structures. We test standard versions as well as ADPH length...

Integrating Syntax, Semantics, and Discourse DARPA Natural Language Understanding Program. Volume 2. Appendices.

Science.gov (United States)

1987-05-14

Memo No. 43, Paoli Reserach Center, System Development Corporation, 1986. L. Hiuuchman ad K. Puder, Restriction Grammar in Prolog. In Pr... of as...causes and results of SAC failures. 3. METHODOLOGY The essential feature of our parser which facilitates the collecting of syntactic patterns is the

Using Vector and Extended Boolean Matching in an Expert System for Selecting Foster Homes.

Science.gov (United States)

Fox, Edward A.; Winett, Sheila G.

1990-01-01

Describes FOCES (Foster Care Expert System), a prototype expert system for choosing foster care placements for children which integrates information retrieval techniques with artificial intelligence. The use of prototypes and queries in Prolog routines, extended Boolean matching, and vector correlation are explained, as well as evaluation by…

Finding Deadlocks of Event-B Models by Constraint Solving

DEFF Research Database (Denmark)

Hallerstede, Stefan; Leuschel, Michael

we propose a constraint-based approach to nding deadlocks employing the ProB constraint solver to nd values for the constants and variables of formal models that describe a deadlocking state. We discuss the principles of the technique implemented in ProB's Prolog kernel and present some results...

Programming Languages or Generic Software Tools, for Beginners' Courses in Computer Literacy?

Science.gov (United States)

Neuwirth, Erich

1987-01-01

Discussion of methods that can be used to teach beginner courses in computer literacy focuses on students aged 10-12. The value of using a programing language versus using a generic software package is highlighted; Logo and Prolog are reviewed; and the use of databases is discussed. (LRW)

Logic Programming for Linguistics

DEFF Research Database (Denmark)

Christiansen, Henning

2010-01-01

This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...

Automatic incrementalization of Prolog based static analyses

DEFF Research Database (Denmark)

Eichberg, Michael; Kahl, Matthias; Saha, Diptikalyan

2007-01-01

Modem development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in this context. We present an approach to automatic incrementalization of analyses that are specified as tabled logic...... programs and evaluated using incremental tabled evaluation, a technique for efficiently updating memo tables in response to changes in facts and rules. The approach has been implemented and integrated into the Eclipse IDE. Our measurements show that this technique is effective for automatically...

Automatic incrementalization of Prolog based static analyses

DEFF Research Database (Denmark)

Eichberg, Michael; Kahl, Matthias; Saha, Diptikalyan

2007-01-01

Modem development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in this context. We present an approach to automatic incrementalization of analyses that are specified as tabled logic prog...

Op og ned

DEFF Research Database (Denmark)

2015-01-01

Prolog Her i 2014 færdiggøres to udsmykninger af Michael Mørk. Det ene er integreret i ny bygning til Københavns Universitet, og den anden er transformationen af den eksisterende udsmykning på Regionshospital Randers. Holdes de to projekter op mod hinanden, viser der sig tre problemstillinger, der...

Applications of artificial intelligence in engineering problems

Energy Technology Data Exchange (ETDEWEB)

Sriram, D; Adey, R

1986-01-01

This book presents the papers given at a conference on the use of artificial intelligence in engineering. Topics considered at the conference included Prolog logic, expert systems, knowledge representation and acquisition, knowledge bases, machine learning, robotics, least-square algorithms, vision systems for robots, natural language, probability, mechanical engineering, civil engineering, and electrical engineering.

Machine intelligence and knowledge bases

Energy Technology Data Exchange (ETDEWEB)

Furukawa, K

1981-09-01

The basic functions necessary in machine intelligence are a knowledge base and a logic programming language such as PROLOG using deductive reasoning. Recently inductive reasoning based on meta knowledge and default reasoning have been developed. The creative thought model of Lenit is reviewed and the concept of knowledge engineering is introduced. 17 references.

Teaching and Learning Logic Programming in Virtual Worlds Using Interactive Microworld Representations

Science.gov (United States)

Vosinakis, Spyros; Anastassakis, George; Koutsabasis, Panayiotis

2018-01-01

Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp. The limited availability of visual teaching aids for LP can lead to low motivation for learning. In this paper, we present a platform for teaching and learning Prolog in Virtual Worlds, which enables the visual interpretation and…

ANALOGICAL REASONING USING TRANSFORMATIONS OF RULES

OpenAIRE

Haraguchi, Makoto; 原口, 誠

1986-01-01

A formalism of analogical reasoning is presented. The analogical reasoning can be considered as a deduction with a function of transforming logical rules. From this viewpoint, the reasoning is defined in terms of deduction, and is therefore realized in a logic programming system. The reasoning system is described as an extension of Prolog interpreter.

Automated knowledge-base refinement

Science.gov (United States)

Mooney, Raymond J.

1994-01-01

Over the last several years, we have developed several systems for automatically refining incomplete and incorrect knowledge bases. These systems are given an imperfect rule base and a set of training examples and minimally modify the knowledge base to make it consistent with the examples. One of our most recent systems, FORTE, revises first-order Horn-clause knowledge bases. This system can be viewed as automatically debugging Prolog programs based on examples of correct and incorrect I/O pairs. In fact, we have already used the system to debug simple Prolog programs written by students in a programming language course. FORTE has also been used to automatically induce and revise qualitative models of several continuous dynamic devices from qualitative behavior traces. For example, it has been used to induce and revise a qualitative model of a portion of the Reaction Control System (RCS) of the NASA Space Shuttle. By fitting a correct model of this portion of the RCS to simulated qualitative data from a faulty system, FORTE was also able to correctly diagnose simple faults in this system.

Sintaxe X-barra: uma aplicação computacional

Directory of Open Access Journals (Sweden)

Gabriel de Ávila Othero

2009-04-01

Full Text Available http://dx.doi.org/10.5007/1984-8420.2008v9nespp15 Neste trabalho, apresentaremos uma aplicação computacional da teoria X-barra (cf. HAEGEMAN, 1994; MIOTO et al., 2004, através do programa Grammar Play, um parser sintático em Prolog. O Grammar Play analisa sentenças declarativas simples do português brasileiro, identificando sua estrutura de constituintes. Sua gramática é implementada em Prolog, com o recurso das DCGs, e é baseada nos moldes propostos pela teoria X-barra. O parser é uma primeira tentativa de expandir a cobertura de analisadores semelhantes, como o esboçado em Pagani (2004 e Othero (2004. Os objetivos que guiam a presente versão do Grammar Play são o de implementar computacionalmente modelos lingüísticos coerentes aplicados à descrição do português e o de criar uma ferramenta computacional que possa ser usada didaticamente em aulas de introdução à sintaxe e lingüística, por exemplo.

ALICE Expert System

CERN Document Server

Ionita, C

2014-01-01

The ALICE experiment at CERN employs a number of human operators (shifters), who have to make sure that the experiment is always in a state compatible with taking Physics data. Given the complexity of the system and the myriad of errors that can arise, this is not always a trivial task. The aim of this paper is to describe an expert system that is capable of assisting human shifters in the ALICE control room. The system diagnoses potential issues and attempts to make smart recommendations for troubleshooting. At its core, a Prolog engine infers whether a Physics or a technical run can be started based on the current state of the underlying sub-systems. A separate C++ component queries certain SMI objects and stores their state as facts in a Prolog knowledge base. By mining the data stored in dierent system logs, the expert system can also diagnose errors arising during a run. Currently the system is used by the on-call experts for faster response times, but we expect it to be adopted as a standard tool by reg...

Development of expert system on personal computer for diagnosis of nuclear reactor malfunctions

International Nuclear Information System (INIS)

Kameyama, Takanori; Uekata, Tomomichi; Oka, Yoshiaki; Kondo, Shunsuke; Togo, Yasumasa

1988-01-01

An expert system on a personal computer has been developed for diagnosis of malfunction of the fast experimental reactor 'JOYO'. Prolog-KABA is used as the language. The system diagnoses the event which causes scram or set-back of the control rod after an alarm at steady state operation. The knowledge base (KB) consists of several sub-KBs and a meta-KB. Using the forward chaining, the meta-KB decides which sub-KB should be accessed. The cause of the malfunction is identified in the sub-KB using the backward chaining. The terms expressing the characteristics of the events are involved in the production rules as attributes in order to use the Prolog function of pattern matching and back-tracking for efficient inference. The total number of the rules in the system is about 400. The experiments using the plant simulator of 'JOYO' have shown that malfunctions are successfully identified by the diagnosis system. It takes about 10s for each diagnosis using the 16-bits personal computer, PC-9801 VM. (author)

Conception and realization of an expert system to help the interpretation of the mechanical shocks in a nuclear power plant

International Nuclear Information System (INIS)

Brunet, E.

1988-01-01

The computer system MIGRE, developed with the aim of helping the understanding of mechanical shocks in the nuclear power plant primary circuit. The MIGRE system allows the description of a study domain, the acquisition and exploitation of operational knowledges. The structural organization of the system is submitted to two constraints: in the first place, the system's operation depends on the accomplishment and development of an application, and on a diagnostic's research; the second constraint is the fact that the work space of PROLOG, on Macintoch, is restricted. A specific configuration is associated to each one of the work environments. The organization principle (in ''hierarchical Worlds'') of a program by PROLOG, allows to reach easily this kind of architecture. This principle makes a modular organization easy and allows to distinguish statical from dynamical steps of the system. The selection of the system different functions takes place by menus. The transition from one configuration to another is automatically effectuated and unseen by the user. Problems applying the Knowledge acquisition and the wandering bodies function, are also considered [fr

Expert system for accelerator single-freedom nonlinear components

International Nuclear Information System (INIS)

Wang Sheng; Xie Xi; Liu Chunliang

1995-01-01

An expert system by Arity Prolog is developed for accelerator single-freedom nonlinear components. It automatically yields any order approximate analytical solutions for various accelerator single-freedom nonlinear components. As an example, the eighth order approximate analytical solution is derived by this expert system for a general accelerator single-freedom nonlinear component, showing that the design of the expert system is successful

ALICE Expert System

International Nuclear Information System (INIS)

Ionita, C; Carena, F

2014-01-01

The ALICE experiment at CERN employs a number of human operators (shifters), who have to make sure that the experiment is always in a state compatible with taking Physics data. Given the complexity of the system and the myriad of errors that can arise, this is not always a trivial task. The aim of this paper is to describe an expert system that is capable of assisting human shifters in the ALICE control room. The system diagnoses potential issues and attempts to make smart recommendations for troubleshooting. At its core, a Prolog engine infers whether a Physics or a technical run can be started based on the current state of the underlying sub-systems. A separate C++ component queries certain SMI objects and stores their state as facts in a Prolog knowledge base. By mining the data stored in different system logs, the expert system can also diagnose errors arising during a run. Currently the system is used by the on-call experts for faster response times, but we expect it to be adopted as a standard tool by regular shifters during the next data taking period

The PRINCE Project and its Applications- VERSION2

OpenAIRE

Bescos, Sylvie; Bisière, Christophe; Gailly, Pierre-Joseph; Krautter, Wolfgang

1992-01-01

The Esprit project Prince aims at development of an industrial Constraint Logic Programing environment based on the Prolog III language. In parallel, the current technology is being validated within the project on representative real-world examples. This paper describes the current status of the three application domains which were Selected to demonstrate the applicability and usefulness of CLP. These applications deal with industrial systems engineering, medium term banking planning and jobs...

The PRINCE Project and its Applications (clone)

OpenAIRE

Bescos, Sylvie; Bisière, Christophe; Gailly, Pierre-Joseph; Krautter, Wolfgang

1992-01-01

The Esprit project Prince aims at development of an industrial Constraint Logic Programing environment based on the Prolog III language. In parallel, the current technology is being validated within the project on representative real-world examples. This paper describes the current status of the three application domains which were Selected to demonstrate the applicability and usefulness of CLP. These applications deal with industrial systems engineering, medium term banking planning and jobs...

On Continuous Distributions and Parameter Estimation in Probabilistic Logic Programs (Over continue verdelingen en het schatten van parameters in probabilistische logische programma's)

OpenAIRE

Gutmann, Bernd

2011-01-01

In the last decade remarkable progress has been made on combining statistical machine learning techniques, reasoning under uncertainty, and relational representations. The branch of Artificial Intelligence working on the synthesis of these three areas is known as statistical relational learning or probabilistic logic learning.ProbLog, one of the probabilistic frameworks developed, is an extension of the logic programming language Prolog with independent random variables that are defined by an...

Comprehensive Reproductive System Care Program - Clinical Breast Care Project (CRSCP-CBCP)

Science.gov (United States)

2013-01-01

biomedical informatics group here, the ProLogic team, and the MDR Global leader. This Pathology Checklist tablet data capturing system development with...initiative in developing a prototype tablet application using the Pathology Checklist as the first example following a decision made at the last CBCP...enabling surgery within the center. The Breast Imaging Center has a designated Aurora Breast MRI machine. The merging of the Army and Navy Breast

Evolving Playable Content for Cut the Rope through a Simulation-Based Approach

DEFF Research Database (Denmark)

Shaker, Mohammad; Shaker, Noor; Togelius, Julian

2013-01-01

and such an agent is not always readily available. We discuss this prob- lem in the context of the physics-based puzzle game Cut the Rope, which features continuous time and state space, mak- ing several approaches such as exhaustive search and reactive agents inefficient. We show that a deliberative Prolog...... in this paper is likely to be useful for a large variety of games with similar characteristics....

Expert System for ASIC Imaging

Science.gov (United States)

Gupta, Shri N.; Arshak, Khalil I.; McDonnell, Pearse; Boyce, Conor; Duggan, Andrew

1989-07-01

With the developments in the techniques of artificial intelligence over the last few years, development of advisory, scheduling and similar class of problems has become very convenient using tools such as PROLOG. In this paper an expert system has been described which helps lithographers and process engineers in several ways. The methodology used is to model each work station according to its input, output and control parameters, combine these work stations in a logical sequence based on past experience and work out process schedule for a job. In addition, all the requirements vis-a-vis a particular job parameters are converted into decision rules. One example is the exposure time, develop time for a wafer with different feature sizes would be different. This expert system has been written in Turbo Prolog. By building up a large number of rules, one can tune the program to any facility and use it for as diverse applications as advisory help, trouble shooting etc. Leitner (1) has described an advisory expert system that is being used at National Semiconductor. This system is quite different from the one being reported in the present paper. The approach is quite different for one. There is stress on job flow and process for another.

Unified Engineering Software System

Science.gov (United States)

Purves, L. R.; Gordon, S.; Peltzman, A.; Dube, M.

1989-01-01

Collection of computer programs performs diverse functions in prototype engineering. NEXUS, NASA Engineering Extendible Unified Software system, is research set of computer programs designed to support full sequence of activities encountered in NASA engineering projects. Sequence spans preliminary design, design analysis, detailed design, manufacturing, assembly, and testing. Primarily addresses process of prototype engineering, task of getting single or small number of copies of product to work. Written in FORTRAN 77 and PROLOG.

A constraint-based bottom-up counterpart to definite clause grammars

DEFF Research Database (Denmark)

Christiansen, Henning

2004-01-01

A new grammar formalism, CHR Grammars (CHRG), is proposed that provides a constraint-solving approach to language analysis, built on top of the programming language of Constraint Handling Rules in the same way as Definite Clause Grammars (DCG) on Prolog. CHRG works bottom-up and adds the following......, integrity constraints, operators a la assumption grammars, and to incorporate other constraint solvers. (iv)~Context-sensitive rules that apply for disambiguation, coordination in natural language and tagger-like rules....

IT-BT convergence technology

International Nuclear Information System (INIS)

2012-12-01

This book explains IT-BT convergence technology as the future technology, which includes a prolog, easy IT-BT convergence technology that has infinite potentials for new value, policy of IT-BT convergence technology showing the potential of smart Korea, IT-BT convergence opening happy future, for the new future of IT powerful nation Korea with IT-BT convergence technology and an epilogue. This book reveals the conception, policy, performance and future of IT-BT convergence technology.

Sistema de diagnóstico para la estimación de secciones en fallo en sistemas eléctricos de potencia; A Diagnostic Systems to Estimate Faulty Sections in Power Electric Systems

OpenAIRE

Marta Bravo de las Casas; Humberto Machado Fernández; Zenaida García Valdivia; Alain Álvarez Chávez; Isis Bonet Cruz; Norma E Cabrera González

2011-01-01

El sistema de diagnóstico para la estimación de secciones en fallo (SDESF) para sistemas eléctricos depotencia (SEP) expuesto en el trabajo, usa la información procedente de los relés operados e interruptoresdisparados. Está escrito en Prolog, lenguaje de inteligencia artificial e implementado en una computadorapersonal. La tarea básica de este sistema es entrenar a los despachadores y utilizarlo como una herramientade apoyo a la toma de decisi...

Discussion on AI Technology in Information Library Design

OpenAIRE

日比野, 省三; Shozo, HIBINO; 中京大学社会学部

1987-01-01

This paper deals with the discussion on the importance of AI (Artificial Intelligence) Technology in planning and designing a library information system in the near future. First of all, the history of Library and Information Science is reviewed and it is identified that the key technology in the future library will be AI as a mega-trend. After reviewing the concepts of AI technology, a model of a Knowledge-Base system is discussed as a case study, using micro-PROLOG.

Kontemplacja i ekspresja – Śakuntala Kalidasy według Jerzego Grotowskiego

OpenAIRE

Kołdrzak, Elżbieta

2012-01-01

Zrealizowana przez Jerzego Grotowskiego w Teatrze 13 Rzędów, już ponad 50 lat temu, Śakuntala Kalidasy przeszła do historii nie tylko jako kolejna z zachodnich scenicznych wersji tego słynnego dramatu indyjskiego, ale przede wszystkim jako wyznacznik poszukiwań teatralnych oraz poszukiwań nowego paradygmatu techniki aktorskiej prowadzonych przez zespół Grotowskiego. Zarówno sposób opracowania oryginalnego tekstu Kalidasy (Prolog zawierający mantry śiwaickie, redukcja akcji do w...

Automatic Definition Extraction and Crossword Generation From Spanish News Text

Directory of Open Access Journals (Sweden)

Jennifer Esteche

2017-08-01

Full Text Available This paper describes the design and implementation of a system that takes Spanish texts and generates crosswords (board and definitions in a fully automatic way using definitions extracted from those texts. Our solution divides the problem in two parts: a definition extraction module that applies pattern matching implemented in Python, and a crossword generation module that uses a greedy strategy implemented in Prolog. The system achieves 73% precision and builds crosswords similar to those built by humans.

Analýza marketingového mixu Komerční banky

OpenAIRE

Rozsypalová, Kristýna

2010-01-01

This bachelor thesis deals with marketing mix of services in joint-stock company Komerční banka, a. s. The aim of the thesis is to analyse marketing mix of services in Komerční banka, describe specifics of marketing mix of services in bank companies and explore satisfaction with marketing mix of services in Komerční banka. This work is divided into four parts: prolog, theoretical and methodological part, practical part and conclusion. Theoretical and methodological parts contain analysis of l...

Technical Proceedings fo the Symposium on Military Information Systems Engineering (Panel 11 on Information Processing Technology, Defence Research Group).

Science.gov (United States)

1991-12-27

with deductive (Prolog-like) facilities. An interesting example of this architecture is POSTGRES , a further development of the DBMS INGRES (Post Ingres...15,16. POSTGRES is a tightly-coupled KBMS developed at the University of Southern California, Berkeley. The main aims of the project are to uphold...FI EDIUNLIMI TED q L UNC LASS I F I ED / UNL I M I TED B.2.5 ACI243(Panel 11)TP/1 The most revolutionary aspect of POSTGRES is the use of rules and

Querying UML models using OCL and Prolog: A performance study

NARCIS (Netherlands)

Chimiak-Opoka, J.; Felderer, M.; Lenz, C.; Lange, C.F.J.

2008-01-01

The size of unified modeling language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there

Automated analysis of instructional text

Energy Technology Data Exchange (ETDEWEB)

Norton, L.M.

1983-05-01

The development of a capability for automated processing of natural language text is a long-range goal of artificial intelligence. This paper discusses an investigation into the issues involved in the comprehension of descriptive, as opposed to illustrative, textual material. The comprehension process is viewed as the conversion of knowledge from one representation into another. The proposed target representation consists of statements of the prolog language, which can be interpreted both declaratively and procedurally, much like production rules. A computer program has been written to model in detail some ideas about this process. The program successfully analyzes several heavily edited paragraphs adapted from an elementary textbook on programming, automatically synthesizing as a result of the analysis a working Prolog program which, when executed, can parse and interpret let commands in the basic language. The paper discusses the motivations and philosophy of the project, the many kinds of prerequisite knowledge which are necessary, and the structure of the text analysis program. A sentence-by-sentence account of the analysis of the sample text is presented, describing the syntactic and semantic processing which is involved. The paper closes with a discussion of lessons learned from the project, possible alternative approaches, and possible extensions for future work. The entire project is presented as illustrative of the nature and complexity of the text analysis process, rather than as providing definitive or optimal solutions to any aspects of the task. 12 references.

Model-Driven Engineering of Machine Executable Code

Science.gov (United States)

Eichberg, Michael; Monperrus, Martin; Kloppenburg, Sven; Mezini, Mira

Implementing static analyses of machine-level executable code is labor intensive and complex. We show how to leverage model-driven engineering to facilitate the design and implementation of programs doing static analyses. Further, we report on important lessons learned on the benefits and drawbacks while using the following technologies: using the Scala programming language as target of code generation, using XML-Schema to express a metamodel, and using XSLT to implement (a) transformations and (b) a lint like tool. Finally, we report on the use of Prolog for writing model transformations.

Analyzing Program Termination and Complexity Automatically with AProVE

DEFF Research Database (Denmark)

Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc

2017-01-01

In this system description, we present the tool AProVE for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and rewrite systems. In addition to classical term rewrite systems (TRSs), AProVE also supports rewrite systems containing built-in integers (int-TRSs). To analyze...... programs in high-level languages, AProVE automatically converts them to (int-)TRSs. Then, a wide range of techniques is employed to prove termination and to infer complexity bounds for the resulting rewrite systems. The generated proofs can be exported to check their correctness using automatic certifiers...

Classical Syllogisms in Logic Teaching

DEFF Research Database (Denmark)

Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar

2013-01-01

This paper focuses on the challenges of introducing classical syllogisms in university courses in elementary logic and human reasoning. Using a program written in Prolog+CG, some empirical studies have been carried out involving three groups of students in Denmark; one group of philosophy students...... have a tendency correctly to assess valid syllogisms as such more often than correctly assessing invalid syllogisms as such. It is also investigated to what extent the students have improved their skills in practical reasoning by attending the logic courses. Finally, some open questions regarding...

A recursive economic dispatch algorithm for assessing the cost of thermal generator schedules

International Nuclear Information System (INIS)

Wong, K.P.; Doan, K.

1992-01-01

This paper develops an efficient, recursive algorithm for determining the economic power dispatch of thermal generators within the unit commitment environment. A method for incorporating the operation limits of all on-line generators and limits due to ramping generators is developed in the paper. The developed algorithm is amenable for computer implementation using the artificial intelligence programming language, Prolog. The performance of the developed algorithm is demonstrated through its application to evaluate the costs of dispatching 13 thermal generators within a generator schedule in a 24-hour schedule horizon

Knowledge representation an approach to artificial intelligence

CERN Document Server

Bench-Capon, TJM

1990-01-01

Although many texts exist offering an introduction to artificial intelligence (AI), this book is unique in that it places an emphasis on knowledge representation (KR) concepts. It includes small-scale implementations in PROLOG to illustrate the major KR paradigms and their developments.****back cover copy:**Knowledge representation is at the heart of the artificial intelligence enterprise: anyone writing a program which seeks to work by encoding and manipulating knowledge needs to pay attention to the scheme whereby he will represent the knowledge, and to be aware of the consequences of the ch

Knowledge based management of technical specifications

International Nuclear Information System (INIS)

Fiedler, U.; Schalm, S.; Pranckeviciute, K.

1992-01-01

TechSPEX is a knowledge based advisory system for checking the status of a nuclear plant on compliance with the safety limits and the limiting conditions of operation. These prescripts for safe reactor operation exist as textual information. For the purpose of its operational use an explicit representation formalism is introduced. On this basis, various approaches of text retrieval are realized, condition based surveillance and control is supported too. Knowledge editing and verification modules ease the adaption to changing requirements. TechSPEX has been implemented in PROLOG. (author). 6 refs, 3 figs

Computer-based expert system aids underground mine planning

Energy Technology Data Exchange (ETDEWEB)

Britton, S.G.

1987-04-01

Artificial intelligence (AI) systems have been rapidly expanded over the last few years to aid in the decision making processes in a whole range of industries, including the use of machines for operating in high risk/dangerous areas such as at the working faces in longwall mining. Using Prolog software a program for mine management is being developed called CHOOZ. This system can help managers identify staffing problems and change manpower shifts to cope with unexpected labor problems such as absenteeism and sickness. All the programs have been developed for the IBM PC microcomputer.

Benchmarks of programming languages for special purposes in the space station

Science.gov (United States)

Knoebel, Arthur

1986-01-01

Although Ada is likely to be chosen as the principal programming language for the Space Station, certain needs, such as expert systems and robotics, may be better developed in special languages. The languages, LISP and Prolog, are studied and some benchmarks derived. The mathematical foundations for these languages are reviewed. Likely areas of the space station are sought out where automation and robotics might be applicable. Benchmarks are designed which are functional, mathematical, relational, and expert in nature. The coding will depend on the particular versions of the languages which become available for testing.

Abstract Interpretation of PIC programs through Logic Programming

DEFF Research Database (Denmark)

Henriksen, Kim Steen; Gallagher, John Patrick

2006-01-01

, are applied to the logic based model of the machine. A small PIC microcontroller is used as a case study. An emulator for this microcontroller is written in Prolog, and standard programming transformations and analysis techniques are used to specialise this emulator with respect to a given PIC program....... The specialised emulator can now be further analysed to gain insight into the given program for the PIC microcontroller. The method describes a general framework for applying abstractions, illustrated here by linear constraints and convex hull analysis, to logic programs. Using these techniques on the specialised...

A prolog implementation of pattern search to optimize software quality assurance

OpenAIRE

Buzzard, Raymond Karl

1990-01-01

Approved for public release, distribution is unlimited Quality Assurance (QA) is a critical factor in the development of successful software systems. Through the use of various QA tools, project managers can ensure that a desired level of performance and reliability is built into the system. However, these tools are not without cost. Project managers must weight all QA costs and benefits for each development environment before weigh all QA costs and benefits for each development environmen...

KONFLIK POLITIK INTERNAL KERAJAAN: PROLOG ISLAMISASI MASSIF DAN STRUKTURAL DI BIMA

Directory of Open Access Journals (Sweden)

Nurhilaliati Nurhilaliati

2005-06-01

Full Text Available Bima used to be well known as a producer of high quality spices, and attracted many traders from Sumatera, Sulawesi, and Java which then led Bimanese traders and people in general into a direct communication and interrelationship among traders from other places outside Bima. It in turn resulted in broader contact among different cultures, traditions, and religions. This was the starting point that Bimanese people began to be influenced by the new religion, Islam, which then attracted them to be its followers, Muslims.The process of coming and spreading of Islam in Bima ran through phases from an early contact with Muslim traders from outside Bima to a structural and massive islamization by the power of Bima Sultanate. Many factors played their respective roles in supporting or obscuring the process. But, above all other factors, political conflict among the ruling royals in Bima Kingdom was the most significant one. It was the conflict between Tureli Nggampo (Prime Minister Salisi and Jena Teke (crown prince, which then resulted in assassination on the later. Salisi declared himself the King of Bima. Next Jena Teke (younger brother of the killed first Jena Teke with the help of Gowa Sultanate took over Salisi’s crown. This political conflict can be considered a blessing in disguise in terms of it was the turning point and gateway of structural and massive islamization in Bima.

Development of the Diagnostic Expert System for Tea Processing

Science.gov (United States)

Yoshitomi, Hitoshi; Yamaguchi, Yuichi

A diagnostic expert system for tea processing which can presume the cause of the defect of the processed tea was developed to contribute to the improvement of tea processing. This system that consists of some programs can be used through the Internet. The inference engine, the core of the system adopts production system which is well used on artificial intelligence, and is coded by Prolog as the artificial intelligence oriented language. At present, 176 rules for inference have been registered on this system. The system will be able to presume better if more rules are added to the system.

Para tener entre manos una revista

OpenAIRE

Gabriel Giannone

2017-01-01

Consideramos importante rescatar el trabajo colectivo y acumulado que precede y sucede a la labor de intermediación académica que realiza una revista. Para ello recordamos una clásica frase prologal: el texto que usted tiene en sus manos. Con cierta ironía, porque quizás muy pocos de los lectores puedan tener entre manos y oler el papel impreso de Chasqui. Desde sus pantallas, sus tablets o sus teléfonos la intención es que se comprenda este número como un solo cuerpo. Y al mismo tiempo, como...

The use of database management systems and artificial intelligence in automating the planning of optical navigation pictures

Science.gov (United States)

Davis, Robert P.; Underwood, Ian M.

1987-01-01

The use of database management systems (DBMS) and AI to minimize human involvement in the planning of optical navigation pictures for interplanetary space probes is discussed, with application to the Galileo mission. Parameters characterizing the desirability of candidate pictures, and the program generating them, are described. How these parameters automatically build picture records in a database, and the definition of the database structure, are then discussed. The various rules, priorities, and constraints used in selecting pictures are also described. An example is provided of an expert system, written in Prolog, for automatically performing the selection process.

A Modular SOS for Action Notation - Revisited

DEFF Research Database (Denmark)

Mosses, Peter David

A draft modular SOS for the new version of AN, referred to as AN-2, has been available since 2000. It is written in CASL and has been checked for well-formedness using CATS (CASL Tool Set). It appears to be significantly more accessible than the original SOS of AN-1. However, it now appears......-notation for the modular SOS rules. After discussing the issues, we look at some illustrative examples taken from an improved modular SOS of AN-2 (in preparation). We also look at the possibility of empirical testing of the modular SOS by a straightforward translation to Prolog....

Efficient tabling of structured data with enhanced hash-consing

DEFF Research Database (Denmark)

Zhou, Neng-Fa; Have, Christian Theil

2012-01-01

techniques, called input sharing and hash code memoization, for reducing the time complexity by avoiding computing hash codes for certain terms. The improved system is able to eliminate the extra linear factor in the old system for processing sequences, thus significantly enhancing the scalability...... uses hash tables, but also systems that use tries such as XSB and YAP. In this paper, we apply hash-consing to tabling structured data in B-Prolog. While hash-consing can reduce the space consumption when sharing is effective, it does not change the time complexity. We enhance hash-consing with two...

Man-machine communication in Portuguese: a friendly library service system

Energy Technology Data Exchange (ETDEWEB)

Coelho, H

1982-01-01

This paper enhances some of the main aspects of a system which converses in Portuguese to provide a library service covering the field of artificial intelligence. Its central feature is the use of logic as a single uniform language for knowledge and data representation, deductive information retrieval and linguistic analysis. The objective of designing this system was the development of a feasible method for consulting and creating data bases in natural Portuguese. The system is implemented in PROLOG, a programming language essentially identical in syntax and semantics to a subset of predicate calculus in clausal form. 32 references.

Strategies in PRholog

Directory of Open Access Journals (Sweden)

Besik Dundua

2010-01-01

Full Text Available PRholog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with Rholog calculus. The rules perform nondeterministic transformations on hedges. Queries may have several results that can be explored on backtracking. Strategies provide a control on rule applications in a declarative way. With strategy combinators, the user can construct more complex strategies from simpler ones. Matching with four different kinds of variables provides a flexible mechanism of selecting (subterms during execution. We give an overview on programming with strategies in PRholog and demonstrate how rewriting strategies can be expressed.

Process Materialization Using Templates and Rules to Design Flexible Process Models

Science.gov (United States)

Kumar, Akhil; Yao, Wen

The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules to specific case data, and running a materialization algorithm. The customized process instance is then executed in an existing workflow engine. We present an architecture and also give an algorithm for process materialization. The rules are written in a logic-based language like Prolog. Our focus is on capturing deeper process knowledge and achieving a holistic approach to robust process design that encompasses control flow, resources and data, as well as makes it easier to accommodate changes to business policy.

Agent planning in AgScala

Science.gov (United States)

Tošić, Saša; Mitrović, Dejan; Ivanović, Mirjana

2013-10-01

Agent-oriented programming languages are designed to simplify the development of software agents, especially those that exhibit complex, intelligent behavior. This paper presents recent improvements of AgScala, an agent-oriented programming language based on Scala. AgScala includes declarative constructs for managing beliefs, actions and goals of intelligent agents. Combined with object-oriented and functional programming paradigms offered by Scala, it aims to be an efficient framework for developing both purely reactive, and more complex, deliberate agents. Instead of the Prolog back-end used initially, the new version of AgScala relies on Agent Planning Package, a more advanced system for automated planning and reasoning.

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs

DEFF Research Database (Denmark)

Giesl, J.; Ströder, T.; Schneider-Kamp, P.

2013-01-01

There exist many powerful techniques to analyze termination and complexity of term rewrite systems (TRSs). Our goal is to use these techniques for the analysis of other programming languages as well. For instance, approaches to prove termination of definite logic programs by a transformation...... to TRSs have been studied for decades. However, a challenge is to handle languages with more complex evaluation strategies (such as Prolog, where predicates like the cut influence the control flow). We present a general methodology for the analysis of such programs. Here, the logic program is first...... information on the termination or complexity of the original logic program. More information can be found in the full paper [1]. © 2013 Springer-Verlag....

Energy efficiency enhancement in cement factories using expert system

International Nuclear Information System (INIS)

Effatnejad, R.; Jadih, S.

2001-01-01

Full text : In this paper, expert system for energy efficiency in cement industry is presented. Due to the fact that cement manufacturing project in these factories are similar, so in main parts knowing the consumption origins and save potential and existing approaches can be similar. In this method, via expert system software of prolog AH types of energy consumption and investment costs are listed in which method of best first search and innovative search have been used and by forming knowledge base, targeting to get best approaches is presented. The obtained results, regarding the executed limits, will be displayed in the output of program and this program can be given the best decision about energy management in cement factories

Para tener entre manos una revista

Directory of Open Access Journals (Sweden)

Gabriel Giannone

2017-12-01

Full Text Available Consideramos importante rescatar el trabajo colectivo y acumulado que precede y sucede a la labor de intermediación académica que realiza una revista. Para ello recordamos una clásica frase prologal: el texto que usted tiene en sus manos. Con cierta ironía, porque quizás muy pocos de los lectores puedan tener entre manos y oler el papel impreso de Chasqui. Desde sus pantallas, sus tablets o sus teléfonos la intención es que se comprenda este número como un solo cuerpo. Y al mismo tiempo, como un esfuerzo colectivo. Alrededor de él están las propuestas, lecturas y análisis de cientos de autores, revisores externos y lectores.

The PWI [plutonium waste incinerator] expert system: Real time, PC-based process analysis

International Nuclear Information System (INIS)

Brown, K.G.; Smith, F.G.

1987-01-01

A real time, microcomputer-based expert system is being developed for a prototype plutonium waste incinerator (PWI) process at Du Pont's Savannah River Laboratory. The expert system will diagnose instrumentation problems, assist operator training, serve as a repository for engineering knowledge about the process, and provide continuous operation and performance information. A set of necessary operational criteria was developed from process and engineering constraints; it was used to define hardware and software needs. The most important criterion is operating speed because the analysis operates in real time. TURBO PROLOG by Borland International was selected. The analysis system is divided into three sections: the user-system interface, the inference engine and rule base, and the files representing the blackboard information center

CHR grammars

DEFF Research Database (Denmark)

Christiansen, Henning

2005-01-01

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena....... The formalism extends previous logic programming based grammars with a form of context-sensitive rules and the possibility to include extra-grammatical hypotheses in both head and body of grammar rules. Among the applications are straightforward implementations of Assumption Grammars and abduction under...... integrity constraints for language analysis. CHR grammars appear as a powerful tool for specification and implementation of language processors and may be proposed as a new standard for bottom-up grammars in logic programming....

CHR Grammars

DEFF Research Database (Denmark)

Christiansen, Henning

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena....... The formalism extends previous logic programming based grammars with a form of context-sensitive rules and the possibility to include extra-grammatical hypotheses in both head and body of grammar rules. Among the applications are straightforward implementations of Assumption Grammars and abduction under...... integrity constraints for language analysis. CHR grammars appear as a powerful tool for specification and implementation of language processors and may be proposed as a new standard for bottom-up grammars in logic programming....

Conception and development of a computer-aided design for a spent fuel reprocessing plant

International Nuclear Information System (INIS)

Blayrac, M.

1989-06-01

A spent fuel reprocessing plant is composed of connected equipments. The aim of this study is the creation of schemes representing the different workshops of the plant and the calculation of linkage characteristics (flux) from a graphic description of functional structures. The program, written in FORTRAN 77, based on mass, flow rate and energy conservation, uses a module library each corresponding to an elementary operation of chemical engineering. Verification is necessary for result quality and accuracy. The important number of parameters and variables used in the program, requires a diagnosis accelerating research of errors for correction. Knowledges used in these last operations are qualitative (knowledge of experts) and quantitative (results of calculations) for the development of an expert system written in D-PROLOG [fr

Technical specifications requirements: Automated reasoning applications

International Nuclear Information System (INIS)

Lidsky, L.M.; Dobrzeniecki, A.B.

1990-03-01

Several software systems were developed and tested to determine what advantages could be gained from explicitly translating complicated regulatory requirements into computerized relationships. The Technical Specifications for US nuclear power plants were chosen as the test-bed application domain, and two analysis systems were developed to monitor plant compliance with operational limits, and track and schedule equipment test and maintenance activities mandated by Technical Specifications. Choosing PROLOG as the computer language to represent these regulatory requirements resulted in a natural match between the semantic structure of the written specifications and the corollary coded rules. Additional research results affirmed the utility of declarative programming styles, explicit management of problem complexity, and attention to the robustness and flexibility of the overall software systems. 5 refs., 2 figs

Establishing a framework for comparative analysis of genome sequences

Energy Technology Data Exchange (ETDEWEB)

Bansal, A.K.

1995-06-01

This paper describes a framework and a high-level language toolkit for comparative analysis of genome sequence alignment The framework integrates the information derived from multiple sequence alignment and phylogenetic tree (hypothetical tree of evolution) to derive new properties about sequences. Multiple sequence alignments are treated as an abstract data type. Abstract operations have been described to manipulate a multiple sequence alignment and to derive mutation related information from a phylogenetic tree by superimposing parsimonious analysis. The framework has been applied on protein alignments to derive constrained columns (in a multiple sequence alignment) that exhibit evolutionary pressure to preserve a common property in a column despite mutation. A Prolog toolkit based on the framework has been implemented and demonstrated on alignments containing 3000 sequences and 3904 columns.

Brown's TRANSPORT up to third order aberration by artificial intelligence

International Nuclear Information System (INIS)

Xia Jiawen; Xie Xi; Qiao Qingwen

1991-01-01

Brown's TRANSPORT is a first and second order matrix multiplication computer program intended for the design of accelerator beam transport systems, neglecting the third order aberration. Recently a new method was developed to derive analytically any order aberration coefficients of general charged particle optic system, applicable to any practical systems, such as accelerators, electron microscopes, lithographs, etc., including those unknown systems yet to be invented. An artificial intelligence program in Turbo Prolog was implemented on IBM-PC 286 or 386 machine to generate automatically the analytical expression of any order aberration coefficients of general charged particle optic system. Based on this new method and technique, Brown's TRANSPORT is extended beyond the second order aberration effects by artificial intelligence, outputing automatically all the analytical expressions up to the third order aberration coefficients

Brown's transport up to third order aberration by artificial intelligence

International Nuclear Information System (INIS)

Xia Jiawen; Xie Xi; Qiao Qingwen

1992-01-01

Brown's TRANSPORT is a first and second order matrix multiplication computer program intended for the design of accelerator beam transport systems, neglecting the third order aberration. Recently a new method was developed to derive analytically any order aberration coefficients of general charged particle optic system, applicable to any practical systems, such as accelerators, electron microscopes, lithographs, including those unknown systems yet to be invented. An artificial intelligence program in Turbo Prolog was implemented on IBM-PC 286 or 386 machine to generate automatically the analytical expression of any order aberration coefficients of general charged particle optic system. Based on this new method and technique, Brown's TRANSPORT is extended beyond the second order aberration effect by artificial intelligence, outputting automatically all the analytical expressions up to the third order aberration coefficients

An Ordering Linear Unification Algorithm

Institute of Scientific and Technical Information of China (English)

胡运发

1989-01-01

In this paper,we present an ordering linear unification algorithm(OLU).A new idea on substituteion of the binding terms is introduced to the algorithm,which is able to overcome some drawbacks of other algorithms,e.g.,MM algorithm[1],RG1 and RG2 algorithms[2],Particularly,if we use the directed eyclie graphs,the algoritm needs not check the binding order,then the OLU algorithm can also be aplied to the infinite tree data struceture,and a higher efficiency can be expected.The paper focuses upon the discussion of OLU algorithm and a partial order structure with respect to the unification algorithm.This algorithm has been implemented in the GKD-PROLOG/VAX 780 interpreting system.Experimental results have shown that the algorithm is very simple and efficient.

Development of an expert system for preheating temperatures determination. Desarrollo dse uns sistema experto para la determinacion de temperatura de precalentamiento

Energy Technology Data Exchange (ETDEWEB)

Oliveira, E; Silva, M; Gonalvez, P; Fernandez, A A [Oporto Univ. (Portugal) Facultad de Ingenieria

1989-01-01

This work describes the development of an expert system designed to control the cold fissuration phenomenon caused by H{sup 2} on welded joints of carbonated, C-Mn and light alloy steels, obtained through fusion welding (manual electric arc, MIG/MAG, TIG and submerged arc). This system, implemented in PROLOG language, allows a quick and simple calculation of preheating temperatures. The aim of this system, which does not require programming knowledge to be updated, is to help welding engineers to design welding procedures which are safe as regards to the joint resistance to cold fissuration. Being an expert system, the user has the opportunity to obtain interactive explanations about the way any conclusions are obtained, as well as information about the concepts and parameters on which the reasoning is based.(Author)

Staročeské biblické prology: argumenta k listům sv. Pavla

Czech Academy of Sciences Publication Activity Database

Homolková, Milada; Voleková, Kateřina

2016-01-01

Roč. 139, 1/2 (2016), s. 91-120 ISSN 0024-4457 R&D Projects: GA ČR GA15-06405S Institutional support: RVO:68378092 Keywords : Old Czech * Bible * Prologues * The Pauline Epistles Subject RIV: AI - Linguistics

Digital signal processor for silicon audio playback devices; Silicon audio saisei kikiyo digital signal processor

Energy Technology Data Exchange (ETDEWEB)

NONE

2000-03-01

The digital audio signal processor (DSP) TC9446F series has been developed silicon audio playback devices with a memory medium of, e.g., flash memory, DVD players, and AV devices, e.g., TV sets. It corresponds to AAC (advanced audio coding) (2ch) and MP3 (MPEG1 Layer3), as the audio compressing techniques being used for transmitting music through an internet. It also corresponds to compressed types, e.g., Dolby Digital, DTS (digital theater system) and MPEG2 audio, being adopted for, e.g., DVDs. It can carry a built-in audio signal processing program, e.g., Dolby ProLogic, equalizer, sound field controlling, and 3D sound. TC9446XB has been lined up anew. It adopts an FBGA (fine pitch ball grid array) package for portable audio devices. (translated by NEDO)

Constraint-based deadlock checking of high-level specifications

DEFF Research Database (Denmark)

Hallerstede, Stefan; Leuschel, Michael

2011-01-01

Establishing the absence of deadlocks is important in many applications of formal methods. The use of model checking for finding deadlocks in formal models is limited because in many industrial applications the state space is either infinite or much too large to be explored exhaustively. In this ......Establishing the absence of deadlocks is important in many applications of formal methods. The use of model checking for finding deadlocks in formal models is limited because in many industrial applications the state space is either infinite or much too large to be explored exhaustively......B's Prolog kernel, such as reification of membership and arithmetic constraints. ProB typically finds counter examples to deadlock-freedom constraints, a formula of about 900 partly nested conjunctions and disjunction among them 80 arithmetic and 150 set-theoretic predicates (in total a formula of 30 pages...

AppBuilder for DSSTools; an application development environment for developing decision support systems in Prolog

Science.gov (United States)

Geneho Kim; Donald Nute; H. Michael Rauscher; David L. Loftis

2000-01-01

A programming environment for developing complex decision support systems (DSSs) should support rapid prototyping and modular design, feature a flexible knowledge representation scheme and sound inference mechanisms, provide project management, and be domain independent. We have previously developed DSSTools (Decision Support System Tools), a reusable, domain-...

Transport of short lived radioactive contaminants with prologed half-lives of daughters through river water

International Nuclear Information System (INIS)

Metwally, S.M.; Prohl, G.

2005-01-01

One of the main pathways for transporting contaminants to other parts in the environment, are rivers. This work is devoted for deriving and assessment the concentration of soluble radio contaminants along a river at any time after discharge, including the short-lived radionuclides in comparison with the discharge time interval, and prolonged half-life of the produced daughter nuclei. The assumed boundary conditions and deduced formulas can be applied either in case of accidental release or discharge under authority control. The formulas determining the produced daughter nuclei concentration require inequality of the parent and daughter nuclei half-lives. Because of the regional variation of river morphology, the assumed constancy of the flow velocity and dispersion coefficient requires dividing the river path into zones of similar hydrologic characteristics

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level

DEFF Research Database (Denmark)

Christiansen, Henning

2004-01-01

Theoretical issues of computer science are traditionally taught in a way that presupposes a solid mathematical background and are usually considered more or less unaccessible for students without this. An effective methodology is described which has been developed for a target group of university...... into a learning-by-doing approach having the students to develop such descriptions themselves from an informal introduction....... students with different backgrounds such as natural science or humanities. It has been developed for a course that integrates theoretical material on computer languages and abstract machines with practical programming techniques. Prolog used as meta-language for describing language issues is the central...... instrument in the approach: Formal descriptions become running prototypes that are easy and appealing to test and modify, and can be extended into analyzers, interpreters, and tools such as tracers and debuggers. Experience shows a high learning curve, especially when the principles are extended...

A Software for the Analysis of Scripted Dialogs Based on Surface Markers

Directory of Open Access Journals (Sweden)

Sylvain Delisle

2003-04-01

Full Text Available Most information systems that deal with natural language texts do not tolerate much deviation from their idealized and simplified model of language. Spoken dialog is notoriously ungrammatical however. Because the MAREDI project focuses in particular on the automatic analysis of scripted dialogs, we needed to develop a robust capacity to analyze transcribed spoken language. This paper presents the main elements of our approach, which is based on exploiting surface markers as the best route to the semantics of the conversation modelled. We highlight the foundations of our particular conversational model and give an overview of the MAREDI system. The latter consists of three key modules, which are 1 a connectionist network to recognise speech acts, 2 a robust syntactic parser, and 3 a semantic analyzer. These three modules are fully implemented in Prolog and C++ and have been packaged into an integrated software.

Amine : une plate-forme pour le développement de systèmes et d’agents intelligents

Directory of Open Access Journals (Sweden)

Karim Bouzoubaa

2005-10-01

Full Text Available This paper presents an overview of Amine ; a multi-layer and open-source platform, implemented in Java and dedicated to the development of intelligent systems and agents. Amine is composed of four layers : a a kernel layer that enables the creation, edition, update and manipulation of multi-lingua ontologies, b an algebraic layer that offers a set of elementary data types, structured types and various matching-based operations, c a programming layer that provides three programming paradigms: i an ontology or memory-based programming paradigm which is concerned by incremental and automatic integration of knowledge in an ontology (or agent memory, ii a pattern-matching and rule-based programming paradigm, embedded in PROLOG+CG language, and iii an activation and propagation-based programming paradigm, embedded in SYNERGY language, and d an agent and multi-agent systems layer that enables the development of agent-based applications.

Effect of nutritional rehabilitation on acquired growth hormone resistance in malnourished children using radioisotopic technique

International Nuclear Information System (INIS)

El-Nabarawy, F.S.; Nour Eldin, A.M.

2003-01-01

The present study was undertaken to clarify the influence of nutrition on growth hormone resistance in children who were suffering from prologed protein energy malnutrition (PEM). The plasma levels of glucose and serum levels of insulin, free triiodothyronine (FT 3 ), free teraiodothyronine (FT 4 ), thyroid stimulating hormone (TSH), growth hormone (GH), insulin-like growth factor-1 (IGF-1) and insulin like growth factor binding protein-3 (IGFBP-3) were analyzed by radioisotopic techniques in 7 children with marasmus (mean age 5.29 1.01) and 14 children with unexplained short stature (stunted) (mean age 6.21 1.72) before and after nutritional rehabilitation. At the basal condition of laboratory investigations, the GH level was significantly higher in the two malnourished groups compared to control (P< 0.01), whereas, plasma glucose levels and insulin concentrations did not differ significantly between the two malnourished groups and the control

The Construction of Intelligent English Teaching Model Based on Artificial Intelligence

Directory of Open Access Journals (Sweden)

Xiaoguang Li

2017-12-01

Full Text Available In order to build a modernized tool platform that can help students improve their English learning efficiency according to their mastery of knowledge and personality, this paper develops an online intelligent English learning system that uses Java and artificial intelligence language Prolog as the software system. This system is a creative reflection of the thoughts of expert system in artificial intelligence. Established on the Struts Spring Hibernate lightweight JavaEE framework, the system modules are coupled with each other in a much lower degree, which is convenient to future function extension. Combined with the idea of expert system in artificial intelligence, the system developed appropriate learning strategies to help students double the learning effect with half the effort; Finally, the system takes into account the forgetting curve of memory, on which basis the knowledge that has been learned will be tested periodically, intending to spare students’ efforts to do a sea of exercises and obtain better learning results.

Range of expert system for control, modeling and safely operation in nuclear energy

International Nuclear Information System (INIS)

Gorlin, A.; Semenov, S.

1990-01-01

The paper describes expert system projects which had been developed formerly and are under the development now in NVIIAES Institute, Moscow. One of the accomplished systems (PEX) is a ES-shell of classical type able to manipulate fuzzy expert assessments. The system is used as a shell for ES-advisor for MCP failures diagnostics and in some applications of the same sort. Another realized system (EDES) is on-line express-diagnostical ES for NPP unit emergency regimes identification. EDES is implemented now as a component of NPP system of control and operation conditions diagnostics. Both systems are realized on conventional programming languages Pascal and C, respectively. The presentation describes current developments in ES as well, including classification system for material researches, the project of training ES for second circuit diagnostics based on event tree generating and expert planner for neutron-physical three-dimensional reactor calculations. All this projects are implemented on different versions of PROLOG programming language

SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents

Directory of Open Access Journals (Sweden)

Javier Albors

2015-01-01

Full Text Available We present a prototype that implements a set of logical rules to prove the satisfiability for a class of specifications on XML documents. Specifications are given by means of constrains built on Boolean XPath patterns. The main goal of this tool is to test whether a given specification is satisfiable or not, and justify the decision showing the execution history. It can also be used to test whether a given document is a model of a given specification and, as a by-product, it permits to look for all the relations (monomorphisms between two patterns and to combine patterns in different ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use. In this paper we show how to use this interface in order to test all the desired properties.

Free-energy minimization and the dark-room problem.

Science.gov (United States)

Friston, Karl; Thornton, Christopher; Clark, Andy

2012-01-01

Recent years have seen the emergence of an important new fundamental theory of brain function. This theory brings information-theoretic, Bayesian, neuroscientific, and machine learning approaches into a single framework whose overarching principle is the minimization of surprise (or, equivalently, the maximization of expectation). The most comprehensive such treatment is the "free-energy minimization" formulation due to Karl Friston (see e.g., Friston and Stephan, 2007; Friston, 2010a,b - see also Fiorillo, 2010; Thornton, 2010). A recurrent puzzle raised by critics of these models is that biological systems do not seem to avoid surprises. We do not simply seek a dark, unchanging chamber, and stay there. This is the "Dark-Room Problem." Here, we describe the problem and further unpack the issues to which it speaks. Using the same format as the prolog of Eddington's Space, Time, and Gravitation (Eddington, 1920) we present our discussion as a conversation between: an information theorist (Thornton), a physicist (Friston), and a philosopher (Clark).

An application of A.I. techniques for the support of emergency operation

International Nuclear Information System (INIS)

Jeong, Kwang-Sub; Yang, Joon-On; Park, C.K.

1991-01-01

For the support of emergency operation, COSMOS is being developed at KAERI using A.I. techniques. COSMOC consists of two parts; one is to identify CSF's status and to determine the overall response strategy and the other to generate a set of success paths which restore the challenged CSF's and to rank them. The status of CSF is identified by the rule-based reasoning. The overall response strategy is inferred according to the identified CSF's status. The success paths are generated by the given structure descriptions of systems and the general generation algorithm. Backtracking, an inherent feature of the Prolog language, is used for the search of next success path. Generated success paths are ranked according to either its respective reliability or the number of manual operator's actions required to complete each success path. For efficient man-machine interface, a color graphic display is utilized. COSMOS is being built on a workstation. (author)

Radiologic diagnosis of bone tumours using Webonex, a web-based artificial intelligence program

International Nuclear Information System (INIS)

Rasuli, P.; Rasouli, F.; Rasouli, T.

2001-01-01

Knowledge-based system is a decision support system in which an expert's knowledge and reasoning can be applied to problems in bounded knowledge domains. These systems, using knowledge and inference techniques, mimic human reasoning to solve problems. Knowledge-based systems are said to be 'intelligent' because they possess massive stores of information and exhibit many attributes commonly associated with human experts performing difficult tasks and using specialized knowledge and sophisticated problem-solving strategies. Knowledge-based systems differ from conventional software such as database systems in that they are able to reason about data and draw conclusions employing heuristic rules. Heuristics embody human expertise in some knowledge domain and are sometimes characterized as the 'rules of thumb' that one acquires through practical experience and uses to solve everyday problems. Knowledge-based systems have been developed in a variety of fields, including medical disciplines. A decision support system has been assisting clinicians in areas such as infectious disease therapy for many years. For example, these systems can help radiologists formulate and evaluate diagnostic hypotheses by recalling associations between diseases and imaging findings. Although radiologic technology relies heavily on computers, it has been slow to develop a knowledge-based system to aid in diagnoses. These systems can be valuable interactive educational tools for medical students. In 1992, we developed a DOS-based Bonex, a menu-driven expert system for the differential diagnosis of bone tumours using PDC Prolog. It was a rule-based expert system that led the user through a menu of questions and generated a hard copy report and a list of diagnoses with an estimate of the likelihood of each. Bonex was presented at the 1992 Annual Meeting of the Radiological Society of North America (RSNA) in Chicago. We also developed an expert system for the differential diagnosis of brain lesions

Radiologic diagnosis of bone tumours using Webonex, a web-based artificial intelligence program

Energy Technology Data Exchange (ETDEWEB)

Rasuli, P. [Univ. of Ottawa, Dept. of Radiology, Ottawa Hospital, Ottawa, Ontario (Canada); Rasouli, F. [Research, Development and Engineering Center, PMUSA, Richmond, VA (United States); Rasouli, T. [Johns Hopkins Univ., Dept. of Cognitive Science, Baltimore, Maryland (United States)

2001-08-01

Knowledge-based system is a decision support system in which an expert's knowledge and reasoning can be applied to problems in bounded knowledge domains. These systems, using knowledge and inference techniques, mimic human reasoning to solve problems. Knowledge-based systems are said to be 'intelligent' because they possess massive stores of information and exhibit many attributes commonly associated with human experts performing difficult tasks and using specialized knowledge and sophisticated problem-solving strategies. Knowledge-based systems differ from conventional software such as database systems in that they are able to reason about data and draw conclusions employing heuristic rules. Heuristics embody human expertise in some knowledge domain and are sometimes characterized as the 'rules of thumb' that one acquires through practical experience and uses to solve everyday problems. Knowledge-based systems have been developed in a variety of fields, including medical disciplines. A decision support system has been assisting clinicians in areas such as infectious disease therapy for many years. For example, these systems can help radiologists formulate and evaluate diagnostic hypotheses by recalling associations between diseases and imaging findings. Although radiologic technology relies heavily on computers, it has been slow to develop a knowledge-based system to aid in diagnoses. These systems can be valuable interactive educational tools for medical students. In 1992, we developed a DOS-based Bonex, a menu-driven expert system for the differential diagnosis of bone tumours using PDC Prolog. It was a rule-based expert system that led the user through a menu of questions and generated a hard copy report and a list of diagnoses with an estimate of the likelihood of each. Bonex was presented at the 1992 Annual Meeting of the Radiological Society of North America (RSNA) in Chicago. We also developed an expert system for the differential

Sistema de diagnóstico para la estimación de secciones en fallo en sistemas eléctricos de potencia; A Diagnostic Systems to Estimate Faulty Sections in Power Electric Systems

Directory of Open Access Journals (Sweden)

Marta Bravo de las Casas

2011-02-01

Full Text Available El sistema de diagnóstico para la estimación de secciones en fallo (SDESF para sistemas eléctricos depotencia (SEP expuesto en el trabajo, usa la información procedente de los relés operados e interruptoresdisparados. Está escrito en Prolog, lenguaje de inteligencia artificial e implementado en una computadorapersonal. La tarea básica de este sistema es entrenar a los despachadores y utilizarlo como una herramientade apoyo a la toma de decisiones del despachador ante situaciones de emergencias complejas con unambiente computacional de usuario amigable. Este sistema ha sido verificado prácticamente por pruebasrealizadas en el SEP del territorio central de Cuba y los resultados preliminares de las pruebas sugieren quepuede ser implementado para el entrenamiento de despachadores. Se ha demostrado la efectividad delsistema para identificar la localización del fallo muy eficientemente, por lo tanto, puede servir como uninstrumento valioso de ayuda para la localización de fallos, y puede ser usado en las universidades comomedio de enseñanza. El sistema en un futuro pudiera ser ampliado para conectarse al sistema Scada(Sircre-2 a tiempo real para la estimación de secciones en fallo on-line.  The diagnostic system to estimate faulty sections (DSEFS in power electric systems (PES shown in thework it uses the information coming from the relays and breakers operated. It is written in Prolog Language ofartificial Intelligence and implemented in a personal computer. The basic task of this system is to train thedispatchers and to use it like a support tool to the taking of the dispatcher's decisions before situations ofcomplex emergencies with an ambient computacional of friendly user. This system has been verified practicallyby tests carried out in the PES of the central territory of Cuba and the preliminary results of the tests suggestthat  it  can  be  implemented  for  the  training  of  dispatchers.  The  effectiveness  of  the

War of ontology worlds: mathematics, computer code, or Esperanto?

Science.gov (United States)

Rzhetsky, Andrey; Evans, James A

2011-09-01

The use of structured knowledge representations-ontologies and terminologies-has become standard in biomedicine. Definitions of ontologies vary widely, as do the values and philosophies that underlie them. In seeking to make these views explicit, we conducted and summarized interviews with a dozen leading ontologists. Their views clustered into three broad perspectives that we summarize as mathematics, computer code, and Esperanto. Ontology as mathematics puts the ultimate premium on rigor and logic, symmetry and consistency of representation across scientific subfields, and the inclusion of only established, non-contradictory knowledge. Ontology as computer code focuses on utility and cultivates diversity, fitting ontologies to their purpose. Like computer languages C++, Prolog, and HTML, the code perspective holds that diverse applications warrant custom designed ontologies. Ontology as Esperanto focuses on facilitating cross-disciplinary communication, knowledge cross-referencing, and computation across datasets from diverse communities. We show how these views align with classical divides in science and suggest how a synthesis of their concerns could strengthen the next generation of biomedical ontologies.

BAHAN PENYERAP KMnO4 DAN ASAM L-ASKORBAT DALAM PENGEMASAN AKTIF (ACTIVE PACKAGING UNTUK MEMPERPANJANG MASA SIMPAN DAN MEMPERTAHANKAN MUTU BUAH DUKU (Lansium domesticum Corr. [Adsorbers for KMnO4 and L-Ascorbic Acid in the Active Packaging to Prolong the Shelve-Life and Maintain the Quality of Lanzone (Lansium domesticum Corr. Fruits

Directory of Open Access Journals (Sweden)

Soesiladi E Widodo

2005-08-01

Full Text Available To develop an active packaging of lanzone (Lansium domisticum Corr. Fruits, KmnO4 as an ethylene scavenger and L-ascorbic acid as an oxygent scavenger were inserted into packaging. As direct contact of KmnO4 with agricultural product was not recommended and due to the liquid characteristic of both scavenger was carried out. This research was aimed at finding out the best adsorbers for KmnO4, L-ascorbic acid, and their combination in an active packaging to prolog the shelve-life and to maintain the quality of lanzone fruits. The result showed that 1 among the four adsorbers tested, pumice could was the best alternative as a KmnO4 or L-ascorbic acid adsorbers, and 2 spon and pumice were the best alternative adsorber for the combination of KmnO4 or L-ascorbic acid. Both adsorber were effective in prolonging the shelve-live (8-11 days longer than with out packaging and as good as using silica gel and vermiculite and maintaining the quality of lanzone fruits.

Detecting anomalous nuclear materials accounting transactions: Applying machine learning to plutonium processing facilities

International Nuclear Information System (INIS)

Vaccaro, H.S.

1989-01-01

Nuclear materials accountancy is the only safeguards measure that provides direct evidence of the status of nuclear materials. Of the six categories that gives rise to inventory differences, the technical capability is now in place to implement the technical innovations necessary to reduce the human error categories. There are really three main approaches to detecting anomalies in materials control and accountability (MC ampersand A) data: (1) Statistical: numeric methods such as the Page's Test, CUSUM, CUMUF, SITMUF, etc., can detect anomalies in metric (numeric) data. (2) Expert systems: Human expert's rules can be encoded into software systems such as ART, KEE, or Prolog. (3) Machine learning: Training data, such as historical MC ampersand A records, can be fed to a classifier program or neutral net or other machine learning algorithm. The Wisdom ampersand Sense (W ampersand S) software is a combination of approaches 2 and 3. The W ampersand S program includes full features for adding administrative rules and expert judgment rules to the rule base. if desired, the software can enforce consistency among all rules in the rule base

Artificial intelligence and engineering curricula - are changes needed?

International Nuclear Information System (INIS)

Jenkins, J.P.

1988-01-01

The purpose of this paper is to identify the expected impact of artificial intelligence (AI) on curricula and training courses. From this examination, new elements are proposed for the academic preparation and training of engineers who will evaluate and use these systems and capabilities. Artificial intelligence, from an operational viewpoint, begins with a set of rules governing the operation of logic, implemented via computer software and userware. These systems apply logic and experience to handling problems in an intelligent approach, especially when the number of alternatives to problem solution is beyond the scope of the human user. Usually, AI applications take the form of expert systems. An expert system embodies in the computer the knowledge-based component of an expert, such as domain knowledge and reasoning techniques, in such a form that the system can offer intelligent advice and, on demand, justify its own line of reasoning. Two languages predominate, LISP and Prolog. The AI user may interface with the knowledge base via one of these languages or by means of menu displays, cursor selections, or other conventional user interface methods

Automated insertion of sequences into a ribosomal RNA alignment: An application of computational linguistics in molecular biology

Energy Technology Data Exchange (ETDEWEB)

Taylor, Ronald C. [Case Western Reserve Univ., Cleveland, OH (United States)

1991-11-01

This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese`s group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a group of entirely new species. The results were very encouraging, and the tool should be substantial aid to the curators of the 16S alignment. The construction of the grammar was itself automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attach the problem of insertion into an alignment.

Automated insertion of sequences into a ribosomal RNA alignment: An application of computational linguistics in molecular biology

Energy Technology Data Exchange (ETDEWEB)

Taylor, R.C.

1991-11-01

This thesis involved the construction of (1) a grammar that incorporates knowledge on base invariancy and secondary structure in a molecule and (2) a parser engine that uses the grammar to position bases into the structural subunits of the molecule. These concepts were combined with a novel pinning technique to form a tool that semi-automates insertion of a new species into the alignment for the 16S rRNA molecule (a component of the ribosome) maintained by Dr. Carl Woese's group at the University of Illinois at Urbana. The tool was tested on species extracted from the alignment and on a group of entirely new species. The results were very encouraging, and the tool should be substantial aid to the curators of the 16S alignment. The construction of the grammar was itself automated, allowing application of the tool to alignments for other molecules. The logic programming language Prolog was used to construct all programs involved. The computational linguistics approach used here was found to be a useful way to attach the problem of insertion into an alignment.

AUTOCAT. Knowledge-based formal acquisition system according to INIS rules demonstrated by the example of physics core journals

International Nuclear Information System (INIS)

1986-07-01

The AUTOCAT system is designed to perform the following two main tasks: - Orientation in the input data representing a given journal, or relevant contents thereof, with the main purpose of the identification process being to yield a task-specific interpretation of all relevant parts of text. - Transformation of the information units found in the input data into the AUTOCAT output format, in accordance with the INIS Cataloguing Rules. Since the processing structure largely depends on the (static) structure of journals, the representation of the object structure of the various physics core journals selected for the project is of great importance. Among the various representation concepts available, frames are particularly suited for use as an underlying data structure. So the frame concept of Minsky will be modified and enhanced to meet the specific requirements of the project. The basic information for data handling. i.e. identification and cataloguing, will be codified to rules and integrated into the frame concept. Realisation is planned to be in PROLOG. (orig./WB) [de

Model-based reasoning and the control of process plants

International Nuclear Information System (INIS)

Vaelisuo, Heikki

1993-02-01

In addition to feedback control, safe and economic operation of industrial process plants requires discrete-event type logic control like for example automatic control sequences, interlocks, etc. A lot of complex routine reasoning is involved in the design and verification and validation (VandV) of such automatics. Similar reasoning tasks are encountered during plant operation in action planning and fault diagnosis. The low-level part of the required problem solving is so straightforward that it could be accomplished by a computer if only there were plant models which allow versatile mechanised reasoning. Such plant models and corresponding inference algorithms are the main subject of this report. Deep knowledge and qualitative modelling play an essential role in this work. Deep knowledge refers to mechanised reasoning based on the first principles of the phenomena in the problem domain. Qualitative modelling refers to knowledge representation formalism and related reasoning methods which allow solving problems on an abstraction level higher than for example traditional simulation and optimisation. Prolog is a commonly used platform for artificial intelligence (Al) applications. Constraint logic languages like CLP(R) and Prolog-III extend the scope of logic programming to numeric problem solving. In addition they allow a programming style which often reduces the computational complexity significantly. An approach to model-based reasoning implemented in constraint logic programming language CLP(R) is presented. The approach is based on some of the principles of QSIM, an algorithm for qualitative simulation. It is discussed how model-based reasoning can be applied in the design and VandV of plant automatics and in action planning during plant operation. A prototype tool called ISIR is discussed and some initial results obtained during the development of the tool are presented. The results presented originate from preliminary test results of the prototype obtained

A prototype system for perinatal knowledge engineering using an artificial intelligence tool.

Science.gov (United States)

Sokol, R J; Chik, L

1988-01-01

Though several perinatal expert systems are extant, the use of artificial intelligence has, as yet, had minimal impact in medical computing. In this evaluation of the potential of AI techniques in the development of a computer based "Perinatal Consultant," a "top down" approach to the development of a perinatal knowledge base was taken, using as a source for such a knowledge base a 30-page manuscript of a chapter concerning high risk pregnancy. The UNIX utility "style" was used to parse sentences and obtain key words and phrases, both as part of a natural language interface and to identify key perinatal concepts. Compared with the "gold standard" of sentences containing key facts as chosen by the experts, a semiautomated method using a nonmedical speller to identify key words and phrases in context functioned with a sensitivity of 79%, i.e., approximately 8 in 10 key sentences were detected as the basis for PROLOG, rules and facts for the knowledge base. These encouraging results suggest that functional perinatal expert systems may well be expedited by using programming utilities in conjunction with AI tools and published literature.

Object-oriented versus logical conventional implementation of a MMIIS

Science.gov (United States)

Forte, Anne-Marie; Bernadet, Maurice; Lavaire, Franck; Bizais, Yves J.

1992-06-01

The main components of a multimodality medical image interpretation system (MMIIS) are: (1) a user interface, (2) an image database, storing image objects along with their description, (3) expert systems (ES) in various medical imaging domains and particularly in image processing (IP), and (4) an IP actor, toolbox of standard IP procedures. To implement such a system, we are building two prototypes: one with an object-oriented (OO) expert system and one with a classical logical expert system. In these two different approaches, we have to model the medical imaging objects and represent them. Both approaches use an OO data model even if its implementation is different in: (1) the characteristics of each ES, in managing knowledge and inferences (uncertainty, non-monotonicity, backward and forward chaining, meta- knowledge), (2) the environment to implement the different experts and to activate IP procedures, and (3) the communication means between the experts and the other components. In the OO approach, an ES based on smalltalk is used, and in the conventional one an adhoc Prolog ES was built. Our goal is to compare their advantages and disadvantages in implementing a MMIIS.

The QED Workshop

Energy Technology Data Exchange (ETDEWEB)

Pieper, G.W.

1994-07-01

On May 18--20, 1994, Argonne National Laboratory hosted the QED Workshop. The workshop was supported by special funding from the Office of Naval Research. The purpose of the workshop was to assemble of a group of researchers to consider whether it is desirable and feasible to build a proof-checked encyclopedia of mathematics, with an associated facility for theorem proving and proof checking. Among the projects represented were Coq, Eves, HOL, ILF, Imps, MathPert, Mizar, NQTHM, NuPrl, OTTER, Proof Pad, Qu-Prolog, and RRL. Although the content of the QED project is highly technical rigorously proof-checked mathematics of all sorts the discussions at the workshop were rarely technical. No prepared talks or papers were given. Instead, the discussions focused primarily on such political, sociological, practical, and aesthetic questions, such as Why do it? Who are the customers? How can one get mathematicians interested? What sort of interfaces are desirable? The most important conclusion of the workshop was that QED is an idea worthy pursuing, a statement with which virtually all the participants agreed. In this document, the authors capture some of the discussions and outline suggestions for the start of a QED scientific community.

A study on the nuclear characteristics of enriched gadolinia burnable absorber rods; the first year (2000) report

International Nuclear Information System (INIS)

Zee, Sung Quun; Lee, C.C.; Song, J. S.; Cho, B. O.; Joo, H. G.; Park, S. Y.; Kim, H. Y.; Cho, J. Y.; Kim, K. S.

2001-04-01

An analysis model using MICBURN-3/CASMO-3 is established for the enriched gadolinia burnable absorber rods. A homogenized cross section editing code, PROLOG, is modified so that it can handle such a fuel assembly that includes two different types of gadolinia rods. Study shows that Gd-155 and Gd-157 are almost same in suppressing the excess reactivity and it is recommended to enrich both odd number isotopes, Gd-155 and Gd-157. It is estimated that the cycle length increases by 2 days if enriched gadolinia rods are used in the commercial nuclear power plant such as YGN-3 of which the cycle length is assumed 2 years. For the advanced integral reactor SMART in which ultra long cycle length and soluble boron-free operation concept is applied, natural gadolinia burnable absorber rods fail to control the excess reactivity. On the other hand, enriched gadolinia rods are successful in controling the excess reactivity. To minimize power peakings, various placements of gadolinia rods are tested. Also initial reactivity holddown and gadolinia burnout time are parametrized with respect to the number of gadolinia rods and gadolinia weight fractions

Workshop on data acquisition and trigger system simulations for high energy physics

Energy Technology Data Exchange (ETDEWEB)

NONE

1992-12-31

This report discusses the following topics: DAQSIM: A data acquisition system simulation tool; Front end and DCC Simulations for the SDC Straw Tube System; Simulation of Non-Blocklng Data Acquisition Architectures; Simulation Studies of the SDC Data Collection Chip; Correlation Studies of the Data Collection Circuit & The Design of a Queue for this Circuit; Fast Data Compression & Transmission from a Silicon Strip Wafer; Simulation of SCI Protocols in Modsim; Visual Design with vVHDL; Stochastic Simulation of Asynchronous Buffers; SDC Trigger Simulations; Trigger Rates, DAQ & Online Processing at the SSC; Planned Enhancements to MODSEM II & SIMOBJECT -- an Overview -- R.; DAGAR -- A synthesis system; Proposed Silicon Compiler for Physics Applications; Timed -- LOTOS in a PROLOG Environment: an Algebraic language for Simulation; Modeling and Simulation of an Event Builder for High Energy Physics Data Acquisition Systems; A Verilog Simulation for the CDF DAQ; Simulation to Design with Verilog; The DZero Data Acquisition System: Model and Measurements; DZero Trigger Level 1.5 Modeling; Strategies Optimizing Data Load in the DZero Triggers; Simulation of the DZero Level 2 Data Acquisition System; A Fast Method for Calculating DZero Level 1 Jet Trigger Properties and Physics Input to DAQ Studies.

L'Astronomia del Venerdí Santo, l'eclissi di Luna e l'ora della Sindone

Science.gov (United States)

Sigismondi, Costantino

2014-05-01

Dating the crucifixion on friday 3 April 33, when, at sunset a partially eclipsed Moon rised allows to interprete the speech of Saint Peter (Acts 2:20=Joel 3:4) on the day of Pentecost as including an account of this eclipse, as fulfillment of the Scriptures. Few minutes later the apparition of a third star of medium magnitude stated the beginning of the sabbatical rest: before that time Jesus has been buried, wrapped into the shroud. The observations of the equinoctial moonrise from the Mount of Olives on September 2013 are strongly in favour of the hypotehsis of possible observation of the lunar eclipse of 33 AD by Jewish people, as well as the sunrises observed from the Temple Institute terrace in Southern-East Jerusalem demonstrated that this eclipse could have been seen from Jerusalem. The depression of the horizon and the refraction allow to see Sun and Moon more than 1 degree below the geometrical horizon in the azimuthal direction ranging from 90 to 116, prologing to 16 minutes the duration of the partial lunar eclipse observed in 33AD. Texts of Matthew, Mark and Cyrillus of Jerusalem are also commented.

Automated derivation of failure symptoms for diagnosis of nuclear plant

International Nuclear Information System (INIS)

Washio, T.; Kitamura, M.; Kotajima, K.; Sugiyama, K.

1986-01-01

A method of automated derivation of failure symptoms was developed as an approach to computer-aided failure diagnosis in a nuclear power plant. The automated derivation is realized using a knowledge representation called the semantic network (S-net). The purpose of this paper is to demonstrate the applicability of the S-net representation as a basic tool for deriving failure symptoms. If one can generate symptoms automatically, the computer-aided plant safety analysis and diagnosis can be performed easily by evaluating the influence of the failures on the whole plant. A specific description format called a 'network list' was introduced to implement the knowledge of the structure of the plant. The failure symptoms are derived automatically, based on the knowledge of the structure of the plant, using a PROLOG-based database handling system. This approach allows us to derive the failure symptoms of the plant without using conventional event-chain models (e.g. a cause-consequence tree) which are subject to human errors in their design and implementation. Applicability of this method was evaluated with a simulation model of the dynamics of the secondary system of a PWR. (author)

Architecture and Design of Expert System for Quality of Life Evaluation

Directory of Open Access Journals (Sweden)

Irena ATANASOVA

2013-01-01

Full Text Available This article presents an architectural framework of an expert system (ES in the social area domain and describes the design of the ES, using the shell Expert System for Text Animation (ESTA. The designed system is intended for the evaluation of quality of life (QL. The development of ES for QL evaluation is a new information technology derived from artificial intelligent research, using ESTA system with application in social area domain. The proposed ES contains knowledge about sets of factors (objective conditions and subjective perception and indicators, which may be used to QL measure, as followings: equal protection of the law; freedom from discrimination; right to be treated equally without regard to gender, race, language, religion, political beliefs, nationality, socio-economic status and more; right to privacy; freedom of thought; free choice of employment; right to fair pay; equal pay for equal work; right to vote; right to rest and leisure; right to education. The system is developed in the ESTA, which is Visual Prolog 7.3 Application. The knowledge for the ES will be acquired from domain experts, texts and other related sources.

Workshop on data acquisition and trigger system simulations for high energy physics

International Nuclear Information System (INIS)

1992-01-01

This report discusses the following topics: DAQSIM: A data acquisition system simulation tool; Front end and DCC Simulations for the SDC Straw Tube System; Simulation of Non-Blocklng Data Acquisition Architectures; Simulation Studies of the SDC Data Collection Chip; Correlation Studies of the Data Collection Circuit ampersand The Design of a Queue for this Circuit; Fast Data Compression ampersand Transmission from a Silicon Strip Wafer; Simulation of SCI Protocols in Modsim; Visual Design with vVHDL; Stochastic Simulation of Asynchronous Buffers; SDC Trigger Simulations; Trigger Rates, DAQ ampersand Online Processing at the SSC; Planned Enhancements to MODSEM II ampersand SIMOBJECT -- an Overview -- R.; DAGAR -- A synthesis system; Proposed Silicon Compiler for Physics Applications; Timed -- LOTOS in a PROLOG Environment: an Algebraic language for Simulation; Modeling and Simulation of an Event Builder for High Energy Physics Data Acquisition Systems; A Verilog Simulation for the CDF DAQ; Simulation to Design with Verilog; The DZero Data Acquisition System: Model and Measurements; DZero Trigger Level 1.5 Modeling; Strategies Optimizing Data Load in the DZero Triggers; Simulation of the DZero Level 2 Data Acquisition System; A Fast Method for Calculating DZero Level 1 Jet Trigger Properties and Physics Input to DAQ Studies

Dianella Selvatico Estense

Directory of Open Access Journals (Sweden)

José Molina

2014-06-01

Full Text Available Dianella Selvatico Estense nace en Padova en 1936 y muere en Cortina d’Ampezzo en 1999. Poeta y traductora, Selvatico es un claro ejemplo de la importancia que cobra la traducción en el quehacer poético de una lengua. Sus poemas recurren constantemente a callejones lingüísticos propios de la lengua italiana, haciendo el guiño de su propia labor a sus futuros corresponsales. Tradujo del francés y del inglés para la casa editorial Einaudi a autores como Simone de Beauvoir, Guy de Maupassant, Pierre Jean Jouve y Michael Crichton, entre otros. Sus publicaciones incluyen los libros de poemas Si è sfogliata una rosa (1958, Quando il giorno sarà compiuto (1960, Un giorno all’improvviso (1964 y Nel breve Cerchio (1988. Es autora también de la novela Il senso delle cose (1967. Fue amiga del poeta Giuseppe Ungaretti, quien prologó dos de sus libros. Los poemas presentados aquí forman parte de su poesía póstuma, publicada por Campanotto Editore en el año 2001.

Development of on-line operator aid system (OASYSTM) for nuclear power plants

International Nuclear Information System (INIS)

Kang, Ki Sig; Choi, Seong Soo; Kim, Han Gon; Chang, Soon Heung; Jeong, Hee Kyo; Yi, Chul Un

1994-01-01

In this paper, the development of On - line operator Aid SYStem (OASYS TM ) are discussed by focusing attention on the importance of the operator's role for nuclear power plants. The OASYS TM is under development to support the operator's decision making process and to enhance the safety of a nuclear power plant by providing the plant operators with timely and proper guideline during abnormal and emergency conditions. The OASYS TM has capabilities for the signal validation/management, the alarm processing, the failure diagnosis using abnormal operating procedures, and the dynamic tracking of emergency operating procedures using function restoration guidelines and optimal recovery guidelines with a series of complex logic steps covering a broad spectrum of event sequences. The proposed system is being implemented on a SUN-4/75 Workstation using C and Quintus TM prolog language. For verification studies a full-scope real-time simulator is being used. Test results show that the OASYS TM is capable of diagnosing a plant failure quickly and providing an operator guideline with fast response time. After verification the OASYS TM will be installed in the simulator II of Kori nuclear training center

A feasibility study for the application of enriched gadolinia burnable absorber rods in nuclear core design

International Nuclear Information System (INIS)

Lee, Chung Chan; Zee, Sung Quun; Kim, Kang Seog; Song, Jae Seung

2000-12-01

An analysis model using MICBURN-3/CASMO-3 is established for the enriched gadolinia burnable absorber rods. A homogenized cross section editing code, PROLOG, is modified so that it can handle such a fuel assembly that includes two different types of gadolinia rods. Study shows that Gd-155 and Gd-157 are almost same in suppressing the excess reactivity and it is recommended to enrich both odd number isotopes, Gd-155 and Gd-157. It is estimated that the cycle length increases by 2 days if enriched gadolinia rods are used in the commercial nuclear power plant such as YGN-3 of which the cycle length is assumed 2 years. For the advanced integral reactor SMART in which ultra long cycle length and soluble boron-free operation concept is applied, natural gadolinia burnable absorber rods fail to control the excess reactivity. On the other hand, enriched gadolinia rods are successful in controling the excess reactivity. To minimize power peakings, various placements of gadolinia rods are tested. Also initial reactivity holddown and gadolinia burnout time are parametrized with respect to the number of gadolinia rods and gadolinia weight fractions

A proposed heuristic methodology for searching reloading pattern

International Nuclear Information System (INIS)

Choi, K. Y.; Yoon, Y. K.

1993-01-01

A new heuristic method for loading pattern search has been developed to overcome shortcomings of the algorithmic approach. To reduce the size of vast solution space, general shuffling rules, a regionwise shuffling method, and a pattern grouping method were introduced. The entropy theory was applied to classify possible loading patterns into groups with similarity between them. The pattern search program was implemented with use of the PROLOG language. A two-group nodal code MEDIUM-2D was used for analysis of power distribution in the core. The above mentioned methodology has been tested to show effectiveness in reducing of solution space down to a few hundred pattern groups. Burnable poison rods were then arranged in each pattern group in accordance with burnable poison distribution rules, which led to further reduction of the solution space to several scores of acceptable pattern groups. The method of maximizing cycle length (MCL) and minimizing power-peaking factor (MPF) were applied to search for specific useful loading patterns from the acceptable pattern groups. Thus, several specific loading patterns that have low power-peaking factor and large cycle length were successfully searched from the selected pattern groups. (Author)

Modelling antibody side chain conformations using heuristic database search.

Science.gov (United States)

Ritchie, D W; Kemp, G J

1997-01-01

We have developed a knowledge-based system which models the side chain conformations of residues in the variable domains of antibody Fv fragments. The system is written in Prolog and uses an object-oriented database of aligned antibody structures in conjunction with a side chain rotamer library. The antibody database provides 3-dimensional clusters of side chain conformations which can be copied en masse into the model structure. The object-oriented database architecture facilitates a navigational style of database access, necessary to assemble side chains clusters. Around 60% of the model is built using side chain clusters and this eliminates much of the combinatorial complexity associated with many other side chain placement algorithms. Construction and placement of side chain clusters is guided by a heuristic cost function based on a simple model of side chain packing interactions. Even with a simple model, we find that a large proportion of side chain conformations are modelled accurately. We expect our approach could be used with other homologous protein families, in addition to antibodies, both to improve the quality of model structures and to give a "smart start" to the side chain placement problem.

Evaluating bacterial gene-finding HMM structures as probabilistic logic programs.

Science.gov (United States)

Mørk, Søren; Holmes, Ian

2012-03-01

Probabilistic logic programming offers a powerful way to describe and evaluate structured statistical models. To investigate the practicality of probabilistic logic programming for structure learning in bioinformatics, we undertook a simplified bacterial gene-finding benchmark in PRISM, a probabilistic dialect of Prolog. We evaluate Hidden Markov Model structures for bacterial protein-coding gene potential, including a simple null model structure, three structures based on existing bacterial gene finders and two novel model structures. We test standard versions as well as ADPH length modeling and three-state versions of the five model structures. The models are all represented as probabilistic logic programs and evaluated using the PRISM machine learning system in terms of statistical information criteria and gene-finding prediction accuracy, in two bacterial genomes. Neither of our implementations of the two currently most used model structures are best performing in terms of statistical information criteria or prediction performances, suggesting that better-fitting models might be achievable. The source code of all PRISM models, data and additional scripts are freely available for download at: http://github.com/somork/codonhmm. Supplementary data are available at Bioinformatics online.

Developing a PC-based expert system for fault analysis of reactor instruments

International Nuclear Information System (INIS)

Diwakar, M.P.; Rathod, N.C.; Bairi, B.R.; Darbhe, M.D.; Joglekar, S.S.

1989-01-01

This paper describes the development of an expert system for fault analysis of electronic instruments in the CIRUS nuclear reactor. The system was developed in Prolog on an IBM PC-XT compatible computer. A 'model-based' approach (Button et al, 1986) was adopted combining 'frames' and 'rules' to provide flexible control over the inferencing mechanisms. Frames represent the domain-objects as well as the inter-object relationships. They include 'demons' or 'active values' for triggering actions. Rules, along with frames, are used for fault analysis. The rules can be activated either in a data-driven or a goal-driven manner. The use of frames makes rule management easier. It is felt that developing in-house shell proved advantageous, compared to using commercially available shells. Choosing the model-based approach was efficient compared to a production system architecture. Therefore, the use of hybrid representations for diagnostic applications is advocated. Based on the experience, some general recommendations for developing such systems are presented. The expert system helps novice operators to understand the process of diagnosis and achieve a significant required level of competence. The system may not achieve the required level of proficiency by itself, but it can be used to train operators to become experts. (author). 12 refs

FERRAMENTA DE APOIO À FORMULAÇÃO SIMBÓLICA DE MODELOS CINÉTICOS MICROBIANOS NÃO-ESTRUTURADOS

Directory of Open Access Journals (Sweden)

F. P. R. Martins

2004-12-01

Full Text Available Com o intuito de aprimorar e facilitar as atividades de modelagem, desenvolveu-se umsoftware de apoio à formulação de modelos cinéticos não-estruturados, o qual gera,automaticamente, estruturas matemáticas simbólicas. Estas são montadas a partir de seleçõesque o usuário realiza utilizando as informações que detém sobre os principais fenômenos queafetam a cinética dos processos fermentativos. Para, tanto, são combinadas variadas fontes deconhecimento, representadas através de cláusulas Prolog, e que abrangem os seguintesaspectos do processo: tipos de sistema de cultivo, reações estequiométricas, fenômenos delimitação, inibição, morte celular, manutenção microbiana, decomposição de substratos eformação de produtos. O resultado final são conjuntos de equações diferenciais simbólicas,com parâmetros conhecidos e/ou a estimar, as quais podem ser exportadas e utilizadas emprogramas de determinação e ajuste de parâmetros cinéticos e de simulação, otimização eprojeto de reatores bioquímicos.

A logic programming and statistical systems approach for tissue characterization in magnetic resonance imaging

International Nuclear Information System (INIS)

Levy, G.C.; Dudewicz, E.J.; Harner, T.J.

1989-01-01

The main research goal has been to evalute significant factors affecting the in vivo magnetic resonance imaging (MRI) parameters R 1 , T 2 , and 1 H density. This approach differs significantly from other such projects in that the experimental data analysis is being performed while concurrently developing automated, computer-aided analysis software for such MRI tissue parameters. In the experimental portion of the project, statistical analyses, and a heuristic minimum/maximum discriminant analysis algorithm have been explored. Both methods have been used to classify tissue types from 1.5 Tesla transaxial MR images of the human brain. The developing program, written in the logic programming language Prolog, similar in a number of ways to many existing expert systems now in use for other medical applications; inclusion of the underlying statistical data base and advanced statistical analyses is the main differentiating feature of the current approach. First results indicate promising classification accuracy of various brain tissues such as gray and white matter, as well as differentiation of different types of gray matter and white matter (e.g.: caudate-nucleus vs. thalamus, both representatives of gray matter; and, cortical white matter vs. internal capsule as representative of white matter). Taking all four tissue types together, the percentage of correct classifications ranges from 73 to 87%. (author)

Qualitative spatial logic descriptors from 3D indoor scenes to generate explanations in natural language.

Science.gov (United States)

Falomir, Zoe; Kluth, Thomas

2018-05-01

The challenge of describing 3D real scenes is tackled in this paper using qualitative spatial descriptors. A key point to study is which qualitative descriptors to use and how these qualitative descriptors must be organized to produce a suitable cognitive explanation. In order to find answers, a survey test was carried out with human participants which openly described a scene containing some pieces of furniture. The data obtained in this survey are analysed, and taking this into account, the QSn3D computational approach was developed which uses a XBox 360 Kinect to obtain 3D data from a real indoor scene. Object features are computed on these 3D data to identify objects in indoor scenes. The object orientation is computed, and qualitative spatial relations between the objects are extracted. These qualitative spatial relations are the input to a grammar which applies saliency rules obtained from the survey study and generates cognitive natural language descriptions of scenes. Moreover, these qualitative descriptors can be expressed as first-order logical facts in Prolog for further reasoning. Finally, a validation study is carried out to test whether the descriptions provided by QSn3D approach are human readable. The obtained results show that their acceptability is higher than 82%.

Non-proliferation of nuclear weapons

International Nuclear Information System (INIS)

Fischer, D.; Haeckel, E.; Haefele, W.; Lauppe, W.D.; Mueller, H.; Ungerer, W.

1991-01-01

During the turbulant transitional events in world politics in the nineties, the control of nuclear weapons plays a major role. While the superpowers are reducing their nuclear arsenal, the danger of nuclear anarchy in the world remains virulent. The NPT of 1968 is up for review soon. The falling apart of the former communist sphere of power, and the regions of conflict in the Third World present new risks for the proliferation of nuclear arms. For unified Germany, which explicitly renounced nuclear weapons, this situation presents difficult questions concerning national safety policies and international responsibility. This volume presents contributions which take a new look at topical and long-term problems of nuclear NP politics. The authors evaluate the conditions under which the NP regime came into being, and assess short- and long-term possibilities and risks. The following papers are included: 1.) Basic controversies during the negotiations concerning the Treaty on non-proliferation of nuclear weapons (Ungerer); 2.) Prologation of the NPT 1995 and appropriate problems concerning safety and control (Haefele/Lauppe); 3.) Consequences of the Iraq case for NP policy (Ficher); 4.) Problems of nuclear technology control (Mueller); 5.) Framework conditions of a nuclear world system (Haeckel). (orig./HP) [de

Dynamic flood webmapping: an operational and cost-limited tool to optimize crisis management

Directory of Open Access Journals (Sweden)

Strappazzon Quentin

2016-01-01

Full Text Available Due to strong climate variations and the multiplication of flood events, protection based strategies are no longer sufficient to handle a watershed scale crisis. Monitoring, prediction and alert procedures are required to ensure effective crisis and post-crisis management which explains the recent interest for real time predictions systems. Nevertheless, this kind of system, when fully implemented with in-situ monitoring network, meteorological forecast inputs, hydrological and hydraulic modelling and flood mapping, are often postponed or cancelled because of both their cost and time scale. That is why Prolog Ingénierie and the SyAGE have developed, as an economical and technical sustainable alternative, a tool providing shared access to a real time mapping of current and predicted flooded areas along with a dynamic listing of exposed stakes (such as public buildings, sensible infrastructures, environmental buildings, roads. The update of these maps is performed from the combination of predicted water levels in the river and a flood envelop library (based on 1D/2D hydraulic model results for a wide panel of discharges and hydraulic structures states conditions. This tool has already been implemented on the downstream part of the Yerres River, a tributary of the Seine River in France.

Optimization of fuel exchange machine operation for boiling water reactors using an artificial intelligence technique

International Nuclear Information System (INIS)

Sekimizu, K.; Araki, T.; Tatemichi, S.I.

1987-01-01

Optimization of fuel assembly exchange machine movements during periodic refueling outage is discussed. The fuel assembly movements during a fuel shuffling were examined, and it was found that the fuel assembly movements consist of two different movement sequences;one is the ''PATH,'' which begins at a discharged fuel assembly and terminates at a fresh fuel assembly, and the other is the ''LOOP,'' where fuel assemblies circulate in the core. It is also shown that fuel-loading patterns during the fuel shuffling can be expressed by the state of each PATH, which is the number of elements already accomplished in the PATH actions. Based on this fact, a scheme to determine a fuel assembly movement sequence within the constraint was formulated using the artificial intelligence language PROLOG. An additional merit to the scheme is that it can simultaneously evaluate fuel assembly movement, due to the control rods and local power range monitor exchange, in addition to normal fuel shuffling. Fuel assembly movements, for fuel shuffling in a 540-MW(electric) boiling water reactor power plant, were calculated by this scheme. It is also shown that the true optimization to minimize the fuel exchange machine movements would be costly to obtain due to the number of alternatives that would need to be evaluated. However, a method to obtain a quasi-optimum solution is suggested

The quark model and asymptotic freedom

International Nuclear Information System (INIS)

Anon.

1986-01-01

The authors stress that it is not their task to provide a detailed account of the quark model (this is given in many monographs and reviews). This chapter is merely a prolog to the complex contemporary problems of high-energy physics which form the main subject of the present monograph. The quark model is based on the idea that there exist hypothetical fundamental particles - quarks, which they shall denote by q-bar/sub i/ (the index i characterizes the type of quark). From these particles and their antiparticles one constructs bound states, which are identified with the known hadrons. It turns out that all the observed mesons can be constructed from a quark q/sub i/ and an antiquark q-bar/sub i/, while the baryons (antibaryons) can be constructed from three quarks (antiquarks). To make it possible to build up all the observed hadrons and their characteristics, the authors must postulate that the quarks (antiquarks) possess the following properties: 1) spin 1/2; 2) isospin. It is necessary to introduce isospin 1/2 for the construction of the nonstrange hadrons. It has been proposed to denote the quark with isospin projection tau/sub 3/ = 1/2 by the symbol u (from the English ''up'') and the quark with isospin projection tau/sub 3/ = -1/2 by the symbol d (from the English ''down'')

Expert systems: an alternative paradigm

Energy Technology Data Exchange (ETDEWEB)

Coombs, M.; Alty, J.

1984-01-01

There has recently been a significant effort by the AI community to interest industry in the potential of expert systems. However, this has resulted in far fewer substantial applications projects than might be expected. This article argues that this is because human experts are rarely required to perform the role that computer-based experts are programmed to adopt. Instead of being called in to answer well-defined problems, they are more often asked to assist other experts to extend and refine their understanding of a problem area at the junction of their two domains of knowledge. This more properly involves educational rather than problem-solving skills. An alternative approach to expert system design is proposed based upon guided discovery learning. The user is provided with a supportive environment for a particular class of problem, the system predominantly acting as an adviser rather than directing the interaction. The environment includes a database of domain knowledge, a set of procedures for its application to a concrete problem, and an intelligent machine-based adviser to judge the user's effectiveness and advise on strategy. The procedures focus upon the use of user generated explanations both to promote the application of domain knowledge and to expose understanding difficulties. Simple database PROLOG is being used as the subject material for the prototype system which is known as MINDPAD. 30 references.

AutoBayes Program Synthesis System System Internals

Science.gov (United States)

Schumann, Johann Martin

2011-01-01

This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use and importance of the symbolic system for synthesis. Any synthesis system is a large and complex piece of code. In this lecture, we will study Autobayes in detail. AutoBayes has been developed at NASA Ames and has been made open source. It takes a compact statistical specification and generates a customized data analysis algorithm (in C/C++) from it. AutoBayes is written in SWI Prolog and many concepts from rewriting, logic, functional, and symbolic programming. We will discuss the system architecture, the schema libary and the extensive support infra-structure. Practical hands-on experiments and exercises will enable the student to get insight into a realistic program synthesis system and provides knowledge to use, modify, and extend Autobayes.

The Specification of an Expert System for Building Bylaws Compliance

Directory of Open Access Journals (Sweden)

Sania Bhatti

2012-04-01

Full Text Available An Expert System is a computer program that simulates the human intelligence and behaviour in specific and limited domains. It is used to solve problems with tricks, shortcuts and heuristics i.e. rules of thumb. Checking a Plan (Map to verify its compliance with building bylaws is a complex task mainly due to various rules and the exceptions to those rules. Humans are prone to make errors in such situations. Due to the problems faced by Building Control Department, HDA ( Hyderabad Development Authority there is a strong need to develop a computerized system. In this research we have developed a prototype named as ESBBC (Expert System for Building Bylaws Compliance for HDA that can help in their building plan checking system. The proposed solution is merging three frameworks, i.e. Java an OOP (Object Oriented Programming language, Prolog- a rule based language and MS Access- for database. The solution is fulfilling the three main requirements of the HDA, i.e. Determination of whether a particular plan is in compliance with predefined building bylaws or not. (2 Offering search facility. (3 Maintaining records of plans which are entered for compliance checking. We have checked plans of 20 properties according to HDA building regulations using ESBBC and presented their results. The results show that ESBBC has capability to identify errors made by humans.

An introduction to language processing with Perl and Prolog an outline of theories, implementation, and application with special consideration of English, French and German

CERN Document Server

Nugues, Pierre M

2005-01-01

The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand to automatically process text and spoken data. With the processing power and techniques now available, research is scaling up from lab prototypes to real-world, proven applications. This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, and annotation schemes; defining words, tokens and parts of speech; and morphology. It then details the language-processing functions involved, including part-o

Experiments with microcomputer-based artificial intelligence environments

Science.gov (United States)

Summers, E.G.; MacDonald, R.A.

1988-01-01

The U.S. Geological Survey (USGS) has been experimenting with the use of relatively inexpensive microcomputers as artificial intelligence (AI) development environments. Several AI languages are available that perform fairly well on desk-top personal computers, as are low-to-medium cost expert system packages. Although performance of these systems is respectable, their speed and capacity limitations are questionable for serious earth science applications foreseen by the USGS. The most capable artificial intelligence applications currently are concentrated on what is known as the "artificial intelligence computer," and include Xerox D-series, Tektronix 4400 series, Symbolics 3600, VAX, LMI, and Texas Instruments Explorer. The artificial intelligence computer runs expert system shells and Lisp, Prolog, and Smalltalk programming languages. However, these AI environments are expensive. Recently, inexpensive 32-bit hardware has become available for the IBM/AT microcomputer. USGS has acquired and recently completed Beta-testing of the Gold Hill Systems 80386 Hummingboard, which runs Common Lisp on an IBM/AT microcomputer. Hummingboard appears to have the potential to overcome many of the speed/capacity limitations observed with AI-applications on standard personal computers. USGS is a Beta-test site for the Gold Hill Systems GoldWorks expert system. GoldWorks combines some high-end expert system shell capabilities in a medium-cost package. This shell is developed in Common Lisp, runs on the 80386 Hummingboard, and provides some expert system features formerly available only on AI-computers including frame and rule-based reasoning, on-line tutorial, multiple inheritance, and object-programming. ?? 1988 International Association for Mathematical Geology.

A multi-agent design for a pressurized water reactor (P.W.R.) control system; Modelisation multi-agents pour la conduite d'un reacteur a eau sous pression (REP)

Energy Technology Data Exchange (ETDEWEB)

Aimar-Lichtenberger, M. [Paris-11 Univ., 91 - Orsay (France)

1999-01-01

This PhD work is in keeping with the complex industrial process control. The starting point is the analysis of control principles in a Pressurized Water Reactor (P.W.R). In order to cope with the limits of the present control procedures, a new control organisation by objectives and means is defined. This functional organisation is based on the state approach and is characterized by the parallel management of control functions to ensure the continuous control of the installation essential variables. With regard to this complex system problematic, we search the most adapted computer modeling. We show that a multi-agent system approach brings an interesting answer to manage the distribution and parallelism of control decisions and tasks. We present a synthetic study of multi-agent systems and their application fields.The choice of a multi-agent approach proceeds with the design of an agent model. This model gains experiences from other applications. This model is implemented in a computer environment which combines the mechanisms of an object language with Prolog. We propose in this frame a multi-agent modeling of the control system where each function is represented by an agent. The agents are structured in a hierarchical organisation and deal with different abstraction levers of the problem. Following a prototype process, the validation is realized by an implementation and by a coupling to a reactor simulator. The essential contributions of an agent approach turn on the mastery of the system complexity, the openness, the robustness and the potentialities of human-machine cooperation. (author)

Developing and providing an online (web-based) clinical research design course in Japan: lessons learned.

Science.gov (United States)

Clark, Glenn T; Mulligan, Roseann; Baba, Kazuyoshi

2011-04-01

This article reports on the lessons learned while teaching an 8-week-long online course about the principles of clinical research design in Japan. Student activity data and how it relates to performance in the course are presented. As prolog, this article focuses on the barriers and solutions to creating and delivering a web-based course and it lists and discusses the most common concerns that educators often have about this process, namely, cost of the system and time requirement of the faculty. Options that must be considered when selecting the support software and hardware needed to conduct live streaming lecture, online video-based conference course are presented. The ancillary role of e-mail based distribution lists as an essential instruction tool within an interactive, instructor-supervised online course is discussed. This article then discusses the inclusion of active learning elements within an online course as well as the pros and cons regarding open-book versus closed book, proctored testing. Lastly, copyright issues the online instructor should know about are discussed. The student tracking data show that as the course progresses, students will reduce the number for page viewings. We speculate that this reduction is due to a combination of conflicting priorities plus increasing efficiency of the students at extracting the critical information. The article also concludes that software and hardware costs to deliver an online course are relatively minor but the faculty's time requirement is initially substantially higher than teaching in a conventional face-to-face course. Copyright © 2011 Japan Prosthodontic Society. Published by Elsevier Ltd. All rights reserved.

A multi-agent design for a pressurized water reactor (P.W.R.) control system

International Nuclear Information System (INIS)

Aimar-Lichtenberger, M.

1999-01-01

This PhD work is in keeping with the complex industrial process control. The starting point is the analysis of control principles in a Pressurized Water Reactor (P.W.R). In order to cope with the limits of the present control procedures, a new control organisation by objectives and means is defined. This functional organisation is based on the state approach and is characterized by the parallel management of control functions to ensure the continuous control of the installation essential variables. With regard to this complex system problematic, we search the most adapted computer modeling. We show that a multi-agent system approach brings an interesting answer to manage the distribution and parallelism of control decisions and tasks. We present a synthetic study of multi-agent systems and their application fields.The choice of a multi-agent approach proceeds with the design of an agent model. This model gains experiences from other applications. This model is implemented in a computer environment which combines the mechanisms of an object language with Prolog. We propose in this frame a multi-agent modeling of the control system where each function is represented by an agent. The agents are structured in a hierarchical organisation and deal with different abstraction levers of the problem. Following a prototype process, the validation is realized by an implementation and by a coupling to a reactor simulator. The essential contributions of an agent approach turn on the mastery of the system complexity, the openness, the robustness and the potentialities of human-machine cooperation. (author)

Ontology and medical diagnosis.

Science.gov (United States)

Bertaud-Gounot, Valérie; Duvauferrier, Régis; Burgun, Anita

2012-03-01

Ontology and associated generic tools are appropriate for knowledge modeling and reasoning, but most of the time, disease definitions in existing description logic (DL) ontology are not sufficient to classify patient's characteristics under a particular disease because they do not formalize operational definitions of diseases (association of signs and symptoms=diagnostic criteria). The main objective of this study is to propose an ontological representation which takes into account the diagnostic criteria on which specific patient conditions may be classified under a specific disease. This method needs as a prerequisite a clear list of necessary and sufficient diagnostic criteria as defined for lots of diseases by learned societies. It does not include probability/uncertainty which Web Ontology Language (OWL 2.0) cannot handle. We illustrate it with spondyloarthritis (SpA). Ontology has been designed in Protégé 4.1 OWL-DL2.0. Several kinds of criteria were formalized: (1) mandatory criteria, (2) picking two criteria among several diagnostic criteria, (3) numeric criteria. Thirty real patient cases were successfully classified with the reasoner. This study shows that it is possible to represent operational definitions of diseases with OWL and successfully classify real patient cases. Representing diagnostic criteria as descriptive knowledge (instead of rules in Semantic Web Rule Language or Prolog) allows us to take advantage of tools already available for OWL. While we focused on Assessment of SpondyloArthritis international Society SpA criteria, we believe that many of the representation issues addressed here are relevant to using OWL-DL for operational definition of other diseases in ontology.

FUNDAMENTALS OF STRUCTURAL TYPOLOGY DEVICE DESIGN WITH A GAS BEARING LAYER

Directory of Open Access Journals (Sweden)

I. A. Аvtsinоv

2015-01-01

Full Text Available We describe the typical stages of a structural typology of devices allowing them to design quality in the automatic mode on the known parameters of products (parts and the required processing operations with them. In the first stage classification it was organized as a piece of specific products and devices for the manipulation of the latter. Specifics items described their physical – mechanical properties, geometry and their application. The most frequently described specific products are used in pharmaceutical, perfume, food, microelectronics, electrical engineering, electronics. The main elements of the proposed device is a carrier working surface over which a thin layer of gas is created. Depending on the position (horizontal or vertical of the form of its movement (rotation, rotational – translational or is stationary, and the configuration of the carrier operating the surface implement various manufacturing operations (targeting, positioning, shaping, classification, transport, heat treatment, weight control, assembly, culling, and others. The second stage was to mathematically describe the relationship of the specificity of piece goods, with design features of devices supporting the work surface and sold them operations. For this purpose, the device has been used in discrete mathematics, with which you can produce a description of all types of devices, and then make a conclusion such as the work surface meets the specified requirements. The apparent advantage of using predicate logic to this problem is fairly simple implementation of the algorithm of structural typology, which can be expressed using a declarative programming language. In the third phase, work is underway to create the necessary algorithmic language program "Prolog" and presented the structure of the imperative and declarative implementation of the algorithm.

Human factors issues in the use of artificial intelligence in air traffic control. October 1990 Workshop

Science.gov (United States)

Hockaday, Stephen; Kuhlenschmidt, Sharon (Editor)

1991-01-01

The objective of the workshop was to explore the role of human factors in facilitating the introduction of artificial intelligence (AI) to advanced air traffic control (ATC) automation concepts. AI is an umbrella term which is continually expanding to cover a variety of techniques where machines are performing actions taken based upon dynamic, external stimuli. AI methods can be implemented using more traditional programming languages such as LISP or PROLOG, or they can be implemented using state-of-the-art techniques such as object-oriented programming, neural nets (hardware or software), and knowledge based expert systems. As this technology advances and as increasingly powerful computing platforms become available, the use of AI to enhance ATC systems can be realized. Substantial efforts along these lines are already being undertaken at the FAA Technical Center, NASA Ames Research Center, academic institutions, industry, and elsewhere. Although it is clear that the technology is ripe for bringing computer automation to ATC systems, the proper scope and role of automation are not at all apparent. The major concern is how to combine human controllers with computer technology. A wide spectrum of options exists, ranging from using automation only to provide extra tools to augment decision making by human controllers to turning over moment-by-moment control to automated systems and using humans as supervisors and system managers. Across this spectrum, it is now obvious that the difficulties that occur when tying human and automated systems together must be resolved so that automation can be introduced safely and effectively. The focus of the workshop was to further explore the role of injecting AI into ATC systems and to identify the human factors that need to be considered for successful application of the technology to present and future ATC systems.

Identifying novel drug indications through automated reasoning.

Directory of Open Access Journals (Sweden)

Luis Tari

Full Text Available With the large amount of pharmacological and biological knowledge available in literature, finding novel drug indications for existing drugs using in silico approaches has become increasingly feasible. Typical literature-based approaches generate new hypotheses in the form of protein-protein interactions networks by means of linking concepts based on their cooccurrences within abstracts. However, this kind of approaches tends to generate too many hypotheses, and identifying new drug indications from large networks can be a time-consuming process.In this work, we developed a method that acquires the necessary facts from literature and knowledge bases, and identifies new drug indications through automated reasoning. This is achieved by encoding the molecular effects caused by drug-target interactions and links to various diseases and drug mechanism as domain knowledge in AnsProlog, a declarative language that is useful for automated reasoning, including reasoning with incomplete information. Unlike other literature-based approaches, our approach is more fine-grained, especially in identifying indirect relationships for drug indications.To evaluate the capability of our approach in inferring novel drug indications, we applied our method to 943 drugs from DrugBank and asked if any of these drugs have potential anti-cancer activities based on information on their targets and molecular interaction types alone. A total of 507 drugs were found to have the potential to be used for cancer treatments. Among the potential anti-cancer drugs, 67 out of 81 drugs (a recall of 82.7% are indeed known cancer drugs. In addition, 144 out of 289 drugs (a recall of 49.8% are non-cancer drugs that are currently tested in clinical trials for cancer treatments. These results suggest that our method is able to infer drug indications (original or alternative based on their molecular targets and interactions alone and has the potential to discover novel drug indications for

[From data entry to data presentation at a clinical workstation--experiences with Anesthesia Information Management Systems (AIMS)].

Science.gov (United States)

Benson, M; Junger, A; Quinzio, L; Michel, A; Sciuk, G; Fuchs, C; Marquardt, K; Hempelmannn, G

2000-09-01

Anesthesia Information Management Systems (AIMS) are required to supply large amounts of data for various purposes such as performance recording, quality assurance, training, operating room management and research. It was our objective to establish an AIMS that enables every member of the department to independently access queries at his/her work station and at the same time allows the presentation of data in a suitable manner in order to increase the transfer of different information to the clinical workstation. Apple Macintosh Clients (Apple Computer, Inc. Cupertino, California) and the file- and database servers were installed into the already partially existing hospital network. The most important components installed on each computer are the anesthesia documenting software NarkoData (ProLogic GmbH, Erkrath), HIS client software and a HTML browser. More than 250 queries for easy evaluation were formulated with the software Voyant (Brossco Systems, Espoo, Finland). Together with the documentation they are the evaluation module of the AIMS. Today, more than 20,000 anesthesia procedures are recorded each year at 112 decentralised workstations with the AIMS. In 1998, 90.8% of the 20,383 performed anesthetic procedures were recorded online and 9.2% entered postopeatively into the system. With a corresponding user access it is possible to receive all available patient data at each single anesthesiological workstation via HIS (diagnoses, laboratory results) anytime. The available information includes previous anesthesia records, statistics and all data available from the hospitals intranet. This additional information is of great advantage in comparison to previous working conditions. The implementation of an AIMS allowed to greatly enhance the quota but also the quality of documentation and an increased flow of information at the anesthesia workstation. The circuit between data entry and the presentation and evaluation of data, statistics and results directly

Application of mathematical and computer methods in mine rescue. Primeneniye matematicheskikh metodov i EVM v gornospasatel'nom dele

Energy Technology Data Exchange (ETDEWEB)

1980-01-01

The collection contains the following articles: ''Control automation in mine rescue''. Khudosovtzev N.M., Teper V.B., Shschukin O.F.; ''Selection of optimal control of fire-fighting equipment''. Kozlyuk A.I., Charkov V.P., Teper V.B.; ''Formal approach to describing the process of underground fire extinguishing''. Kozlyu, A.I., Teper V.B., Romanchuk A.L.,; ''Computer selection of rescue and accident prevention methods using situation control methods''. Starovoitov V.T., Tomarovshschenko V.D., Koifman Yu. L., Plepler R.,; ''Planning experiments for studying the foam generation process using a steam-gas mixture''. Karyagina N.V., Makarenko V.L., Zhukova N.E., Shkodskikh V.I.; ''Mathematical model of the temperature field of spontaneous coal combustion in a mined out area''. Chuntu G.I., Kalyusskii A.E., Lysenko E.P., Gusar G.A.; ''Mathematical model of the cooling process of rock by a gas flow''. Kleiner A.A., Semko V.N.; ''M/G/I system with selfcontained servicing''. Skripnik V.M.; ''Closed-circuit servicing with mobile one-channel devices''. Skripnik V.M.; ''Analysis of methods for describing accident situations when modelling mine rescue operations''. Shschukin O.F., Brusentzev G.K., Laktionov O.A.; ''PROLOG system and the solution to several artificial intelligence problems''. Belov V.N., Branovitzkii V.I., Getzko L.N., Kudryavtzeva S.P., Seraya V.V.; ''Representation of knowledge in interactive systems''. Branovitzkii V.I., Getzko L.N., Kudryavtzeva S.P., Sakhno A.A., Seraya V.V.; ''Programming the selection of fire extinguishing equipment for rapid control of underground fire fighting using a computer''. Teper V.B., Ibchenko I.B., Bychkov G.D.; ''Interactive method to assess the effectiveness of exogenous fire fighting methods''. Brusentzev G.K., Shschukin O.F., Laktionov O.A., Shulga O.N.; ''Practical instruction using the automatic 'mine rescuer' system''.

Staročeské biblické prology: textové dochování a výběr výchozího rukopisu pro kritickou edici

Czech Academy of Sciences Publication Activity Database

Pytlíková, Markéta; Svobodová, Andrea

2016-01-01

Roč. 139, 1/2 (2016), s. 73-89 ISSN 0024-4457 R&D Projects: GA ČR GA15-06405S Institutional support: RVO:68378092 Keywords : Old Czech * prologues to Bible books * Litoměřice Prologues * St. Vitus Metropolitan Chapter Prologues * critical edition Subject RIV: AI - Linguistics

NEXUS/NASCAD- NASA ENGINEERING EXTENDIBLE UNIFIED SOFTWARE SYSTEM WITH NASA COMPUTER AIDED DESIGN

Science.gov (United States)

Purves, L. R.

1994-01-01

handle IGES format data, including proposed solid geometry formats. This facilitates interfacing with other CAD systems. NEXUS/NASCAD supports the activities encountered in various engineering projects as follows: 1) Preliminary Design - Geometric models can be built from points, lines, arcs, splines, polygons, drive surfaces, ruled surfaces, and bicubic spline surfaces. Geometric models can be displayed in any view (including hidden line and hidden surface removal) to check design features, 2) Design Analysis - Geometric models and related data structures can be used to build a NASTRAN data deck. Calculated stress data can be added to model data structures and displayed as color variations on the geometric model, 3) Detailed Design - This phase consists of dimensioning and annotating the geometric model and generating manufacturing and assembly drawings, 4) Manufacturing - NASCAD developed geometric model and related data structures can be used to build input for the APT program which generates a cutter location (CL) file describing required tool motions, 5) Assembly - Generation of a robot plan for putting together or taking apart (repair) of a mechanical assembly based on an IGES solid geometry description, and 6) Testing - Correlation of test data can be made with predictions made during the design analysis phase. NEXUS/NASCAD is available by license for a period of ten (10) years to approved licensees. The licensed program product includes the source, executable code, command streams, and one set of documentation. Additional documentation may be purchased separately at any time. The NASTRAN and APT programs are distributed separately from the NEXUS/NASCAD system (contact COSMIC for details). The NEXUS/NASCAD system is written in FORTRAN 77 and PROLOG, with command streams in DEC Control Language (DCL), for interactive execution under VMS on a DEC VAX series computer. All of the PROLOG code deals with the robot strategy planner feature. A minimum recommended

AI's Philosophical Underpinnings: A Thinking Person's Walk through the Twists and Turns of Artificial Intelligence's Meandering Path

Science.gov (United States)

Colombano, Silvano; Norvig, Peter (Technical Monitor)

2000-01-01

Few human endeavors can be viewed both as extremely successful and unsuccessful at the same time. This is typically the case when goals have not been well defined or have been shifting in time. This has certainly been true of Artificial Intelligence (AI). The nature of intelligence has been the object of much thought and speculation throughout the history of philosophy. It is in the nature of philosophy that real headway is sometimes made only when appropriate tools become available. Similarly the computer, coupled with the ability to program (at least in principle) any function, appeared to be the tool that could tackle the notion of intelligence. To suit the tool, the problem of the nature of intelligence was soon sidestepped in favor of this notion: If a probing conversation with a computer could not be distinguished from a conversation with a human, then AI had been achieved. This notion became known as the Turing test, after the mathematician Alan Turing who proposed it in 1950. Conceptually rich and interesting, these early efforts gave rise to a large portion of the field's framework. Key to AI, rather than the 'number crunching' typical of computers until then, was viewed as the ability to manipulate symbols and make logical inferences. To facilitate these tasks, AI languages such as LISP and Prolog were invented and used widely in the field. One idea that emerged and enabled some success with real world problems was the notion that 'most intelligence' really resided in knowledge. A phrase attributed to Feigenbaum, one of the pioneers, was 'knowledge is the power.' With this premise, the problem is shifted from 'how do we solve problems' to 'how do we represent knowledge.' A good knowledge representation scheme could allow one to draw conclusions from given premises. Such schemes took forms such as rules,frames and scripts. It allowed the building of what became known as expert systems or knowledge based systems (KBS).

ART/Ada and CLIPS/Ada

Science.gov (United States)

Culbert, Chris

1990-01-01

Although they have reached a point of commercial viability, expert systems were originally developed in artificial intelligence (AI) research environments. Many of the available tools still work best in such environments. These environments typically utilize special hardware such as LISP machines and relatively unfamiliar languages such as LISP or Prolog. Space Station applications will require deep integration of expert system technology with applications developed in conventional languages, specifically Ada. The ability to apply automation to Space Station functions could be greatly enhanced by widespread availability of state-of-the-art expert system tools based on Ada. Although there have been some efforts to examine the use of Ada for AI applications, there are few, if any, existing products which provide state-of-the-art AI capabilities in an Ada tool. The goal of the ART/Ada Design Project is to conduct research into the implementation in Ada of state-of-the-art hybrid expert systems building tools (ESBT's). This project takes the following approach: using the existing design of the ART-IM ESBT as a starting point, analyze the impact of the Ada language and Ada development methodologies on that design; redesign the system in Ada; and analyze its performance. The research project will attempt to achieve a comprehensive understanding of the potential for embedding expert systems in Ada systems for eventual application in future Space Station Freedom projects. During Phase 1 of the project, initial requirements analysis, design, and implementation of the kernel subset of ART-IM functionality was completed. During Phase 2, the effort has been focused on the implementation and performance analysis of several versions with increasing functionality. Since production quality ART/Ada tools will not be available for a considerable time, and additional subtask of this project will be the completion of an Ada version of the CLIPS expert system shell developed by NASA

BLACK-LETTER PROLOGUE OF THE 17TH CENTURY IN N. S. LESKOV'S CREATIVE WORK: THE RECONSTRUCTION OF A LITERARY MISHAP

Directory of Open Access Journals (Sweden)

Inna Nikolaevna Mineeva

2014-11-01

Full Text Available The article deals with N. S. Leskov's perception of the 17th century Prologue. From 1870 to 1890s the writer gave conflicting characteristics of the functional purpose of the Prologue, the history of its existence and publications in Russia, from the book, appointed by the church for godly edifying reading and helping to “comprehend the Word of God”, to the deprivation of its ecclesiastical authority at all. Since 1886s, Leskov defi ned the Prologue as a “renounced”, “non-canonical” book. The analysis of archival materials has confirmed a supposition previously expressed in science that the writer called the fully printed version of Prolog, published in Synod printing in 1642-1643s, as “renunciation”. This edition was the one that was not subjected to book correcting (“knizhnaya sprava” during Nikon's reforms. Antiquity and preservation of monuments always were determinative criteria for the writer. Such characteristics are not lacking in tangible ground and are based on the scientifi cally proven observations of the 19th century. It was found that the monograph of Kiev Theological Academy Professor N. I. Petrov, “On the origin and composition of the Slavic-Russian printed Prologue (The foreign sources” (Kiev, 1875, had a signifi cant impact on the development of Leskov's own position. Leskov made a simple creative move. He transferred the scientifi c fact, the “non-canonicity” of “pre-Peter” Prologue, in the literary fact. Not only the heuristic search of Leskov in the history of its publications lies within the strategy to provide the Prologue of 1642-1643s edition by the status of “renounced”, but also the creative quest. Given the “accountability” of his works written on the subjects of the Prologue, on the part of the censorship, the writer had to fi nd an access to the new language of “cryptography”. An appeal to the “non-canonical” Prologue as a literary source turned out for him as the

Toward whole-core neutron transport without spatial homogenization

International Nuclear Information System (INIS)

Lewis, E. E.

2009-01-01

Full text of publication follows: A long-term goal of computational reactor physics is the deterministic analysis of power reactor core neutronics without incurring significant discretization errors in the energy, spatial or angular variables. In principle, given large enough parallel configurations with unlimited CPU time and memory, this goal could be achieved using existing three-dimensional neutron transport codes. In practice, however, solving the Boltzmann equation for neutrons over the six-dimensional phase space is made intractable by the nature of neutron cross-sections and the complexity and size of power reactor cores. Tens of thousands of energy groups would be required for faithful cross section representation. Likewise, the numerous material interfaces present in power reactor lattices require exceedingly fine spatial mesh structures; these ubiquitous interfaces preclude effective implementation of adaptive grid, mesh-less methods and related techniques that have been applied so successfully in other areas of engineering science. These challenges notwithstanding, substantial progress continues in the pursuit for more robust deterministic methods for whole-core neutronics analysis. This paper examines the progress over roughly the last decade, emphasizing the space-angle variables and the quest to eliminate errors attributable to spatial homogenization. As prolog we briefly assess 1990's methods used in light water reactor analysis and review the lessons learned from the C5G7 benchmark exercises which were originated in 1999 to appraise the ability of transport codes to perform core calculations without homogenization. We proceed by examining progress over the last decade much of which falls into three areas. These may be broadly characterized as reduced homogenization, dynamic homogenization and planar-axial synthesis. In the first, homogenization in three-dimensional calculations is reduced from the fuel assembly to the pin-cell level. In the second

A study on the development of the on-line operator aid system using rule based expert system and fuzzy logic for nuclear power plants

International Nuclear Information System (INIS)

Kang, Ki Sig

1995-02-01

's burden and provide detailed instructions of procedure. Probabilistic risk assessment results were synthesized in the advanced EOP using the event tree to give the awareness and the prediction of accident progression in advance dynamically. Time response for completing the required actions was observed to evaluate the impact of the advanced EOP with the COAS on operator's performance during the loss of offsite power scenario with a full scope simulator of the NPP at Kori. The results indicate that operators' actions using the advanced EOP are not only more consistent in their actions but also able to provide earlier termination of accidents. The OASYS and the COAS were implemented on a SUN-4/75 workstation using C language and the Quintus circledR prolog language

Adam. Příběh prvního člověka v knize Genesis a v Koránu

Directory of Open Access Journals (Sweden)

Mlada Mikulicová

2014-10-01

Full Text Available In both books Adam is presented as a prototypical man created from physical elements and endowed with divine inspiration that makes him capable of rational actions. While Genesis narrates the story of Adam from his creation to his death, stressing chronology and future development in history, the Qur’an’s rendering is fragmentary. Of vast underlying popular traditions on Adam and Eve, Genesis previews the history of God’s covenant and salvific action towards humankind while the Qur’an persists on the theme of human disobedience and God’s absolute governance. Despite common themes as the createdness of man, his superiority over the rest of the creation, the complementary nature of human being as man and woman, the loss of happiness through disobedience to God’s law, the two stories differ in interpretation. While the acceptance of evil into human heart is reflected as voluntary in Genesis, the Qur’an finds excuse in the revolt of Satan who is shown in a more active role than man. Eliminating the notions of man as the image of God, and the final abolishment of evil, the Qur’an uses Adam’s story to demonstrate the principal axioms of Islamic doctrine: God must be obeyed and Satan’s lures avoided else man will not attain the Garden; Adam is a prototypal prophet, informing of these truths. Adam and Eve, according to the narration of the Book of Genesis, represent human existence in the drama of knowing evil and distress, hiding from God, and hearing his promise of future salvation that begins to unroll in their progeny. V biblicke knize Genesis i v Koranu je Adam představen jako prototyp člověka stvořeneho z fyzickych prvků a „Božiho vdechnuti“ racionality. Biblicke vypravěni je chronologicky přiběh, Koran zmiňuje pouze některe časti sparsatim v deseti různych surach. Genesis jakožto prolog k biblickemu celku vybira tradični latky k dokumentaci Božich dějin spasy, zatimco Koran eliminuje všechno, co nesouvisi

Automatic Generation of Algorithms for the Statistical Analysis of Planetary Nebulae Images

Science.gov (United States)

Fischer, Bernd

2004-01-01

which use numerical approximations even in cases where closed-form solutions exist. AutoBayes is implemented in Prolog and comprises approximately 75.000 lines of code. In this paper, we take one typical scientific data analysis problem-analyzing planetary nebulae images taken by the Hubble Space Telescope-and show how AutoBayes can be used to automate the implementation of the necessary anal- ysis programs. We initially follow the analysis described by Knuth and Hajian [KHO2] and use AutoBayes to derive code for the published models. We show the details of the code derivation process, including the symbolic computations and automatic integration of library procedures, and compare the results of the automatically generated and manually implemented code. We then go beyond the original analysis and use AutoBayes to derive code for a simple image segmentation procedure based on a mixture model which can be used to automate a manual preproceesing step. Finally, we combine the original approach with the simple segmentation which yields a more detailed analysis. This also demonstrates that AutoBayes makes it easy to combine different aspects of data analysis.

The Role of Ontologies in Schema-based Program Synthesis

Science.gov (United States)

Bures, Tomas; Denney, Ewen; Fischer, Bernd; Nistor, Eugen C.

2004-01-01

. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.

Transforming learning?

Science.gov (United States)

1999-09-01

A new Learning and Skills Council for post-16 learning is the latest proposal from the UK Government in its attempt to ensure a highly skilled workforce for the next century. Other aims will be to reduce the variability in standards of the existing post-16 system, coordination and coherence between further education and training, and a reduction in the duplication and layers in contracting and funding. The proposals include: a national Learning and Skills Council, with 40-50 local Learning and Skills Councils to develop local plans; a strengthened strategic role for business in education and training, influencing a budget of #5bn a radical new youth programme entitled `Connexions', with dedicated personal advisors for young people; greater cooperation between sixth forms and colleges; and the establishment of an independent inspectorate covering all work-related learning and training, to include a new role for Ofsted in inspecting the provision for 16-19 year-olds in schools and colleges. It is hoped that this programme will build on the successes of the previous systems and that savings of at least #50m can be achieved through streamlining and the reduction in bureaucracy. The intentions are set out in a White Paper, Learning to Succeed, which is available from the Stationery Office and bookshops, as well as on the website www.dfee.gov.uk/post16. Published in addition to the White Paper was `School Sixth form funding: a consultation paper' (available from DfEE publications, Prolog, PO Box 5050, Sherwood Park, Annesley, Nottingham NG15 0DJ) and `Transition plan for the post-16 education and training and for local delivery of support for small firms' (available from Trevor Tucknutt, TECSOP Division, Level 3, Department for Education and Employment, Moorfoot, Sheffield S1 4PQ). The deadline for comments on both the sixth form consultation document and the White Paper is 15 October 1999. Almost simultaneously with the announcement of the above proposals came the