Wyniki wyszukiwania - BazTech

1

Design of a Rules-Based Recommendation System Implemented in Prolog for the Management of Electronic Waste from ICT

Dallos Parra David Leonardo, Carvajal Camargo Maryury Julieth, Sánchez Céspedes Juan Manuel

Journal of Ecological Engineering

|

2021

|

Vol. 22, nr 11

104--113

EN

Electronic waste generated from Information and Communication Technologies (ICT) has become a global issue as this represents a negative impact on both environment and human health. Consequently, it is noticeably useful to develop tools to soften such impact. Therefore, this article presents a rules-based system implemented in Prolog aiming at guiding ICT devices users towards good practices on electronic waste management to diminish the negative impact. The methodologies employed include exploratory, descriptive, and experimental. Even though the system developed in Prolog was found to be deficient with user interface, it is also functional and efficient, including features like usability and maintainability. In conclusion, it was found that waste recollection systems may be useful for both environmental management processes in different countries and also positive business opportunities.

2

The Carbon Footprint Methodology in CFOOD Project

Stawska Zofia, Milczarski Piotr, Zieliński Bartosz, Hłobaż Artur, Maślanka Paweł, Kosiński Piotr

International Journal of Electronics and Telecommunications

|

2020

|

Vol. 66, No. 4

781--786

EN

In the paper, the research on the process of optimizing the carbon footprint to obtain the low-carbon products is presented. The optimization process and limits were analyzed based on the CFOOD project co-financed by the Polish Research and Development Agency. In the article, the carbon footprint (CF) testing methods with particular emphasis on product life cycle assessment (LCA) are discussed. The main problem is that the energy received from the energy-meters per the production stage is not directly represented in the raw data set obtained from the factory because many production line machines are connected to a single measurement point. In the paper, we show that in some energy-demanding production stages connected with cooling processes the energy used for the same stage and similar production can differ even 25-40%. That is why the energy optimization in the production can be very demanding.

3

Task-level programming of a robotic system using high level logic language

Foit K.

Selected Engineering Problems

|

2015

|

nr 6

21--26

EN

The planning of robotics task is the main problem during the creation of the code for robot’s controller. In the initial phase of task designing, the program should be described on low level of details i.e. only the main actions should be concerned. This is so-called task-level approach and the program could be shown in the form of pseudo code, which is not standardised form of programming language. The analysis of the available literature points out that the formalised pseudocode could be successfully used for future processing in the field of mobile robotic, while the application in the field of stationary robotics is in early stage of development. However some task requires detailed analysis before creating the plan of program, because of complex task conditions. In such cases the operator could use the logic programming language, like Prolog, to solve the problem.

4

A Tabled Prolog Program for Solving Sokoban

Zhou N.-F., Dovier A.

Fundamenta Informaticae

|

2013

|

Vol. 124, nr 4

561--575

EN

This paper presents our program in B-Prolog submitted to the third ASP solver competition for the Sokoban problem. This program, based on dynamic programming, treats Sokoban as a generalized shortest path problem. It divides a problem into independent subproblems and uses mode-directed tabling to store subproblems and their answers. This program is very simple but quite efficient. Without use of any sophisticated domain knowledge, it easily solves 14 of the 15 instances used in the competition. We show that the approach can be easily applied to other optimization planning problems.

5

Improving Dependability of Automation for Free Electron Laser FLASH

Kosęda B., Szmuc T., Cichalewski W.

Journal of Automation Mobile Robotics and Intelligent Systems

|

2009

|

Vol. 3, No. 1

33-39

EN

Free-electron laser FLASH (260-meter-long machine) is a pilot facility for the forthcoming XFEL (3 km). Along with growth of the experiment, service and maintenance are becoming so complex that certain degree of automation seems to be inevitable. The main purpose of the automation software is to facilitate operators with computer-aided supervision of several hardware/software subsystems. The efforts presented in this contribution concern elaboration of general framework for designing and development of automation software for the FLASH. The toolkit facilitates specification, implementation, testing and formal verification. The ultimate goal of the framework is to systematize the way of automation software development and to improve its dependability. At present usefulness of the tools is being evaluated by testing the automation software for single RF-power station of the FLASH.

6

Computer aided system for selection of parameters for making metallographic microsections

Dobrzański L. A., Gumińska M.

Journal of Achievements in Materials and Manufacturing Engineering

|

2007

|

Vol. 24, nr 2

147-150

EN

