Interactive Logical Structures

• Autorzy: Dutta S. , Jankowski A. , Skowron A.

Identyfikatory

DOI

10.3233/FI-2017-1554

• Języki publikacji: EN

Abstrakty

EN

We present an extension of logical structures, called interactive logical structures, for reasoning about interactive computations performed by Intelligent Systems or Complex Adaptive Systems. Reasoning based on such structures is called adaptive judgment and it goes beyond deduction, induction, and abduction. An extension of logical structures, based on complex granules, couples the abstract world and the physical world of an agent’s environment, and transmits the features of interactions of physical objects realized in the physical world to the abstract world. This allows us to consider the problems of perception and action.

Słowa kluczowe

EN

complex granule; granular computing; information granule; interaction; interactive computations; logical structure; physical object; rough set

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2017
• Tom: Vol. 154, nr 1/4
• Strony: 95--108
• Opis fizyczny: Bibliogr. 35 poz., rys.

Twórcy

autor

Dutta S.

• Vistula University, Stokłosy 3, 02-787 Warsaw, Poland

autor

Jankowski A.

• The Dziubanski Foundation of Knowledge Technology, Nowogrodzka 31, 00-511 Warsaw, Poland

autor

Skowron A.

• Institute of Mathematics, The University of Warsaw, Banacha 2, 02-097 Warsaw, Poland

Bibliografia

