A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Fusions of Description Logics and Abstract Description Systems
2002
The Journal of Artificial Intelligence Research
Preserved Fulltext
Other Versions
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
2015
International Journal of Hybrid Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Computers Communications & Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2000
Proceedings of the Third International Conference on Information Fusion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2019
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2022
Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2010
Analysis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1989
Sensor Fusion: Spatial Reasoning and Scene Interpretation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Advances in Electrical and Electronic Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 10th International Conference on Information Fusion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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