Purpose: The goal of this work was development of the computer aided system for selection of technological parameters for making the metallographic microsections for the microscopic examinations. Design/methodology/approach: Prolog language - the Artificial Intelligence tool was employed in the project, and the Logic Programming Associate's VisiRule system, which was used for saving the knowledge base - rules pertaining the objects and their relationships. These tools were used to develop the expert system for selection of the recommended technology for the metallographic microsections. Findings: Knowledge acquisition process was carried out to cover recommendations of manufacturers of the equipment for metallographic microsections. Formulation of the pertinent knowledge in the LPA-Prolog VisiRule tool is presented along with the results of technology instruction sheet presentation. Research limitations/implications: The expert system for selection of parameters for making the metallographic microsections is currently at the testing and development stage. Originality/value: Making the metallographic microsections is a time consuming task, sometimes material for examination is scarce, so any system that ensures good quality of microsections is very valuable. The system under development offers the best advice to anybody striving to obtain the best quality of the specimens.

7

A graphical tabular model for rule-based logic programming and verification

Nalepa G. J., Ligęza A.

Systems Science

|

2005

|

Vol. 31, no 2

89-95

EN

New trends in the development of databases and expert systems seem to underline the role of graphical specification tools, visual information modeling and formal verification procedures. This paper incorporates these new ideas and, moreover, tries to present putting them in engineering practice. The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation, called eXtended Tabular Trees. The main idea behind XTTis to build a hierarchy of Object-Attribute-Value Tables (OAV table). The basic component for knowledge specification is an OAV table. It is analogous to a relational database table; however, it contains conditional part and decision columns. Moreover, the attribute values can be non-atomic ones. Each row provides specification of a single rule. The OAV tables can be connected with one another through appropriate links specifying the control flow in the system. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, formal aspects such as completeness, determinism, etc., are automatically verified on-line during the design, so that its verifiable characteristics are preserved. From practical point of view, the design process is performed with an intelligent tool named Mirella.

8

MGST approach to information systems development

Takahara Y.

Systems Science

|

2004

|

Vol. 30, no 1

5-21

EN

This paper presents a new systems development method. This method builds a model using systems concepts of general systems theory and describing it in the model theoretic way. The generated model is translated into an extProlog program by a compiler and implemented as an executable system. The paper applies the method to a solver design.

9

Jelly Views: extending relational database systems toward deductive database systems

Wojnicki I.

Computer Science

|

2004

|

Vol. 6

95-112

EN

This paper regards the Jelly View technology, which provides a new, practical methodology for knowledge decomposition, storage, and retrieval within Relational Database Management Systems (RDBMS). Intensional Knowledge clauses (rules) are decomposed and stored in the RDBMS founding reusable components. The results of the rule-based processing are visible as regular views, accessible through SQL. From the end-user point of view the processing capability becomes unlimited (arbitrarily complex queries can be constructed using Intensional Knowledge), while the most external queries are expressed with standard SQL. The RDBMS functionality becomes extended toward that of the Deductive Databases.

PL

Niniejsza publikacja prezentuje technologię Jelly View, która udostępnia nową, praktyczną metodologię dekompozycji, przechowywania i przetwarzania wiedzy w Systemach Zarządzania Relacyjnymi Bazami Danych (SZRBD). Klauzule Wiedzy Intensjonalnej (reguły) przechowywane są w SZRBD w formie zdekomponowanej, tworząc modularne komponenty. Rezultaty przetwarzania regułowego reprezentowane są jako widoki, których stan dostępny jest za pomocą zapytań SQL. Z punktu widzenia końcowego użytkownika możliwości przetwarzania danych stają się nieograniczone (wykorzystując reguły), podczas gdy zapytania wyrażane są wciąż w języku SQL. Jako rezultat, funkcjonalność SZRBD zostaje zwiększona do poziomu funkcjonalności Dedukcyjnych Baz Danych.

10

Declarativity in modelling and problem solving

Niederliński A.

Control and Cybernetics

|

2000

|

Vol. 29, no 1

325-339

EN

The paper discusses a new trend in the modelling software for combinatorial and mixed combinatorial-continuous decision problems. The trend, aiming at solving those problems by the simple activity of properly describing them, is best exemplified by a constantly inereasing spectrum of Constraint Logic Programming (CLP) languages. The first such language was Prolog. After a short historical survey concentrating mainly on Prolog, main characteristics of a modern, commercially successful CLP language - CHIP - are presented, discussed and illustrated. The CLP approach to problem solving is compared with traditional Operation Research approaches.