Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has b...
详细信息
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism. The comprehensive survey of the first twenty years of research in parallel logic programming, published in 2001, has served since as a fundamental reference to researchers and developers. The contents are quite valid today, but at the same time the field has continued evolving at a fast pace in the years that have followed. Many of these achievements and ongoing research have been driven by the rapid pace of technological innovation, that has led to advances such as very large clusters, the wide diffusion of multi-core processors, the game-changing role of general-purpose graphic processing units, and the ubiquitous adoption of cloud computing. This has been paralleled by significant advances within logic programming, such as tabling, more powerful static analysis and verification, the rapid growth of Answer Set programming, and in general, more mature implementations and systems. This survey provides a review of the research in parallel logic programming covering the period since 2001, thus providing a natural continuation of the previous survey. In order to keep the survey self-contained, it restricts its attention to parallelization of the major logic programming languages (Prolog, Datalog, Answer Set programming) and with an emphasis on automated parallelization and preservation of the sequential observable semantics of such languages. The goal of the survey is to serve not only as a reference for researchers and developers of logic programming systems, but also as engaging reading for anyone interested in logic and as a useful source for researchers in parallel systems outside logic programming. Under consideration in Theory and Practice of Logi
The paper introduces a knowledge representation language that combines the event calculus with description logic in a logic programming framework. The purpose is to provide the user with an expressive language for mod...
详细信息
Dr. Furukawa had a sharp view in pinpointing that the crucial issue in skill science lies in discovering missing parts, that it is an act of abductive thinking, and that logic programming can be best used to encourage...
详细信息
Dr. Furukawa had a sharp view in pinpointing that the crucial issue in skill science lies in discovering missing parts, that it is an act of abductive thinking, and that logic programming can be best used to encourage people, who intend to learn embodied skills, to think and feel more than without it. In the wake of the grief that our communities lost Dr. Furukawa, discussions on implications that his great contributions to AI, cognitive science and skill science have brought to us are a necessary must for all that keep doing researches for people's well-being.
Automation has been gaining interest in every branch today. The reason for the popularity of automation in industries today is due to its capability to reduce labour cost, reduce material wastage, increase the product...
详细信息
Automation has been gaining interest in every branch today. The reason for the popularity of automation in industries today is due to its capability to reduce labour cost, reduce material wastage, increase the production quantity, to improve the quality of the product and to reduce idle time in manufacturing industry. In this work, an industrial process of glass molding and filling operation is simulated using the Fiddle PLC simulator. GRAFCET based modelling of discrete event is used in developing the PLC ladder logic program for the industrial process. The proposed method reduces labour cost by 40%, Increases production value by 55%, and reduces material wastage by 20% compared to manual operation. The proposed GRAFCET based model was found to be reliable, efficient, and accurate in performing the control sequence of the glass molding and filling operation. In future, it is proposed to develop the HMI (human machine interface) and the corresponding hardware will be developed for the same application.
The articles in this special section offer a new perspectives on the question of how and why logic became intertwined with computing and programming. It focuses on the locality of programming and computing practices, ...
详细信息
The articles in this special section offer a new perspectives on the question of how and why logic became intertwined with computing and programming. It focuses on the locality of programming and computing practices, highlighting their relation to formalist practices and concepts to provide a deeper understanding of the historical relations between these different practices. The theoretical and technical considerations that tie logic and computing together have been historically contingent on the local and national structures inwhich they unfold.
In this paper we present a new static data type inference al gorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predict ates which...
详细信息
Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researc...
详细信息
Transparency is a key requirement for ethical machines. Verified ethical behavior is not enough to establish justified trust in autonomous intelligent agents: it needs to be supported by the ability to explain decisio...
详细信息
This article introduces a new method for knowledge-based security testing by logic programming and the related tool implementation for model-based non-functional security testing of web applications. Our method helps ...
详细信息
This article introduces a new method for knowledge-based security testing by logic programming and the related tool implementation for model-based non-functional security testing of web applications. Our method helps to overcome the current prevalent focus on functional instead of non-functional (or negative) requirements as well as the required high level of security knowledge when performing non-functional security testing. It addresses issues like considering non-functional requirements for testing, managing the virtually infinite amount of negative security test cases, advancing non-functional security testing away from its prevalent penetration testing-like style, and making non-functional security testing feasible for testers that are not experts in security via a security knowledge base. The method and its model-based tool implementation are evaluated in two studies, which show the method's effectiveness in detecting vulnerabilities in web applications and thus, also its value in making software system more secure.
This paper investigates how high school students in an introductory computer science (CS) course approach computing in the logic programming (LP) paradigm. This qualitative study shows how novice students operate with...
详细信息
This paper investigates how high school students in an introductory computer science (CS) course approach computing in the logic programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills: students are engaged in a cyclical process of abstraction, reasoning, and creating representations of their ideas in code while also being informed by the (procedural) requirements and the revision/debugging process. As these computing concepts and skills are also expected in traditional approaches to introductory K-12 CS courses, this paper asserts that LP is a viable paradigm choice for high school novices.
暂无评论