Results 1 to 10 of about 129,811 (230)
Fluorescence-Based Multimodal DNA Logic Gates [PDF]
NanomaterialsThe use of DNA structures in creating multimodal logic gates bears high potential for building molecular devices and computation systems. However, due to the complex designs or complicated working principles, the implementation of DNA logic gates within ...
Chamika Harshani Algama +3 more
doaj +6 more sources
Under Lock and Key: A Proof System for a Multimodal Logic [PDF]
The Bulletin of Symbolic Logic, 2022 We present a proof system for a multimodal logic, based on our previous work on a multimodal Martin-Loef type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e. a small 2-category. The logic is extended to a lambda calculus, establishing a Curry-Howard correspondence.
G. A. KAVVOS, DANIEL GRATZER
arxiv +9 more sources
Interpretable Multimodal Misinformation Detection with Logic Reasoning [PDF]
arXiv, 2023 Multimodal misinformation on online social platforms is becoming a critical concern due to increasing credibility and easier dissemination brought by multimedia content, compared to traditional text-only information. While existing multimodal detection approaches have achieved high performance, the lack of interpretability hinders these systems ...
Liu, Hui, Wang, Wenya, Li, Haoliang
arxiv +7 more sources
Efficient loop-check for multimodal KD45n logic
Lietuvos Matematikos Rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use ...
Adomas Birštunas
doaj +4 more sources
Multimodal logic programming using equational and order-sorted logic [PDF]
Theoretical Computer Science, 1992 In our previous works a method for automated theorem proving in modal logic, based on algebraic and equational techniques, was proposed. In this paper we extend the method to multimodal logic and apply it to modal logic programming.
Debart, Françoise +2 more
core +4 more sources
Elementary Multimodal Logics [PDF]
arXiv, 2018 We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even if one or two of the binary relations are transitive.
Jakub Michaliszyn
arxiv +5 more sources
Multimodal fuzzy logic-based gait evaluation system for assessing children with cerebral palsy [PDF]
Scientific ReportsGait analysis is crucial for identifying functional deviations from the normal gait cycle and is essential for the individualized treatment of motor disorders such as cerebral palsy (CP).
Saleh Massoud +4 more
doaj +3 more sources
MOORE’S PARADOX AND THE LOGIC OF BELIEF [PDF]
Manuscrito, 2020 Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief.
ANDRÉS PÁEZ
doaj +6 more sources
Quantified Multimodal Logics in Simple Type Theory [PDF]
arXiv, 2009 We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification over a type of possible worlds. We present simple experiments, using existing higher-order theorem provers, to demonstrate that the embedding allows automated proofs of ...
Benzmueller, Christoph +1 more
arxiv +5 more sources
Integrating probabilistic logic and multimodal spatial concepts for efficient robotic object search in home environments [PDF]
SICE Journal of Control, Measurement, and System Integration, 2023 Our study introduces a novel approach that combined probabilistic logic and multimodal spatial concepts to enable a robot to efficiently acquire place–object relationships in a new home environment with few learning iterations.
Shoichi Hasegawa +4 more
doaj +2 more sources