Perspectives in deductive databases

AbstractI discuss my experiences, some of the work that I have done, and related work that influenced me, concerning deductive databases, over the last 30 years. I divide this time period into three roughly equal parts: 1957–1968, 1969–1978, 1979–present. For the first I describe how my interest started in deductive databases in 1957, at a time when the field of databases did not even exist. I describe work in the beginning years, leading to the start of deductive databases about 1968 with the work of Cordell Green and Bertram Raphael. The second period saw a great deal of work in theorem providing as well as the introduction of logic programming. The existence and importance of deductive databases as a formal and viable discipline received its impetus at a workshop held in Toulouse, France, in 1977, which culminated in the book Logic and Data Bases. The relationship of deductive databases and logic programming was recognized at that time. During the third period we have seen formal theories of databases come about as an outgrowth of that work, and the recognition that artificial intelligence and deductive databases are closely related, at least through the so-called expert database systems. I expect that the relationships between techniques from formal logic, databases, logic programming, and artificial intelligence will continue to be explored and the field of deductive databases will become a more prominent area of computer science in coming years

BSML: A Binding Schema Markup Language for Data Interchange in Problem Solving Environments (PSEs)

We describe a binding schema markup language (BSML) for describing data interchange between scientific codes. Such a facility is an important constituent of scientific problem solving environments (PSEs). BSML is designed to integrate with a PSE or application composition system that views model specification and execution as a problem of managing semistructured data. The data interchange problem is addressed by three techniques for processing semistructured data: validation, binding, and conversion. We present BSML and describe its application to a PSE for wireless communications system design

dbProlog: a Prolog/relational database interface

dbProlog is a prototype system that provides a C-Prolog user access to data in an external relational database via both loose and tight coupling. To the application programmer, dbProlog is a group of six built-in Prolog predicates that effect communication between a C-Prolog process and a database management system process. Prolog application program statements may be written using the six predicates to make the interface transparent to an end-user. The system is based on a driver process that must be customized to the interfaced DBMS and whose primary function is the translation of requests and replies between C-Prolog and the DBMS. dbProlog supports Prolog\u27s depth-first search on database retrievals by producing the next record when the retrieval predicate is encountered upon backtracking. dbProlog also supports multiple active database retrievals, as may be required by a Prolog rule that references two or more database retrievals, or by a recursive rule

Knowledge-Based Systems. Overview and Selected Examples

The Advanced Computer Applications (ACA) project builds on IIASA's traditional strength in the methodological foundations of operations research and applied systems analysis, and its rich experience in numerous application areas including the environment, technology and risk. The ACA group draws on this infrastructure and combines it with elements of AI and advanced information and computer technology to create expert systems that have practical applications. By emphasizing a directly understandable problem representation, based on symbolic simulation and dynamic color graphics, and the user interface as a key element of interactive decision support systems, models of complex processes are made understandable and available to non-technical users. Several completely externally-funded research and development projects in the field of model-based decision support and applied Artificial Intelligence (AI) are currently under way, e.g., "Expert Systems for Integrated Development: A Case Study of Shanxi Province, The People's Republic of China." This paper gives an overview of some of the expert systems that have been considered, compared or assessed during the course of our research, and a brief introduction to some of our related in-house research topics

PROLOG fejlesztések és alkalmazások Magyarországon

A Prolog-MProlog nyelv bemutatása és az MProlog hazai megvalósulásai után részletesen ismerteti a korábban elkészült és a még fejlesztés alatt lévő hazai MProlog-alapú projekteket. Az anyag a tapasztalatok és a következtetések levonása után a hazai szerzők Prolog témájú dolgozatainak teljes körű (több mint 75) bibliográfiájával zárul

Knowledge-based automatic tolerance analysis system

Tolerance measure is an important part of engineering, however, to date the system of applying this important technology has been left to the assessment of the engineer using appropriate guidelines. This work offers a major departure from the trial and error or random number generation techniques that have been used previously by using a knowledge-based system to ensure the intelligent optimisation within the manufacturing system. A system to optimise manufacturing tolerance allocation to a part known as Knowledge-based Automatic Tolerance Analysis (KATA) has been developed. KATA is a knowledge-based system shell built within AutoCAD. It has the ability for geometry creation in CAD and the capability to optimise the tolerance heuristically as an expert system. Besides the worst-case tolerancing equation to optimise the tolerance allocation, KATA's algorithm is supported by actual production information such as machine capability, types of cutting tools, materials, process capabilities etc. KATA's prototype is currently able to analyse a cylindrical shape workpiece and a simple prismatic part. Analyses of tolerance include dimensional tolerance and geometrical tolerance. KATA is also able to do angular cuts such as tapers and chamfers. The investigation has also led to the significant development of the single tolerance reference technique. This method departs from the common practice of multiple tolerance referencing technique to optimise tolerance allocation. Utilisation of this new technique has eradicated the error of tolerance stackup. The retests have been undertaken, two of which are cylindrical parts meant to test dimensional tolerance and an angular cut. The third is a simple prismatic part to experiment with the geometrical tolerance analysis. The ability to optimise tolerance allocation is based on real production data and not imaginary or random number generation and has improved the accuracy of the expected result after manufacturing. Any failure caused by machining parameters is cautioned at an early stage before an actual production run has commenced. Thus, the manufacturer is assured that the product manufactured will be within the required tolerance limits. Being the central database for all production capability information enables KATA to opt for several approaches and techniques of processing. Hence, giving the user flexibility of selecting the process plan best suited for any required situation

Parallel execution of horn claus programs

Imperial Users onl