Results 31 to 40 of about 78,943 (189)
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
Chatalic, Philippe +1 more
openaire +2 more sources
Clausal Tableaux for Multimodal Logics of Belief
Fundamenta Informaticae, 2009 We develop clausal tableau calculi for six multimodal logics variously designed for reasoning about multi-degree belief, reasoning about distributed systems of belief and for reasoning about epistemic states of agents in multi-agent systems. Our tableau calculi are sound, complete, cut-free and have the analytic superformula property, thereby giving ...
Gore, Rajeev, Nguyen, Linh Anh
openaire +2 more sources
Interpretable Multimodal Misinformation Detection with Logic Reasoning
Findings of the Association for Computational Linguistics: ACL 2023, 2023 Accepted by Findings of ACL 23.
Liu, Hui, Wang, Wenya, Li, Haoliang
openaire +2 more sources
Moore’s paradox and the logic of belief [PDF]
, 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.
Páez, Andrés
core +1 more source
Demand and Congestion in Multiplex Transportation Networks. [PDF]
PLoS ONE, 2016 Urban transportation systems are multimodal, sociotechnical systems; however, while their multimodal aspect has received extensive attention in recent literature on multiplex networks, their sociotechnical aspect has been largely neglected.
Philip S Chodrow +3 more
doaj +1 more source
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
Mehlmann, Gregor, André, Elisabeth
openaire +2 more sources
Fresh perspectives on multimodal argument reconstruction
Frontiers in CommunicationThe present contribution exemplifies current models for argument reconstruction on an environmental protection print-ad, identifying deficits in the way the models account for multimodal argumentation.
Hartmut Stöckl
doaj +1 more source
Empowering and assisting natural human mobility: The simbiosis walker [PDF]
, 2011 This paper presents the complete development of the Simbiosis Smart Walker. The device is equipped with a set of sensor subsystems to acquire user-machine interaction forces and the temporal evolution of user's feet during gait.
Frizera A. +8 more
core +4 more sources
Theoretical Computer Science, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
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: ``
Debart, Françoise +2 more
openaire +2 more sources