Search results for "Inference"
showing 10 items of 478 documents
An Adaptive Bayesian System for Context-Aware Data Fusion in Smart Environments
2017
The adoption of multi-sensor data fusion techniques is essential to effectively merge and analyze heterogeneous data collected by multiple sensors, pervasively deployed in a smart environment. Existing literature leverages contextual information in the fusion process, to increase the accuracy of inference and hence decision making in a dynamically changing environment. In this paper, we propose a context-aware, self-optimizing, adaptive system for sensor data fusion, based on a three-tier architecture. Heterogeneous data collected by sensors at the lowest tier are combined by a dynamic Bayesian network at the intermediate tier, which also integrates contextual information to refine the infe…
Mimicking biological mechanisms for sensory information fusion
2013
Current Artificial Intelligence systems are bound to become increasingly interconnected to their surrounding environment in the view of the newly rising Ambient Intelligence (AmI) perspective. In this paper, we present a comprehensive AmI framework for performing fusion of raw data, perceived by sensors of different nature, in order to extract higher-level information according to a model structured so as to resemble the perceptual signal processing occurring in the human nervous system. Following the guidelines of the greater BICA challenge, we selected the specific task of user presence detection in a locality of the system as a representative application clarifying the potentialities of …
Context-awareness for multi-sensor data fusion in smart environments
2016
Multi-sensor data fusion is extensively used to merge data collected by heterogeneous sensors deployed in smart environments. However, data coming from sensors are often noisy and inaccurate, and thus probabilistic techniques, such as Dynamic Bayesian Networks, are often adopted to explicitly model the noise and uncertainty of data. This work proposes to improve the accuracy of probabilistic inference systems by including context information, and proves the suitability of such an approach in the application scenario of user activity recognition in a smart home environment. However, the selection of the most convenient set of context information to be considered is not a trivial task. To thi…
Bayesian Modeling for Differential Cryptanalysis of Block Ciphers: A DES Instance
2023
Encryption algorithms based on block ciphers are among the most widely adopted solutions for providing information security. Over the years, a variety of methods have been proposed to evaluate the robustness of these algorithms to different types of security attacks. One of the most effective analysis techniques is differential cryptanalysis, whose aim is to study how variations in the input propagate on the output. In this work we address the modeling of differential attacks to block cipher algorithms by defining a Bayesian framework that allows a probabilistic estimation of the secret key. In order to prove the validity of the proposed approach, we present as case study a differential att…
Cognitive meta-learning of syntactically inferred concepts
2011
This paper outlines a proposal for a two-level cognitive architecture reproducing the process of abstract thinking in human beings. The key idea is the use of a level devoted to the extraction of compact representation for basic concepts, with additional syntactic inference carried on at a meta-level, in order to provide generalization. Higher-level concepts are inferred according to a principle of simplicity, consistent with Kolmogorov complexity, and merged back into the lower level in order to widen the underlying knowledge base.
Learning Path Generation by Domain Ontology Transformation
2005
An approach to automated learning path generation inside a domain ontology supporting a web tutoring system is presented. Even if a terminological ontology definition is needed in real systems to enable reasoning and/or planning techniques, and to take into account the modern learning theories, the task to apply a planner to such an ontology is very hard because the definition of actions along with their preconditions and effects has to take into account the semantics of the relations among concepts, and it results in building an ontology of learning. The proposed methodology is inspired to the Knowledge Space Theory, and proposes some heuristics to transform the original ontology in a weig…
Comparative Reasoning for Intelligent Agents
2023
We demonstrate new comparative reasoning abilities of NARS, a formal model of intelligence, which enable the asymmetric comparison of perceivable quantifiable attributes of objects using rela- tions. These new abilities are implemented by extending NAL with addi- tional inference rules. We demonstrate the new capabilities in a bottle- picking experiment on a mobile robot running ONA, an implementation of NARS.
An Approach to Enhance Chatbot Semantic Power and Maintainability: Experiences within the FRASI Project
2012
The paper illustrates the implementation and semantic enhancement of a domain-oriented Question-Answering system based on a pattern-matching chat bot technology, developed within an industrial project, named FRASI. The main difficulty in building a KB for a chat bot is to handwrite all possible question-answer pairs that constitute the KB. The proposed approach simplifies the chat bot realization thanks to two solutions. The first one uses an ontology, which is exploited in a twofold manner: to construct dynamic answers as a result of an inference process about the domain, and to automatically populate, off-line, the chat bot KB with sentences that can be derived from the ontology, describi…
Logical Operations among Conditional Events: theoretical aspects and applications
2019
We generalize the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval $[0,1]$. We also define the notion of negation, by verifying De Morgan's Laws. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals and we show that some well known properties which are satisfied by conjunctions and disjunctions of unconditional events are also satisfied by conjunctions and disjunction of conditional events. We also examine in detail the coherence of the prevision a…
On compound and iterated conditionals
2021
We illustrate the notions of compound and iterated conditionals introduced, in recent papers, as suitable conditional random quantities, in the framework of coherence. We motivate our definitions by examining some concrete examples. Our logical operations among conditional events satisfy the basic probabilistic properties valid for unconditional events. We show that some, intuitively acceptable, compound sentences on conditionals can be analyzed in a rigorous way in terms of suitable iterated conditionals. We discuss the Import-Export principle, which is not valid in our approach, by also examining the inference from a material conditional to the associated conditional event. Then, we illus…