Results 21 to 30 of about 109,310 (121)

Intensional Models for the Theory of Types [PDF]

, 2006
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition.
Muskens, Reinhard
core   +5 more sources

Sense resolution properties of logical imaging [PDF]

, 1995
The evaluation of an implication by Imaging is a logical technique developed in the framework of modal logic. Its interpretation in the context of a “possible worlds” semantics is very appealing for IR. In 1994, Crestani and Van Rijsbergen proposed an
Crestani, F., Sanderson, M., van Rijsbergen, C.J.   +2 more
core   +2 more sources

On-Board Implementation of Thermal Runaway Detection in Lithium-Ion Battery Packs: Methods, Metrics, and Challenges

Energies
Effective thermal runaway (TR) detection is critical for the safety of lithium-ion battery packs, particularly in electric vehicles. However, deploying laboratory-validated methods into resource-constrained battery management systems (BMS) presents ...
Run-Yu Yu, Bing-Chuan Wang, Yong Wang
doaj   +1 more source

Automated Reasoning over Deontic Action Logics with Finite Vocabularies

, 2014
In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Castro, Pablo F., Maibaum, Thomas S. E.
core   +2 more sources

Carnapian Modal and Epistemic Arithmetic [PDF]

, 2009
The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e.
Jan, Heylen
core  

Explainable Reinforcement and Causal Learning for Improving Trust to 6G Stakeholders

IEEE Open Journal of the Communications Society
Future telecommunications will increasingly integrate AI capabilities into network infrastructures to deliver seamless and harmonized services closer to end-users. However, this progress also raises significant trust and safety concerns.
Miguel Arana-Catania, Amir Sonee, Abdul-Manan Khan, Kavan Fatehi, Yun Tang, Bailu Jin, Anna Soligo, David Boyle, Radu Calinescu, Poonam Yadav, Hamed Ahmadi, Antonios Tsourdos, Weisi Guo, Alessandra Russo   +13 more
doaj   +1 more source

From explainable to interpretable deep learning for natural language processing in healthcare: How far from reality?

Computational and Structural Biotechnology Journal
Deep learning (DL) has substantially enhanced natural language processing (NLP) in healthcare research. However, the increasing complexity of DL-based NLP necessitates transparent model interpretability, or at least explainability, for reliable decision ...
Guangming Huang, Yingya Li, Shoaib Jameel, Yunfei Long, Giorgos Papanastasiou   +4 more
doaj   +1 more source

Computer Science and Metaphysics: A Cross-Fertilization

, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Benzmüller, Christoph, Kirchner, Daniel, Zalta, Edward N.   +2 more
core   +1 more source

Suhrawardi's Modal Syllogisms [PDF]

, 2012
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I
Movahed, Zia
core  

Almost structural completeness; an algebraic approach [PDF]

, 2014
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core