The Experts below are selected from a list of 6369 Experts worldwide ranked by ideXlab platform
C. Alsina - One of the best experts on this subject based on the ideXlab platform.
-
On the law [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)] in fuzzy logic
IEEE Transactions on Fuzzy Systems, 2002Co-Authors: E. Trillas, C. AlsinaAbstract:This paper deals with the Logical Equivalence of the classical propositional calculus [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)]. This equality seems to play a central role in a recent discussion around a paper of Combs and Andrews (1998). After reconsidering the Equivalence in lattices, its validity in the standard theories of fuzzy sets endowed with an implication operator is studied.
Ernst-erich Doberkat - One of the best experts on this subject based on the ideXlab platform.
-
Algebraic Properties of Stochastic Effectivity Functions
arXiv: Logic in Computer Science, 2014Co-Authors: Ernst-erich DoberkatAbstract:Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract Logical Equivalence and behavioral Equivalence is investigated.
-
behavioral and Logical Equivalence of stochastic kripke models in general measurable spaces
Theory and Applications of Models of Computation, 2009Co-Authors: Ernst-erich DoberkatAbstract:We show that Logical and behavioral Equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topoLogical assumptions and includes bisimilarity; the results here indicate that a measurable structure on the state space of the Kripke model suffices. In contrast to a paper by Danos et al. we focus on the measurable structure of the factor space induced by the logic. This technique worked well in the analytic case, and it is shown to work here as well. The main contribution of the paper is methodoLogical, since it provides a uniform framework for general measurable as well as more specialized analytic spaces.
-
TAMC - Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
Lecture Notes in Computer Science, 2009Co-Authors: Ernst-erich DoberkatAbstract:We show that Logical and behavioral Equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topoLogical assumptions and includes bisimilarity; the results here indicate that a measurable structure on the state space of the Kripke model suffices. In contrast to a paper by Danos et al. we focus on the measurable structure of the factor space induced by the logic. This technique worked well in the analytic case, and it is shown to work here as well. The main contribution of the paper is methodoLogical, since it provides a uniform framework for general measurable as well as more specialized analytic spaces.
-
Bisimilarity of Distributionally Equivalent Markov Transition Systems
Electronic Notes in Theoretical Computer Science, 2008Co-Authors: Ernst-erich DoberkatAbstract:Markov transition systems for interpreting a simple negation free Hennessy-Milner logic are called distributionally equivalent iff for each formula the probability for its extension in one model is matched probabilistically in the other one. This extends in a natural way the notion of Logical Equivalence which is defined on the states of a transition system to its subprobability distributions. It is known that Logical Equivalence is equivalent to bisimilarity, i.e., the existence of a span of Borel maps that act as morphisms. We show that distributional Equivalence is equivalent to bisimilarity as well, using a characterization of distributional equivalent transition systems through ergodic morphisms. As an aside, we relate bisimilar transition systems to those systems, for which cospans - taken in the category of measurable maps resp. in the Kleisli category associated with the Giry monad - exist.
-
Stochastic coalgebraic logic: Bisimilarity and behavioral Equivalence
Annals of Pure and Applied Logic, 2008Co-Authors: Ernst-erich DoberkatAbstract:Abstract Bisimulations, behavioral Equivalence and Logical Equivalence are investigated for stochastic T -coalgebras that interpret coalgebraic logic which is defined in terms of predicate liftings. We investigate the conditions for the functor under which these notions of Equivalence are related by discussing congruences for the underlying stochastic relation. It is demonstrated that logics as diverse as continuous time stochastic logic and general modal logics can be usefully approached through coalgebraic methods.
E. Trillas - One of the best experts on this subject based on the ideXlab platform.
-
On the law [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)] in fuzzy logic
IEEE Transactions on Fuzzy Systems, 2002Co-Authors: E. Trillas, C. AlsinaAbstract:This paper deals with the Logical Equivalence of the classical propositional calculus [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)]. This equality seems to play a central role in a recent discussion around a paper of Combs and Andrews (1998). After reconsidering the Equivalence in lattices, its validity in the standard theories of fuzzy sets endowed with an implication operator is studied.
Arabella Dhave - One of the best experts on this subject based on the ideXlab platform.
-
achieving Logical Equivalence between snomed ct and icd 10 pcs surgical procedures
American Medical Informatics Association Annual Symposium, 2017Co-Authors: Kin Wah Fung, Filip Ameye, Arturo Romero Gutierrez, Arabella DhaveAbstract:Surgical procedures are coded in SNOMED CT in the electronic health record and in ICD-10-PCS in administrative systems. We compared the Logical definitions of SNOMED CT concepts to the ICD-10-PCS axial components to identify overlap and gaps. The biggest discrepancy was in the surgical approach which was specified in all ICD-10-PCS codes but only in 8.7% of SNOMED CT surgical procedures. Among the top 100 commonly used ICD-10-PCS codes, 25% could be matched fully in meaning and Logical definition to pre-coordinated SNOMED CT concepts. Using post-coordination, it was possible to represent the full meaning of 86% of ICD-10-PCS codes. Logical mapping between SNOMED CT and ICD-10-PCS is feasible but will be more productive if more SNOMED CT concepts can become fully-defined. Short of full Logical matching, partial Logical matches can also be useful in suggesting candidate maps for expert review and to support interactive post-coordination.
Kin Wah Fung - One of the best experts on this subject based on the ideXlab platform.
-
AMIA - Achieving Logical Equivalence between SNOMED CT and ICD-10-PCS Surgical Procedures.
AMIA ... Annual Symposium proceedings. AMIA Symposium, 2018Co-Authors: Kin Wah Fung, Filip Ameye, Arturo Romero Gutierrez, Arabella D’haveAbstract:Surgical procedures are coded in SNOMED CT in the electronic health record and in ICD-10-PCS in administrative systems. We compared the Logical definitions of SNOMED CT concepts to the ICD-10-PCS axial components to identify overlap and gaps. The biggest discrepancy was in the surgical approach which was specified in all ICD-10-PCS codes but only in 8.7% of SNOMED CT surgical procedures. Among the top 100 commonly used ICD-10-PCS codes, 25% could be matched fully in meaning and Logical definition to pre-coordinated SNOMED CT concepts. Using post-coordination, it was possible to represent the full meaning of 86% of ICD-10-PCS codes. Logical mapping between SNOMED CT and ICD-10-PCS is feasible but will be more productive if more SNOMED CT concepts can become fully-defined. Short of full Logical matching, partial Logical matches can also be useful in suggesting candidate maps for expert review and to support interactive post-coordination.
-
achieving Logical Equivalence between snomed ct and icd 10 pcs surgical procedures
American Medical Informatics Association Annual Symposium, 2017Co-Authors: Kin Wah Fung, Filip Ameye, Arturo Romero Gutierrez, Arabella DhaveAbstract:Surgical procedures are coded in SNOMED CT in the electronic health record and in ICD-10-PCS in administrative systems. We compared the Logical definitions of SNOMED CT concepts to the ICD-10-PCS axial components to identify overlap and gaps. The biggest discrepancy was in the surgical approach which was specified in all ICD-10-PCS codes but only in 8.7% of SNOMED CT surgical procedures. Among the top 100 commonly used ICD-10-PCS codes, 25% could be matched fully in meaning and Logical definition to pre-coordinated SNOMED CT concepts. Using post-coordination, it was possible to represent the full meaning of 86% of ICD-10-PCS codes. Logical mapping between SNOMED CT and ICD-10-PCS is feasible but will be more productive if more SNOMED CT concepts can become fully-defined. Short of full Logical matching, partial Logical matches can also be useful in suggesting candidate maps for expert review and to support interactive post-coordination.