Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Prolog

Sortuj według:

Ogranicz wyniki do:

Computer aided system for selection of parameters for making metallographic microsections

100%

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

2007

tom Vol. 24, nr 2

147-150

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.

Pierwszy List św. Jana jako świadectwo teologiczne o historii zbawienia realizującej się w Jezusie Chrystusie

89%

Kot P.

Verbum Vitae

2015

tom 28

297-317

Reading the First Epistle of John, one is led to inquire about the nature of the testimony that the author of the letter offers to the Christian community in crisis. Is this a testimony based on an inculcated doctrine or does it originate in the historical experience of the author? This is, in essence, a question regarding the authority of the teaching presented in the letter. The vocabulary employed in the letter, particularly in its prologue, permits us to define the testimony under consideration as a theological testimony. It does not consist of a faithful recalling of memories of past historical events only. Indeed, the author of 1 John does not refer directly to any words or deeds of an earthly Jesus. Rather, the testimony consists in treating the historical facts as a “source of the present time.” This testimony enjoys strong authority because it arises from two sources: from an account of the eye-witness of the paschal life of Jesus Christ and also from reflection upon the existential outcomes of this historical and salvific event in relation to the current needs of the community.

Lektura Pierwszego Listu św. Jana rodzi pytanie o naturę świadectwa, które autor pisma składa wobec wspólnoty chrześcijańskiej przeżywającej wewnętrzny kryzys. Czy jest to świadectwo oparte na wyuczonej doktrynie, czy też wyrasta z doświadczenia historycznego autora? Jest to w gruncie rzeczy pytanie o autorytet prezentowanej nauki. Słownictwo zastosowane zwłaszcza w Prologu Listu pozwala określić go jako świadectwo teologiczne. Nie polega ono jedynie na wiernym przywoływaniu z pamięci przeszłych wydarzeń historycznych, gdyż w 1 J autor nie odnosi się wprost do słów i czynów ziemskiego Jezusa. Jest ono raczej traktowaniem zaistniałych faktów jako „źródła teraźniejszości”. Świadectwo to posiada silny autorytet, ponieważ wyrasta z dwóch źródeł: relacji naocznego świadka paschalnego życia Jezusa Chrystusa oraz refleksji nad egzystencjalnymi konsekwencjami tego historiozbawczego wydarzenia w obliczu aktualnych potrzeb wspólnoty.

Komputerowa wieza Babel

54%

Reluga A.

Wiedza i Życie

1997

nr 09

56-59