Results 271 to 280 of about 1,079,877 (335)

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning [PDF]

Conferencia de la Asociación Española para la Inteligencia Artificial, 2004
In this work we develop a logic for formalizing qualitative reasoning. This type of reasoning is generally used, for instance, when one has a lot of data from a real world example but the complexity of the numerical model suggests a qualitative (instead of quantitative) approach.
Alfredo Burrieza, Manuel Ojeda‐Aciego
semanticscholar   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

A multimodal logic for closeness

Journal of Applied Non-Classical Logics, 2017
AbstractWe introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.
A. Burrieza, E. Muñoz-Velasco, M. Ojeda-Aciego   +2 more
openaire   +3 more sources

ON DEFINABILITY IN MULTIMODAL LOGIC

The Review of Symbolic Logic, 2009
Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for ...
Dov Samet, Ella Segev, Joseph Y. Halpern
openaire   +3 more sources

Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

2015
We present a satisfiability-preserving embedding of coalition logic into a normal modal logic. An advantage of standard, normal, and modal logics is a well-understood theoretical foundation and the availability of tools for automated verification and reasoning.
Natasha Alechina, Thomas Ågotnes, Thomas Ågotnes   +2 more
openaire   +3 more sources

Multimodal Logic for Syntax

, 1998
N.A.
Alain Lecomte
openalex   +3 more sources

Inferring Place-Object Relationships by Integrating Probabilistic Logic and Multimodal Spatial Concepts

IEEE/SICE International Symposium on System Integration, 2023
We propose a novel method that integrates probabilistic logic and multimodal spatial concepts to enable a robot to acquire the relationships between places and objects in a new environment with a few learning times. Using predicate logic with probability
Shoichi Hasegawa, Akira Taniguchi, Y. Hagiwara, Lotfi El Hafi, T. Taniguchi   +4 more
semanticscholar   +1 more source

Multimodal Instrumentations as Fatigue Detection Using Fuzzy Logic Method

Journal of Biomimetics, Biomaterials and Biomedical Engineering, 2022
Fatigue is a condition experienced by a person that causes a decrease in a person's vitality and productivity. Fatigue can be characterized by slowed reaction time and fatigue. People’s condition is a significant factor in driving safety.
Elsa Puspa Nikmatuzaroh, Rachmad Setiawan, Nada Fitrieyatul Hikmah   +2 more
semanticscholar   +1 more source

Tumor microenvironment-activatable boolean logic supramolecular nanotheranostics based on a pillar[6]arene for tumor hypoxia imaging and multimodal synergistic therapy

, 2021
Supramolecular construction of nanotheranostics is a highly challenging and demanding task for tumor precision diagnosis and therapy. In this study, inspired by specific microenvironments and the abnormal metabolic path of tumors, we skillfully ...
Xin Liu, Chi Meng, Guiqing Ji, Ji Liu, Peng Zhu, Jianqiang Qian, Shunyao Zhu, Yanan Zhang, Yong Ling   +8 more
semanticscholar   +1 more source

Multimode quantum optical logic

Conference on Coherence and Quantum Optics, 2007
We embed qubits within simple two-mode states and effect a Fredkin gate by a resonant multi-photon interaction with an atom.
Barry M. Garraway, Mark S. Everitt
openaire   +2 more sources

A multimodal logic for reasoning about complementarity

Journal of Applied Non-Classical Logics, 2000
ABSTRACT Two objects o1, o2 of an information system are said to be complementary with respect to attribute a if α(o1) = -α(o2), where α(o) is the set of values of attribute a assigned to o. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute α e A.
Ivo Düntsch, Beata Konikowska
openaire   +2 more sources