Fundamenta Informaticae - Volume 129, issue 1-2

Authors: Kurbalija, Vladimir | Ivanović, Mirjana | von Bernstorff, Charlotte | Nachtwei, Jens | Burkhard, Hans-Dieter

Article Type: Research Article

Abstract: This paper outlines the primary steps to investigate if artificial agents can be considered as true substitutes of humans. Based on a Socially augmented microworld (SAM) human tracking behavior was analyzed using time series. SAM involves a team of navigators jointly steering a driving object along different virtual tracks containing obstacles and forks. Speed and deviances from track are logged, producing high-resolution time series of individual (training) and cooperative tracking behavior. In the current study 52 time series of individual tracking behavior on training tracks were clustered according to different similarity measures. Resulting clusters were used to predict cooperative tracking …behavior in fork situations. Results showed that prediction was well for tracking behavior shown at the first and, moderately well at the third fork of the cooperative track: navigators switched from their trained to a different tracking style and then back to their trained behavior. This matches with earlier identified navigator types, which were identified on visual examination. Our findings on navigator types will serve as a basis for the development of artificial agents, which can be compared later to behavior of human navigators. Show more

Keywords: Socially augmented microworld, time series analysis, artificial agents

DOI: 10.3233/FI-2014-965

Citation: Fundamenta Informaticae, vol. 129, no. 1-2, pp. 133-147, 2014

Authors: Polkowski, Lech | Semeniuk-Polkowska, Maria

Article Type: Research Article

Abstract: In this essay, we analyze various often semantically identified notions of separating things. In doing this, we contrast the set–theoretical approach based on the notion of an element/point with the mereological approach based on the notion of a part, hence, pointless. We address time aspect of the notion of a boundary and related notions as well as approximate notions defined in the realm of rough (approximate) mereology.

Keywords: spatial reasoning, boundary, mereology, mereotopology

DOI: 10.3233/FI-2014-966

Citation: Fundamenta Informaticae, vol. 129, no. 1-2, pp. 149-159, 2014

Authors: Szpyrka, Marcin | Matyasik, Piotr | Mrówka, Rafał | Kotulski, Leszek

Article Type: Research Article

Abstract: The paper presents a formal description of a subset of the Alvis language designed for the modelling and formal verification of concurrent systems. Alvis combines possibilities of a formal models verification with flexibility and simplicity of practical programming languages. Alvis provides a graphical modelling of interconnections among agents and a high level programming language used for the description of agents behaviour. Its semantic depends on the so-called system layer. The most universal system layer α0 , described in the paper, makes Alvis similar to other formal languages like Petri nets, process algebras, time automata, etc.

Keywords: Alvis modelling language, concurrent systems, formal methods

DOI: 10.3233/FI-2014-967

Citation: Fundamenta Informaticae, vol. 129, no. 1-2, pp. 161-176, 2014

Authors: Wiśniewski, Piotr | Stencel, Krzysztof

Article Type: Research Article

Abstract: Unified State Model (USM) is a single data model that allows conveying objects of major programming languages and databases. USM exploits and emphasizes common properties of their data models. USM is equipped with mappings from these data models onto it. With USM at hand, we have faced the next natural research question whether numerous query languages for the data subsumed by USM can be clearly mapped onto a common language. We have designed and proposed such a language called the Unified Query Language (UQL). UQL is intended to be a minimalistic and elegant query language that allows expressing queries of …languages of data models covered by USM. In this paper we define UQL and its concise set of operators. Next we conduct a mild introduction into UQL features by showing examples of SQL and ODMG OQL queries and their mapping onto UQL. We conclude by presenting the mapping of the theoretical foundations of these two major query languages onto UQL. They are the multiset relational algebra and the object query algebra. This is an important step towards the establishment of a fully-fledged common query language for USM and its subsumed data models. Show more

DOI: 10.3233/FI-2014-968

Citation: Fundamenta Informaticae, vol. 129, no. 1-2, pp. 177-192, 2014