583 research outputs found
Abductive Reasoning with Abstraction Axioms
No full textion Axioms ? Luca Console 1 and Daniele Theseider Dupr'e 2 1 Dipartimento di Matematica e Informatica, Universit`a di Udine Via Zanon 6, 33100 Udine, Italy 2 Dipartimento di Informatica, Universit`a di Torino, Corso Svizzera 185, 10149 Torino, Italy Abstract. This paper deals with abductive reasoning on knowledge bases that are expressed at different levels of abstraction, but are not necessarily organized as a set of increasingly more abstract models, each one giving a complete (even if abstracted) description of a domain. We claim that the search for abductive explanations in such a context and, in particular, the choice of the "right" level at which explanations have to be determined, should be driven by the available observations in such a way that explanations involving low-level phenomena are allowed only if there are specific observations related to them, or higher-level explanations cannot be found. We present formal definitions following this principle and we discuss ho..
Tools for integrating diagnosis in the design process an application to the Common Rail air and fuel delivery systemsC
No full textThe development of diagnostic software is very critical in current generation automotive systems. However, the activities related to diagnosis (e.g., FMEA generation, analysis of diagnosability, generation of software to be embedded in the ECU) are usually not supported by specialized tools and, as a consequence, not strictly integrated with other design phases (e.g., design of control and definition of control strategies and software). In this paper we discuss how the design process can be re-organized including the activities above by using a set of tools which support the activities themselves. The work originated from the IDD1 project, which was started in 2000 with the goals of bringing diagnostic related activities to the core of the design process, by providing designers with a set of tools to perform these activities. After sketching the reengineered design process, we present the implemented tools and we briefly comment on the application to the common rail air and fuel delivery system
What Does a Query Answer Tell You? Informativeness of Query Answers for Knowledge Bases
No full textQuery answering for Knowledge Bases (KBs) amounts to extracting information from the various models of a KB, and presenting the user with an object that represents such information. In the vast majority of cases, this object consists of those tuples of constants that satisfy the query expression either in every model (certain answers) or in some model (possible answers). However, similarly to the case of incomplete databases, both these forms of answers are a lossy representation of all the knowledge inferable from the query and the queried KB. In this paper, we illustrate a formal framework to characterize the information that query answers for KBs are able to represent. As a frst application of the framework, we study the informativeness of current query answering approaches, including the recently introduced partial answers. We then defne a novel notion of answers, allowing repetition of variables across answer tuples. We show that these answers are capable of representing a meaningful form of information, and we also study their data complexity properties
Principles to Design Smart Physical Objects as Adaptive Recommenders
No full textRecommenders have proven to be useful means to support people in their activities and in making decisions. They evolved from online recommenders to context-aware and ubiquitous recommenders. Moving forward along this line, the paper introduces the new emerging class of smart physical recommenders: context-aware recommender systems that are embedded into physical everyday objects. The paper describes the features of these systems and presents a conceptual model to design them, by analyzing a number of issues that have to be addressed by a designer and discussing the consequences of different design choices with their impact on the smartness of the designed object. The model is structured in a number of layers corresponding to different conceptual design phases in which different requirements are analyzed. The contribution of the paper is to discuss and provide design guidelines for a new rising class of recommenders that combine the features of intelligent agents, cyber-physical objects and recommendersupport systems. The description of the model is complemented by an exemplary analysis of its application
Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information
No full textMulti-dimensional intelligence in smart physical objects
No full textThis paper is about characterizing intelligence in Smart Physical Objects, i.e., objects based on the tight and seamless integration of a physical and a digital counterpart. The design of these objects gives rise to new opportunities but requires taking into account a number of dimensions that contribute to smartness. In our view, supported by considerable literature on this subject, smart behavior is the result of proper combinations of several dimensions of intelligence. In the paper we analyze these dimensions, singling out different alternatives leading to different capabilities of smart objects. The contribution of the paper is to provide a framework that can guide a designer in making decisions about smartness in the physical object being designed, starting from its requisites. At the same time the framework provides an effective guide to classify and compare smart physical objects according to the type and level of smartness they exhibit
Informativeness of Query Answers for Knowledge Bases (Extended Abstract)
No full textThis extended abstract summarises our recent work on the informativeness of query answers over Description Logics Knowledge Bases (KBs). We introduce a framework to characterise the information that query answers for KBs can represent and under its lens we study the informative power of current query answering definitions across the literature. Moreover, we also present novel notions of certain and possible answers, showing that they are able to represent a meaningful form of information. Lastly, we study the data complexity properties for relevant problems associated to the answers we introduced
- …
