Search results for "reasoning"
showing 10 items of 371 documents
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 …
Introducing automated reasoning in network management
2004
This paper proposes the adoption of Artificial Intelligence techniques in the field of network management and moni toring. In order to allow automated reasoning on network ing topics, we constructed an accurate ontological model capable of fitting as more as possible networking concepts. The thoroughly representation of the domain knowledge is used by a Logical Reasoner, which is an expert system ca pable of performing management tasks typically executed by human experts. The Logical Reasoner is integrated in a distributed multi-agent architecture for network manage ment, which exploits the dynamic reasoning capabilities of the Situation Calculus formalism to provide a powerful sys tem capa…
Experiences with CiceRobot, a Museum Guide Cognitive Robot
2005
The paper describes CiceRobot, a robot based on a cognitive architecture for robot vision and action. The aim of the architecture is to integrate visual perception and actions with knowledge representation, in order to let the robot to generate a deep inner understanding of its environment. The principled integration of perception, action and of symbolic knowledge is based on the introduction of an intermediate representation based on Gardenfors conceptual spaces. The architecture has been tested on a RWI B21 autonomous robot on tasks related with guided tours in the Archaeological Museum of Agrigento. Experimental results are presented.
On Computational Models of Interconnected Perception, Reasoning, and Action — in Dream Worlds
2023
We distinguish between real versus unreal worlds, and include in the latter category fictional worlds and — perhaps the hardest type of unreal world to plumb — dream worlds. Dream worlds, from the standpoint of building computational cognitive models, present a number of acute challenges in at least three areas of human mentation that are for us as AI researchers and computational cognitive scientists deeply interconnected; these areas are: perception, reasoning, and action. We are attempting to specifically answer three tough questions, one in each of these three areas; the answers (for us) must be based upon robust computational models that are both theoretically well-founded, and brought…
Inside the robot’s mind during human-robot interaction
2019
Humans and robots collaborating and cooperating for pursuing a shared objective need to rely on the other for carrying out an effective decision process and for updating knowledge when necessary in a dynamic environment. Robots have to behave as they were human teammates. To model the cognitive process of robots during the interaction, we developed a cognitive architecture that we implemented employing the BDI (belief, desire, intention) agent paradigm. In this paper, we focus on how to let the robot show to the human its reasoning process and how its knowledge on the work environment grows. We realized a framework whose heart is a simulator that serves the human as a window on the robot’s …
Programming distributed applications with symbolic reasoning on WSNs
2015
Programming Wireless Sensor Networks (WSNs) is a complex task for which existing approaches adopt rigid architectures that are only suitable for specific application fields. In previous papers we introduced a programming methodology and a lightweight middleware based on high-level programming and executable code exchange for distributed processing on WSNs. In this paper, we show how high-level programming can be effectively used on WSNs to implement symbolic reasoning. In order to prove the feasibility of our approach, we present a Fuzzy Logic system where the value updates and the rule evaluations are performed in a distributed way. Through the proposed methodology, we discuss the developm…
A Modular Architecture for Adaptive ChatBots
2011
We illustrate an architecture for a conversational agent based on a modular knowledge representation. This solution provides intelligent conversational agents with a dynamic and flexible behavior. The modularity of the architecture allows a concurrent and synergic use of different techniques, making it possible to use the most adequate methodology for the management of a specific characteristic of the domain, of the dialogue, or of the user behavior. We show the implementation of a proof-of-concept prototype: a set of modules exploiting different knowledge representation techniques and capable to differently manage conversation features has been developed. Each module is automatically trigg…