75,876 Hits in 2.0 sec

Fusions of Description Logics and Abstract Description Systems

F. Baader, C. Lutz, H. Sturm, F. Wolter
2002 The Journal of Artificial Intelligence Research  
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail.  ...  In this paper, we extend the decidability transfer results from normal modal logics to a large class of description logics.  ...  We now show that W, A |= Γ is a consequence of (1). Suppose R(a, b) ∈ Γ. Then R(a, b) ∈ Γ 1 and thus W, A |= R(a, b). Similarly, Q(a, b) ∈ Γ implies Q(a, b) ∈ Γ 2 and W, A |= Q(a, b).  ... 
doi:10.1613/jair.919 fatcat:mwax3cm22ffldbvigjgf62tum4

Adaptation Model Construction Technique Based on Partial Behaviour Model Fusion

Xiaoan Bao, Hui Lin, Ning Gui, Xiance Sun, Na Zhang, Meng Dong
2015 International Journal of Hybrid Information Technology  
With the help of three-valued logic model description language KMTS, we research the consistent judgment algorithm of related models, and propose a fusion method of consistent models for supporting online  ...  fusion of adaptation models.  ...  On the basis of the formal description, we design the consistent judgment algorithm between partial adaptation models and adaptation logic fusion method to provide reliable support for the fusion of the  ... 
doi:10.14257/ijhit.2015.8.3.03 fatcat:xyg34kwm6zgg5gzxcwzpropa6m

Intelligent Decision Support Algorithm Based on Self-Adaption Reasoning

Guomin Chen, Yingwei Jin, Huili Wang, Shuo Cao
2017 International Journal of Computers Communications & Control  
This paper analyzes the logic deduction and reasoning techniques usedin several intelligent decision support algorithms, and proposes a flexible planningmethod GARIv using fuzzy descriptive logic in media  ...  Combinedwith experiments, the above methods are illustrated in terms of effectivenessand feasibility.  ...  The description logic ALC* was extended, and a fusion of fuzzy description logic (fuzzy description logic), fuzzy description of the state of the fuzzy description logic, FALC* (fuzzy ALC*) is proposed  ... 
doi:10.15837/ijccc.2017.6.2898 fatcat:akxn557reffwpai6uivmpj5l44

A platform for interoperable fusion models

V. Royer, J.-F. Challine
2000 Proceedings of the Third International Conference on Information Fusion  
They are generic being independent of the semantics of data. Data and knowledge semantics is given explicitly by an input ontology together with descriptive models of the ontology concepts.  ...  The fusion process is designed as an heterogeneous "algebra" of fusion operations. Each fusion operation works on given abstract data types.  ...  In OASIS jargon, logical descriptions of the form "ARTY_BON AND ORANGE_BON" are called Symbolic Signatures.  ... 
doi:10.1109/ific.2000.859868 fatcat:zsycosbb4jcq5fplhu5rwva5ia

Page 3315 of Mathematical Reviews Vol. , Issue 2004d [page]

2004 Mathematical Reviews  
of description logics and abstract description systems.  ...  Of course, every such formula can be easily reformulated in terms of first- order logic, but the usefulness of description logics is that while the general first-order logic is undecidable, many description  ... 

An AutomationML Based Ontology for Sensor Fusion in Industrial Plants

Eder Gonçalves, Alvaro Freitas, Silvia Botelho
2019 Sensors  
Additionally, AutomationML does not deal with aspects of sensor fusion naturally.  ...  In a broader view, the results show how to apply AutomationML description for runtime processing of data generated from different sensors of a manufacturing system using an ontology to complement the AML  ...  The right side of the figure shows the Description Logic (DL) Query with all the elements that are in fusion, including areas.  ... 
doi:10.3390/s19061311 fatcat:7cfuc6nmi5boliiebjwep3cpoq

Rule Fusion of Privacy Protection Strategies for Co-Ownership Data Sharing

Tinghuai Ma, Yuming Su, Huan Rong, Yurong Qian, Najla Al-Nabhan
2022 Mathematics  
Second, this paper uses predicate logic formulas to abstract the natural language-based description of privacy protection and further provides a logical model of privacy protection rules.  ...  This paper proposes a rule fusion method of privacy protection for the co-ownership of data shared in social networks.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/math10060969 fatcat:bl5klstowrbh7n3yy3ojjp5xta

A flaw in Sider's vagueness argument for unrestricted mereological composition

H. W. Noonan
2010 Analysis  
things, i.e., the description of the 'two simples' scenario as one in which it is indeterminate whether the fusion of a and b exists not only fails to entail that it is indeterminate whether there are  ...  to assert both 'nothing is indeterminately F (the fusion of a and b)' and 'it is indeterminate whether something is F (the fusion of a and b)'.  ... 
doi:10.1093/analys/anq070 fatcat:wuhtraojmfd5bniisieixyekxa

