@INCOLLECTION { Rsds4359,
author = {Jankowski, Andrzej and Skowron, Andrzej}, 
title = {Logic for Artificial Intelligence: A Rasiowa-Pawlak School Perspective}, 
booktitle = {Systemy Wspomagania Decyzji, Tom 1: Pamieci Profesora Zdzislawa Pawlaka}, 
pages = {135--178}, 
publisher = {Wydawnictwo Uniwersytetu Slaskiego}, 
address = {Katowice, Poland}, 
year = 2007, 
editor = {Wakulicz-Deja, Alicja}, 
abstract = {The Rasiowa-Pawlak school was established during the second half of the twentieth century. The school concentrates on studies in logics, foundations of computer science and artifical intelligence (AI). Its formation has been greatly influenced by the logician Andrzej Mostkowski, a profesor at Warsaw University [110, 111], who, in particular, directed the doctoral dissertation of Helena Rasiowa. Nowdays, the disciples of the Rasiowa-Pawlak school are active in many research-development centres worlwide. The school founded its own journal, Fundamenta Informaticae. In this paper, we present selected trends in the studies of the school concernig applications of logic in AI. At the beginning, we briefly descibe the genesis of the Rasiowa-Pawlak school. We then present the understanding, currently dominating within the school, on such basic concepts as AI and logic. Since the beginning of the 1950's, the focus concepts as AI and logic. Since the beginning of the 1950's, the focus of the research by Helena Rasiowa and her associates has been the application of algebraic and topological methods to the investigation of crucial problems of logic from an AI perspective. Amongst them are the completeness theorem, construction of deduction systems, construction of models, especially models for constructive mathematics [136, 241, 67] and related logics such as intuitionistic, intermediate, modal, and approximation logics. In the paper, we discuss the fundamental, in our opinion, ideas underlying these roots of the Rasiowa-Pawlak school. A great importance in the studies of the school is assigned to the search for optimal tools for reasoning about complex vague concepts, construction of knowledge representation systems, reasoning about knowledge as well as for the application of logic in learning, communciation, perception, planning, action, cooperation, and competition. It should be noted that as is the case with many other research centers, the Rasiowa-Pawlak school studies pertaining to the application of logics in AI have also undergone an avolution which we present in this paper. We include extensive references to the literature on the approach presented in this paper.}, 
keywords = {logic, ai, algebraic logic, abstract logic, approximation, wisdom technology, adaptive rough-granular computing, rough sets, machine learning, }, 
}