Issue title: Concurrency Specification and Programming (CS&P)
Article type: Research Article
Authors: Skowron, Andrzej | Stepaniuk, Jarosław | Jankowski, Andrzej | Bazan, Jan G. | Swiniarski, Roman
Affiliations: The University of Warsaw, Banacha 2, 02-097 Warsaw, Poland, [email protected] | Białystok University of Technology, Wiejska 45A, 15-351 Białystok, Poland, [email protected] | Warsaw University of Technology, Nowowiejska 15/19, 00-665 Warsaw, Poland, [email protected] | University of Rzeszów, Dekerta 2, 35 - 030 Rzeszów, Poland, [email protected] | San Diego State University, 5500 Campanile Drive San Diego, CA 92182, USA, [email protected]
Note: [] Address for correspondence: Institute of Mathematics, The University of Warsaw, Banacha 2, 02-097 Warszawa, Poland The research by A. Skowron, J.G. Bazan and A. Jankowski has been partially supported by the grant NN516 077837 from the Ministry of Science and Higher Education of the Republic of Poland, the grant realized within Homing Plus programme, edition 3/2011, of Foundation for Polish Science, co-financed from European Union, Regional Development Fund and by the National Centre for Research and Development (NCBiR) under grant SP/I/1/77065/10 by the Strategic scientific research and experimental development program: “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.
Note: [] The research by Jarosław Stepaniuk is supported by the Rector's grant S/WI/5/08 of Białystok University of Technology.
Note: [] Also works: Institute of Mathematics, The University of Warsaw, Banacha 2, 02-097 Warszawa, Poland
Note: [] Also works: Institute of Mathematics, The University of Warsaw, Banacha 2, 02-097 Warszawa, Poland
Note: [] Also works: Institute of Computer Science Polish Academy of Sciences, Ordona 21, 01-237 Warsaw, Poland
Abstract: We consider several issues related to reasoning about changes in systems interacting with the environment by sensors. In particular, we discuss challenging problems of reasoning about changes in hierarchical modeling and approximation of transition functions or trajectories. This paper can also be treated as a step toward developing rough calculus.
Keywords: rough sets, reasoning about changes, hierarchical modeling, granular computing, approximation space, relation (function) approximation, rough calculus, intelligent systems, computational finance, forex, algorithmic trading
DOI: 10.3233/FI-2012-746
Journal: Fundamenta Informaticae, vol. 119, no. 3-4, pp. 421-437, 2012