A Metadata Based Agricultural Universal Scientific and Technical Information Fusion and Service Framework [chapter]

Cui Yunpeng, Liu Shihong, Sun SuFen, Zhang Junfeng, Zheng Huaiguo
2011 IFIP Advances in Information and Communication Technology  
service, smart Q & A application etc., and the solution is an available and effective solution for the fusion and services of agricultural scientific and technical information resources, because the solution  ...  The paper introduced a metadata based Agricultural scientific and technical Information fusion and Services framework.  ...  Acknowledgement The research was supported by the special project from ministry of agriculture of the people's republic of China, named study of agriculture informatization standards system and special  ... 
doi:10.1007/978-3-642-18333-1_8 fatcat:wuff6pakjzhl5gnhzfvstk4dlu

High-Level Multisensor Integration

Thomas C. Henderson, Olivier D. Faugeras, Paul S. Schenker
1989 Sensor Fusion: Spatial Reasoning and Scene Interpretation  
This is accomplished by the use of logical behaviors. Such an approach allows for active control of the sensors in acquiring information.  ...  We describe here an approach to: • the semantic analysis of the 3-D environment descriptions. This analysis is organized in terms of robot goals and behaviors.  ...  This 3-D description provides the basis for the development of logical sensors for object recognition and localization.  ... 
doi:10.1117/12.948944 fatcat:f4ame6bklbaallvtrwjqkvmntm

Fuzzy Methods and Image Fusion in a Digital Image Processing

Jaroslav Vlach, Milan Kolar
2012 Advances in Electrical and Electronic Engineering  
This article is a contribution to the study of the use of fuzzy logic methods and image fusion for image processing using LabVIEW tools for quality management, in this case especially in the jewelry industry  ...  Although the basics of image processing were laid more than 50 years ago, significant development occurred mainly in the last 25 years with the entrance of personal computers and today's problems are already  ...  Another, who used the concept of vagueness in a logical description of reality, was a mathematician and philosopher Max Black (*1909, †1988).  ... 
doi:10.15598/aeee.v10i1.550 fatcat:3mdetlqcbngjdpec6jepdyfkvq

Context Reasoning Technologies in Ubiquitous Computing Environment [chapter]

Sun Jie, Wu ZhaoHui
2006 Lecture Notes in Computer Science  
Many other logics are applied, such as fuzzy logic used in [6] , description logic used in [7] and temporal logic used in [8] .  ...  CORTEX [5] applies Bayesian network to context fusion and the conditional rules are used. [9] uses a naïve Bayes classifier to recognize raw context and reason higher-level context from context atoms.  ...  context atoms and deducing context of higher abstract level.  ... 
doi:10.1007/11802167_103 fatcat:nmdko2x7kfcq5dfjgt4xesj2vi

Description Logics and Rules for Multimodal Situational Awareness in Healthcare [chapter]

Georgios Meditskos, Stefanos Vrochidis, Ioannis Kompatsiaris
2016 Lecture Notes in Computer Science  
We present a framework for semantic situation understanding and interpretation of multimodal data using Description Logics (DL) and rules.  ...  The framework has been applied in the eminent field of healthcare, providing the models for the semantic enrichment and fusion of verbal and non-verbal descriptors in dialogue-based systems.  ...  Background and Related Work Description Logics Description Logics (DL [3] ) is a family of knowledge representation formalisms characterised by logically grounded semantics and well-defined reasoning  ... 
doi:10.1007/978-3-319-51811-4_58 fatcat:h7w4gtciabd6xjhdoimvdgwwdq

High-level fusion based on conceptual graphs

Claire Laudy, Jean-Gabriel Ganascia, Celestin Sedogbo
2007 2007 10th International Conference on Information Fusion  
Most of studies in the field of information fusion focus on the production of high-level information from low-level data.  ...  This paper is dedicated to the extension of the maximal join operator in order to manage heterogeneous information fusion.  ...  The logical form is used to reason and make inferences on conceptual graphs using logical operators. The logical form for the previous example is the following one: ∃x,∃y,∃z (Content(x) ∧ Title("TF!  ... 
doi:10.1109/icif.2007.4408028 dblp:conf/fusion/LaudyGS07 fatcat:fmgzpvrwqfee7c3u3ch5psxy7y

Page 7664 of Mathematical Reviews Vol. , Issue 2001K [page]

2001 Mathematical Reviews  
Summary: “The aim of this paper is to give a description of change in the framework of tense logic. Some different examples of using the intervals are considered.  ...  We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds.”  ... 
« Previous Showing results 1 — 15 out of 75,876 results