• [1] Aristotle. Topics (Trans.). The University of Adelaide, Adelaide, 2014. URL https://ebooks.adelaide.edu.au/a/aristotle/a8t/
• [2] Barwise J, Seligman J. Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science, vol. 44. Cambridge University Press, Cambridge, UK, 1997. ISBN-0521583861, 9780521583862.
• [3] Bazan J. Hierarchical classifiers for complex spatio-temporal concepts. Transactions on Rough Sets: Journal Subline 2008;9:474–750. (LNCS 5390; Springer, Heidelberg). doi:10.1007/978-3-540-89876-4_26.
• [4] Béziau J-Y (Ed.). Universal Logic: An Anthology From Paul Hertz to Dov Gabbay. Studies in Universal Logic, Birkhauser, Basel, 2012. ISBN-978-3-0346-0144-3.
• [5] Bloom SL, Brown D, Suszko R. Some theorems on abstract logics. In: Béziau [4], 2012 pp. 257–262. doi:10.1007/BF02218674.
• [6] Curry H. Lessons on Algebraic Logic. Introduction and Chapters I and II. In: Béziau [4], 2012 pp. 133–162.
• [7] Givant SR, McKenzie RN (Eds.). The Collected Papers of Alfred Tarski, 4 vols. Birkhäuser, Basel, 1986. ISBN-10:0817632832, 13:978-0817632830.
• [8] Goldin D, Smolka S, Wegner P (Eds.). Interactive Computation: The New Paradigm. Springer, Heidelberg, 2006. ISBN-13:978-3-540-34666-1, ISBN-10:3-540-34666-X.
• [9] Heller M. The Ontology of Physical Objects. Four Dimensional Hunks of Matter. Cambridge Studies in Philosophy, Cambridge University Press, Cambridge, UK, 1990. ISBN-052138544X, 9780521385442.
• [10] Jankowski A. An alternative characterization of elementary logic. Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques. 1982;30:9–13.
• [11] Jankowski A. Galois structures. Studia Logica. 1985;44(2):109–124. doi:10.1007/BF00379761.
• [12] Jankowski A. Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective, Lecture Notes in Networks and Systems, vol. 17. Springer, Heidelberg, 2017. ISBN-978-3-319-57626-8, doi:10.1007/978-3-319-57627-5.
• [13] A. Jankowski, A. Skowron. A Wistech paradigm for intelligent systems. Transactions on Rough Sets: Journal Subline 6 (2007) 94–132. (LNCS 4374; Springer, Heidelberg). doi:10.1007/978-3-540-71200-8_7.
• [14] Kuratowski K, Mostowski A. Set Theory, with an Introduction to Descriptive Set Theory. Polish Scientific Publishers PWN, Warszawa, 1976. ISBN-978-0720404708.
• [15] Łoś J, Suszko R. Remarks on sentential logics. In: Béziau [4], 2012 pp. 177–186.
• [16] Łukasiewicz J. Selected works (Studies in logic and the foundations of mathematics). North-Holland, Amsterdam, 1970. ISBN-10:0720422523, 13:978-0720422528.
• [17] Martin WM (Ed.). Theories of Judgment. Psychology, Logic, Phenomenology. Cambridge University Press, Cambridge, UK, 2006. ISBN-1139447742, 9781139447744.
• [18] Noë A. Action in Perception. MIT Press, Cambridge, MA, 2004. ISBN-0262140888, 9780262140881.
• [19] Ore O. Galois connexions. Transactions of the American Mathematical Society 1944;4:493–513.
• [20] Ortiz Jr. CL. Why we need a physically embodied Turing test and what it might look like. AI Magazine 2016;37:55–62.
• [21] Pawlak Z. Rough sets. International Journal of Computer and Information Sciences, 1982;11(5):341–356. doi:10.1007/BF01001956.
• [22] Pedrycz W. Granular Computing Analysis and Design of Intelligent Systems. CRC Press, Taylor & Francis, Boca Raton, FL, 2013. ISBN-1439886814, 9781439886816.
• [23] Pedrycz W, Skowron S, Kreinovich V (Eds.). Handbook of Granular Computing. John Wiley & Sons, Hoboken, NJ, 2008. ISBN-0470035544 9780470035542.
• [24] Rasiowa H, Sikorski R. The Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw, 1963.
• [25] Scott DS. Completeness and axiomatizability in many-valued logic. In: Béziau [4], 2012 pp. 281–299.
• [26] Skowron A, Dutta S. From information systems to interactive information systems. In: G. Wang et al (Eds.), Thriving Rough Sets:-10th Anniversary-Honoring Professor Zdzisław Pawlak’s Life and Legacy & 35 years of Rough Sets, Springer, Heidelberg. 2017, pp. 207–223. doi:10.1007/978-3-319-54966-8_10.
• [27] Skowron A, Jankowski A. Rough sets and interactive granular computing. Fundamenta Informaticae 2016;147(2-3):371–385. doi:10.3233/FI-2016-1413.
• [28] Skowron A, Jankowski A, Dutta S. Interactive granular computing. Granular Computing 2016;1(2):95–113. doi:10.1007/s41066-015-0002-1.
• [29] Skowron A, Nguyen HS. Rough sets: From rudiments to challenges. In: A. Skowron, Z. Suraj (Eds.), Rough Sets and Intelligent Systems. Professor Zdzisław Pawlak in Memoriam, Springer, Heidelberg. 2013, pp. 75–173. doi:10.1007/978-3-642-30344-9_3.
• [30] Tarski A. Remarks on Fundamental Concepts of the Methodology of Mathematics. In: Béziau [4], 1928 pp. 67–70.
• [31] Tarski A. Pojęcie prawdy w językach nauk dedukcyjnych (The concept of truth in deductive science). Prace Towarzystwa Naukowego Warszawskiego, Wydział III Nauk Matematyczno-Fizycznych 1933;34:1–114. (in Polish); English Transl. in [7].
• [32] Ulam S, Bednarek A, Ulam F. Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators. University of California Press, Oakland, CA, 1990. doi:10.1126/science.248.4963.1670.
• [33] Valiant L. Probably Approximately Correct. Nature’s Algorithms for Learning and Prospering in a Complex World. Basic Books, A Member of the Perseus Books Group, New York, NY, 2013. ISBN-0465032710 9780465032716.
• [34] Vapnik V. Statistical Learning Theory. John Wiley & Sons, New York, NY, 1998. ISBN-10:0471030031, 13:978-0471030034.
• [35] Wittgenstein L. Philosophical Investigations. ((1953) translated by G. E. M. Anscombe) (3rd Ed). Blackwell, Oxford, UK, 1967. ISBN-10:0631103201, 13:978-0631103202.