Theoretical Information Reuse and Integration

✍ Scribed by Thouraya Bouabana-Tebibel, Stuart H. Rubin (eds.)

• Publisher: Springer International Publishing
• Year: 2016
• Tongue: English
• Leaves: 225
• Series: Advances in Intelligent Systems and Computing 446
• Edition: 1
• Category: Library

✦ Synopsis

Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of transformations, which yield symmetric knowledge. When the size of those transformations and/or the length of that sequence of transforms exceeds the size of the image, then that image is said to be novel or random. It may also be that the new knowledge is random in that no such sequence of transforms, which produces it exists, or is at least known.

The nine chapters comprising this volume incorporate symmetry, reuse, and integration as overt operational procedures or as operations built into the formal representations of data and operators employed. Either way, the aforementioned theoretical underpinnings of information reuse and integration are supported.

✦ Table of Contents

Front Matter....Pages i-xii
Reuse and Integration of Specification Logics: The Hybridisation Perspective....Pages 1-30
Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements....Pages 31-57
Capturing and Verifying Dynamic Systems Behavior Using UML and (\pi ) -Calculus....Pages 59-84
A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet....Pages 85-111
Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse....Pages 113-134
Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining ....Pages 135-155
Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?....Pages 157-171
Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching....Pages 173-196
An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles....Pages 197-217

✦ Subjects

Computational Intelligence; Artificial Intelligence (incl. Robotics)