Search results for " Reason"
showing 10 items of 465 documents
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…
High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices
2015
While the vision of Internet of Things (IoT) is rather inspiring, its practical implementation remains challenging. Conventional programming approaches prove unsuitable to provide IoT resource constrained devices with the distributed processing capabilities required to implement intelligent, autonomic, and self-organizing behaviors. In our previous work, we had already proposed an alternative programming methodology for such systems that is characterized by high-level programming and symbolic expressions evaluation, and developed a lightweight middleware to support it. Our approach allows for interactive programming of deployed nodes, and it is based on the simple but effective paradigm of …
Probabilistic Anomaly Detection for Wireless Sensor Networks
2011
Wireless Sensor Networks (WSN) are increasingly gaining popularity as a tool for environmental monitoring, however ensuring the reliability of their operation is not trivial, and faulty sensors are not uncommon; moreover, the deployment environment may influence the correct functioning of a sensor node, which might thus be mistakenly classified as damaged. In this paper we propose a probabilistic algorithm to detect a faulty node considering its sensed data, and the surrounding environmental conditions. The algorithm was tested with a real dataset acquired in a work environment, characterized by the presence of actuators that also affect the actual trend of the monitored physical quantities.
A Knowledge Management System based on Ontologies
2009
Recently the companies’ interest on a correct knowledge management is grown, more than interest on the mere knowledge itself. In the last few years, several projects have been carried out, with the aim of the development of innovative systems capable of collecting and sharing information. This paper proposes a Knowledge Management System, whose main feature is an ontological knowledge representation. The ontological representation of data allows of specializing the reasoning capabilities and of providing ad hoc behaviors. The system has been tested collecting and using data coming from projects and processes typical of ICT companies, and provides a Document Management System and an Expert S…
An Ontology Design Methodology for Knowledge-Based Systems with Application to Bioinformatics
2012
Ontologies are formal knowledge representation models. Knowledge organization is a fundamental requirement in order to develop Knowledge-Based systems. In this paper we present Data-Problem-Solver (DPS) approach, a new ontological paradigm that allows the knowledge designer to model and represent a Knowledge Base (KB) for expert systems. Our approach clearly distinguishes among the knowledge about a problem to resolve (answering the what to do question), the solver method to resolve it (answering the how to do question) and the type of input data required (answering the what I need question). The main purpose of the proposed paradigm is to facilitate the generalization of the application do…