Search results for " reason"
showing 10 items of 465 documents
A Multimodal Guide for the Augmented Campus
2007
The use of Personal Digital Assistants (PDAs) with ad-hoc built-in information retrieval and auto-localization functionalities can help people navigating an environment in a more natural manner compared to traditional audio/visual pre-recorded guides. In this work we propose and discuss a user-friendly, multi-modal guide system for pervasive context-aware service provision within augmented environments. The proposed system is adaptable to the user needs of mobility within a given environment; it is usable on different mobile devices and in particular on PDAs, which are used as advanced adaptive HEI (human-environment interaction) interfaces. An information retrieval service is provided that…
Closedness Properties in EX-Identification of Recursive Functions
1998
In this paper we investigate in which cases unions of identifiable classes of recursive functions are also necessarily identifiable. We consider identification in the limit with bounds on mindchanges and anomalies. Though not closed under the set union, these identification types still have features resembling closedness. For each of them we find such n that 1) if every union of n - 1 classes out of U1;, . . ., Un is identifiable, so is the union of all n classes; 2) there are such classes U1;, . . ., Un-1 that every union of n-2 classes out of them is identifiable, while the union of n - 1 classes is not. We show that by finding these n we can distinguish which requirements put on the iden…
Unions of identifiable families of languages
1996
This paper deals with the satisfiability of requirements put on the identifiability of unions of language families. We consider identification in the limit from a text with bounds on mindchanges and anomalies. We show that, though these identification types are not closed under the set union, some of them still have features that resemble closedness. To formalize this, we generalize the notion of closedness. Then by establishing “how closed” these identification types are we solve the satisfiability problem.
La ricostruzione dell'abside in alcuni esempi della seconda metà del XVI secolo a Palermo
2015
Il contributo ha l’obiettivo di studiare alcuni casi di ricostruzione dell’abside eseguiti in edifici chiesastici palermitani nella seconda metà del XVI secolo. Si tratta delle chiese di San Sebastiano, San Francesco d’Assisi e San Martino delle Scale (all’interno dell’omonima abbazia), in cui, nella seconda metà del Cinquecento, per motivi liturgici, l’abside originaria viene “trasformata”, in un’abside “piatta”, al fine di potervi inserire il Coro ligneo. Il nuovo posizionamento del Coro, in conseguenza della Riforma tridentina - problematica centrale nell’Europa di età moderna – suscita, anche in questi casi palermitani, dibattiti e controversie. Il cambiamento della forma dell’abside de…
Shall We (Math and) Dance?
2019
Can we use mathematics, and in particular the abstract branch of category theory, to describe some basics of dance, and to highlight structural similarities between music and dance? We first summarize recent studies between mathematics and dance, and between music and categories. Then, we extend this formalism and diagrammatic thinking style to dance.
Logic and Computational Aspects of Computing with Speculations
2020
A novel, alternative approach to the fundamental logic of common- sense reasoning extending the concepts put forward by Lotfi A. Zadeh’s Computing with Words has been recently advanced by Enric Trillas, based on the idea that in order to allow for creativity in automated reasoning, the standard operations of inducing and abducing must be complemented by guessing, or speculating. In this paper, after a recall of Trillas’ skeleton formal model, a reflection is made on the computational aspects of such approach. As computational complexity of such approach generally increases exponentially, hints are given on how to tackle such growth and render more manageable the mechanisation of commonsense…
An Ambient Intelligence Architecture for Extracting Knowledge from Distributed Sensors
2009
Precisely monitoring the environmental conditions is an essential requirement for AmI projects, but the wealth of data generated by the sensing equipment may easily overwhelm the modules devoted to higher-level reasoning, clogging them with irrelevant details. The present work proposes a new approach to knowledge extraction from raw data that addresses this issue at different levels of abstraction. Wireless sensor networks are used as the pervasive sensory tool, and their computational capabilities are exploited to remotely perform preliminary data processing. A central intelligent unit subsequently extracts higher-level concepts represented in a geometrical space and carries on symbolic re…
Sensor9k : A testbed for designing and experimenting with WSN-based ambient intelligence applications
2012
Ambient Intelligence systems are typically characterized by the use of pervasive equipment for monitoring and modifying the environment according to users' needs, and to globally defined constraints. Our work describes the implementation of a testbed providing the hardware and software tools for the development and management of AmI applications based on wireless sensor and actuator networks, whose main goal is energy saving for global sustainability. A sample application is presented that addresses temperature control in a work environment, through a multi-objective fuzzy controller taking into account users' preferences and energy consumption.
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 …
Rule based reasoning for network management
2006
This paper focuses on improving network management by the adoption of artificial intelligence techniques. We propose a distributed multi-agent architecture for network management, where a logical reasoner acts as a managing entity capable of directing, coordinating, and triggering monitoring and management actions in the proposed architecture. The logical inference system has been devised to enable automated isolation, diagnosis, and to repair network anomalies, thus enhancing the reliability, performance, and security of the network. The measurements of network events are captured by programmable sensors deployed on the network devices and are collected by the network management entity whe…