Results 11 to 20 of about 1,079,877 (335)
Enhancing multimodal analogical reasoning with Logic Augmented Generation [PDF]
arXiv.orgRecent advances in Large Language Models have demonstrated their capabilities across a variety of tasks. However, automatically extracting implicit knowledge from natural language remains a significant challenge, as machines lack active experience with the physical world.
Anna Sofia Lippolis +2 more
semanticscholar +4 more sources
Multimodal logic programming using equational and order-sorted logic
Theoretical Computer Science, 1992 Modal logics augment predicate logic with the two modal operators \(\square\) (necessarily) and \(\lozenge\) (possibly). By means of these operators, systems with states (``worlds'') can be described very naturally in logic. Multimodal logics have several pairs of these operators. Typical interpretations of a modal formula ``\(\square_ i\Phi\)'' are: ``
Françoise Debart +2 more
semanticscholar +5 more sources
Lattice-Based Graded Logic: A Multimodal Approach [PDF]
, 1992 Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for
Philippe Chatalic, Christine Froidevaux
openalex +5 more sources
Probability Logic for Harsanyi Type Spaces [PDF]
Logical Methods in Computer Science, 2014 Probability logic has contributed to significant developments in belief types for game-theoretical economics. We present a new probability logic for Harsanyi Type spaces, show its completeness, and prove both a de-nesting property and a unique extension ...
Chunlai Zhou
doaj +3 more sources
Kripke Completeness of Infinitary Predicate Multimodal Logics [PDF]
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yoshihito Tanaka
openalex +4 more sources
Implementing Multimodal Hardware Security with 2D α‐In2Se3 Ferroelectric Transistor [PDF]
Advanced ScienceSecurity is a critical challenge in the integrated circuit (IC) industry, yet device‐level hardware security remains largely underexplored. Most existing solutions necessitate modifications to current technology nodes and typically address only a single ...
Xinwei Zhang +11 more
doaj +2 more sources
Multimodal Separation Logic for Reasoning About Operational Semantics [PDF]
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneous multimodal logic is a logic with several modal operators that are not required to satisfy the same frame conditions.
Robert Dockins +2 more
openalex +2 more sources
CALM: Contextual Analog Logic with Multimodality [PDF]
In this work, we introduce Contextual Analog Logic with Multimodality (CALM). CALM unites symbolic reasoning with neural generation, enabling systems to make context-sensitive decisions grounded in real-world multi-modal data. Background: Classic bivalent logic systems cannot capture the nuance of human decision-making.
Maxwell J. Jacobson +2 more
openalex +3 more sources
Mine-DW-Fusion: BEV Multiscale-Enhanced Fusion Object-Detection Model for Underground Coal Mine Based on Dynamic Weight Adjustment [PDF]
SensorsEnvironmental perception is crucial for achieving autonomous driving of auxiliary haulage vehicles in underground coal mines. The complex underground environment and working conditions, such as dust pollution, uneven lighting, and sensor data ...
Wanzi Yan +7 more
doaj +2 more sources
Modeling multimodal integration with event logic charts [PDF]
Proceedings of the 14th ACM international conference on Multimodal interaction, 2012 In this paper we present a novel approach to the combined modeling of multimodal fusion and interaction management. The approach is based on a declarative multimodal event logic that allows the integration of inputs distributed over multiple modalities in accordance to spatial, temporal and semantic constraints. In conjunction with a visual state chart
Gregor Mehlmann, Elisabeth André
openalex +3 more sources