Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics

2007 ◽  
pp. 348-357 ◽  
Author(s):  
Włodzimierz Drabent ◽  
Jakob Henriksson ◽  
Jan Małuszyński
Keyword(s):  
Hybrid Reasoning

Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems

2015 ◽  
Vol 48 (1) ◽  
pp. 1-40 ◽  
Author(s):  
Stefan Mitsch ◽  
André Platzer ◽  
Werner Retschitzegger ◽  
Wieland Schwinger
Keyword(s):  
Modeling Approaches ◽  
Spatial Systems ◽  
Hybrid Reasoning

Location-Based Mobile Recommendations by Hybrid Reasoning on Social Media Streams

2014 ◽  
pp. 261-273
Author(s):  
Tony Lee ◽  
Seon-Ho Kim ◽  
Marco Balduini ◽  
Daniele Dell’Aglio ◽  
Irene Celino ◽  
...  
Keyword(s):  
Social Media ◽  
Hybrid Reasoning

scholarly journals A Hybrid Reasoning Model for “Whole and Part” Cardinal Direction Relations

2013 ◽  
Vol 2013 ◽  
pp. 1-20 ◽  
Author(s):  
Ah-Lian Kor ◽  
Brandon Bennett
Keyword(s):  
Hybrid Model ◽  
Binary Relations ◽  
Single Piece ◽  
Cardinal Direction ◽  
Hybrid Reasoning ◽  
Direction Relations ◽  
Cardinal Directions ◽  
To Come ◽  
Cardinal Direction Relations ◽  
Constraints Model

We have shown how the nine tiles in the projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model) in our previous papers (Kor and Bennett, 2003 and 2010). In order to come up with an expressive hybrid model for direction relations between two-dimensional single-piece regions (without holes), we integrate the well-known RCC-8 model with the above-mentioned model. From this expressive hybrid model, we derive 8 basic binary relations and 13 feasible as well as jointly exhaustive relations for the x- and y-directions, respectively. Based on these basic binary relations, we derive two separate 8×8 composition tables for both the expressive and weak direction relations. We introduce a formula that can be used for the computation of the composition of expressive and weak direction relations between “whole or part” regions. Lastly, we also show how the expressive hybrid model can be used to make several existential inferences that are not possible for existing models.

Research and Implementation of an Expert System for Fault Diagnosis of Fan Based on Knowledge Rule

2011 ◽  
Vol 201-203 ◽  
pp. 1989-1992
Author(s):  
Lei Wang ◽  
Tian Zhong Sui ◽  
Yu Song ◽  
Hai Xiang Zhao ◽  
Bo Ran Zhuang
Keyword(s):  
Fault Diagnosis ◽  
Expert System ◽  
Knowledge Base ◽  
Relational Database ◽  
High Efficiency ◽  
Rule Based ◽  
Diagnosis System ◽  
Hybrid Reasoning ◽  
Fault Diagnosis System ◽  
And Function

An example of the rule-based expert system applied to the fan fault diagnosis is presented. The architecture and function of the fault diagnosis system are introduced. The expression of the fault diagnosis knowledge and the attribute of knowledge base based on the relational database have been studied. The hybrid reasoning technology was applied to the implementation of the diagnosis inference engine in the expert system. The presented fault diagnosis system is easy to modify the knowledge base with the experience accumulated in practice, and it has the advantages of expansibility, portability, concision, and high efficiency.

Sign in / Sign up

Export Citation Format

Share Document