Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories

Author(s):  
Dagmawi Neway Mekuria ◽  
Paolo Sernani ◽  
Nicola Falcionelli ◽  
Aldo Franco Dragoni
Author(s):  
Hongbo Ni ◽  
Xingshe Zhou ◽  
Zhiwen Yu ◽  
Daqing Zhang

The vision of pervasive computing is floating into the domain of the household and aims to assist inhabitants (users) to live more conveniently and harmoniously. Due to the dynamic and heterogeneous nature of pervasive computing environments, it is difficult for an average user to obtain right service and information in the right place at the right time. This chapter proposes a context-dependent task approach to address the challenge. The most important component is its task model, which provides an adequate high-level description of user-oriented tasks and their related contexts. Leveraging the model, multiple entities can easily exchange, share, and reuse their knowledge. The conversion of OWL task ontology specifications to the First-Order Logic (FOL) representations is presented. The performance of FOL rule-based deducing in terms of task number, context size, and time is evaluated. Finally, we present a task supporting system (TSS) to aid an inhabitant’s tasks in light of his or her lifestyle and environment conditions in smart home.


2014 ◽  
Vol 8 (6) ◽  
pp. 197-204 ◽  
Author(s):  
BonJae Koo ◽  
Young Soo Park ◽  
SungHyun Yang

Author(s):  
Simon Fong

Similarity measures are essential to solve many pattern recognition problems such as classification, clustering, and retrieval problems. Various distance/similarity measures that is applicable to compare two probability density functions. Data comparison is widely used field in our society nowadays, and it is a very import part. To compare two objects is a common task that people from all walks of life would do. People always want or need to find the similarity between two different objects or the difference between two similar objects. Some different data may share some similarity in some given attribute(s). To compare with two datasets based on attributes by classification algorithms, for the attributes, we need to select them out by rules and the system is known as rule-based reasoning system or expert system which classifies a given test instance into a particular outcome from the learned rules. The test instance carries multiple attributes, which are usually the values of diagnostic tests. In this article, we are proposing a classifier ensemble-based method for comparison of two datasets or one dataset with different features. The ensemble data mining learning methods are applied for rule generation, and a multi-criterion evaluation approach is used for selecting reliable rules over the results of the ensemble methods. The efficacy of the proposed methodology is illustrated via an example of two disease datasets; it is a combined dataset with the same instances and normal attributes but the class in strictly speaking. This article introduces a fuzzy rule-based classification method called FURIA, to get the relationship between two datasets by FURIA rules. And find the similarity between these two datasets.


2009 ◽  
Vol 628-629 ◽  
pp. 7-12
Author(s):  
Zhi Yi Pan ◽  
X.Y. Cao ◽  
Y. Wu ◽  
Shun De Gao

Though rule-based reasoning system is easy to create and convenient to extend, it is not flexible because of the demand for precise matching. Geometric reasoning system can obtain engineering semantic from CAD model and connect geometric topology with design knowledge, but it can not drive product design directly. Utilizing the complementary of rule-based reasoning and geometric reasoning, a product design method based on integrated geometric and rule-based reasoning is presented. The method can standardize the expression of design scheme which is from geometric reasoning, and dock seamlessly design scheme and input condition in rule-based reasoning system. Furthermore, the result of rule-based reasoning can drive product design directly. The operation of human-computer interaction and designer’s experience needed are decreased greatly. Digital target in locater is significant to harmonize aircraft tie-in. there are different types in it, and the amount of it is huge, so its design process is complicated and fussy. On the basis of the method, a rapid design software package for locator digital target design is developed and has been applied in aircraft assembly tooling design. The application has proved the method can improve design efficiency, standardization and intelligence.


Sign in / Sign up

Export Citation Format

Share Document