Article
Logic
Yale Weiss
Summary: The article discusses Alasdair Urquhart's semilattice semantics for relevance logic and proposes a BHK-inspired reinterpretation related to Kit Fine's truthmaker semantics. It compares and shows how modifications of Urquhart's semantics can characterize different logic systems, such as full propositional intuitionistic logic and Jankov's logic. Additionally, relevant companions for these systems are presented along with sound and complete labelled sequent calculi.
LOGICA UNIVERSALIS
(2021)
Article
Computer Science, Information Systems
Seito Matsubara, Takafumi Watanabe, Taiga Suzuki, Sohei Wakisaka, Kazuma Aoyama, Masahiko Inami
Summary: This study proposes an approach to automatically identify and stimulate a precise motor point (MP) in response to individual differences and postural changes using mm-order electrode arrays in two dimensions (2D). The experiments successfully visualized the MPs on a 2D skin surface and demonstrated the feasibility of 2D electrode arrays. These findings are important for the design of future devices and algorithms for effective muscle contraction through electrical stimulation.
Article
Automation & Control Systems
Xing Xu, Kaiyi Lin, Lianli Gao, Huimin Lu, Heng Tao Shen, Xuelong Li
Summary: Correlating different modalities of data is challenging due to inconsistent distributions and representations. This article proposes a model called "private-shared subspaces separation" (P3S) to explicitly model interference within each modality and learn effective common representations for different modalities.
IEEE TRANSACTIONS ON CYBERNETICS
(2022)
Article
Computer Science, Artificial Intelligence
Leandro Gomes, Alexandre Madeira, Luis Soares Barbosa
Summary: This paper introduces a semantics for the fuzzy programming language FAS, focusing on the weighted parallel interpretation of its conditional statement. It proposes a construction based on the notion of a fuzzy multirelation and a residuated lattice to model the relationship between program states and weighted possible evolutions. Dynamic logics, also parametric on the residuated lattice, are introduced to reason about FAS programs.
Article
History & Philosophy Of Science
Yanjun Li, Yanjing Wang
Summary: This paper introduces an alternative semantics for the non-normal logic of knowing how, showing its equivalence to the original Kripke semantics and proving the completeness of the logic. The neighborhood semantics can be a powerful technical tool for studying similar logics while preserving basic semantic intuition.
Article
History & Philosophy Of Science
Ryan Simonelli
Summary: In this research, counterexamples are presented to question existing accounts of indicative conditionals. It is argued that these counterexamples pose serious problems to variably strict accounts, but dynamic strict accounts have the potential to accommodate them. A modified dynamic strict account is proposed to take into account the effects of both conditional antecedents and consequents in changing the semantic context.
Article
Automation & Control Systems
Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang
Summary: This article discusses how to enhance the security and safety of running PLC in both developing and deploying stages of ICS. By using a runtime verification method and proposing PLC past linear temporal logic (PPLTL) to specify security and safety properties, monitors are synthesized to improve the security and safety of PLC programs. The empirical results demonstrate the effectiveness of this approach.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
(2022)
Article
Computer Science, Artificial Intelligence
Antonio Di Nola, Revaz Grigolia, Nunu Mitskevich, Gaetano Vitale
Summary: An immune dynamic n-valued Lukasiewicz logic I DLn is introduced based on n-valued Lukasiewicz logic L-n, along with the corresponding immune dynamic MVn-algebra. Kripke semantics is developed for this logic with applications in the immune system.
Article
Automation & Control Systems
Luming Zhang, Xiaoming Ju, Yongheng Shang, Xuelong Li
Summary: This article introduces a new deep architecture that calculates scene categories by hierarchically deriving stable templates discovered using a generative model. Thorough experiments show that a novel aggregation network helps to distinguish scene categories in a multiclass SVM with CNN features.
IEEE TRANSACTIONS ON CYBERNETICS
(2021)
Article
History & Philosophy Of Science
Stephan Leuenberger, Martin Smith
Summary: The paper discusses a family of weak epistemic logics in which closure fails, and presents two alternative semantic frameworks for modeling them. The relatively unfamiliar plurality semantics and the better known neighbourhood semantics can both be interpreted in a way that is in line with rejecting closure.
Article
Computer Science, Artificial Intelligence
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Summary: This paper proposes finitely materialisable DatalogMTL programs with guaranteed termination of forward chaining reasoning. The concepts of data-dependent and data-independent finite materialisability are introduced and the complexity of checking finite materialisability is discussed. The authors also provide the complexity landscape of fact entailment for different classes of finitely materialisable programs, identifying a large class called MTL-acyclic programs that are well suited for big-scale applications.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
(2023)
Article
Computer Science, Hardware & Architecture
Alexandru Baltag, Nick Bezhanishvili, David Fernandez-Duque
Summary: We study and prove the completeness, decidability, and finite model property of both the topological mu-calculus and the relational mu-calculus. We use a model-theoretic approach and make innovative use of a known method from modal logic, resulting in proofs that are both highly general and simple.
JOURNAL OF THE ACM
(2023)
Article
Information Science & Library Science
Ilse Maria Beuren, Vanderlei dos Santos, Daniele Cristina Bernd
Summary: The study examines the impact of using the management control system (MCS) on individual performance through organizational learning, with a focus on the moderating effect of feedforward. Results show that MCS use from a cybernetic perspective can contribute to organizational learning, and feedforward can strengthen this relationship. Additionally, organizational learning mediates the relationship between MCS use and individual performance.
JOURNAL OF KNOWLEDGE MANAGEMENT
(2022)
Article
Computer Science, Artificial Intelligence
Eunsuk Yang
Summary: This paper discusses pretabular fuzzy logics and their Kripke-style semantics, focusing on the nilpotent minimum logic NM and its two pretabular expansions. The paper also provides Kripke-style semantics for these logics and considers pretabular properties of the two systems using Kripke frames.
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING
(2022)
Article
Engineering, Electrical & Electronic
Anirudh S. Chakravarthy, Soumendu Sinha, Pratik Narang, Murari Mandal, Vinay Chamola, F. Richard Yu
Summary: This work proposes a deep learning approach for robust semantic segmentation of aerial scenes captured by UAVs. The approach utilizes a three-tier deep learning architecture and learns from aerial scenes along with elevation maps to improve the accuracy and performance of semantic segmentation.
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
(2022)
Article
Computer Science, Artificial Intelligence
W. W. Koczkodaj, F. Liu, V. W. Marek, J. Mazurek, M. Mazurek, L. Mikhailov, C. Ozel, W. Pedrycz, A. Przelaskowski, A. Schumann, R. Smarzewski, D. Strzalka, J. Szybowski, Y. Yayli
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
(2020)
Article
Logic
Andrew Schumann
Summary: The idea of logical determinism can be traced back to the Old Babylonian period, where signs were believed to explain the appearance of all events, representing the first version of eternalism. Babylonians used logical-algebraic structures in their reasoning.
LOGICA UNIVERSALIS
(2021)
Article
Asian Studies
Andrew Schumann
Summary: There are two different modal logics: logic T assumes contingency and logic K = assumes logical determinism. Aristotle and Nagarjuna used these logics in their modal reasoning, with Aristotle implicitly using logic T and Nagarjuna using logic K =.
JOURNAL OF INDIAN PHILOSOPHY
(2021)
Article
Logic
Andrew Schumann, Jens Lemanski
Summary: This paper discusses the importance of spatial and diagrammatic reasoning in both logical abilities and logical studies, and identifies two main trends in spatial logic research.
LOGICA UNIVERSALIS
(2022)
Article
Logic
Jerzy Krol, Andrew Schumann, Krzysztof Bielas
Summary: We have built a topological model based on intuitionistic logic for multi-agent biological systems, which can react to external stimuli and simulate the behavior of any swarm.
LOGICA UNIVERSALIS
(2022)
Article
Literature
Andrew Schumann
Summary: This paper uses the structural analysis of myth proposed by C. Levi-Strauss to examine the structural similarity between the mythological cycles of Ba'al and Naraya?a. Despite their different descriptions and cults, there is a functional similarity in their characters and subordinations. Moreover, the study suggests that the Naraya?a myth is much older than its current dating based on the structural similarity with the Ba'al myth.
COMPARATIVE LITERATURE-EAST & WEST
(2022)
Article
Asian Studies
Andrew Schumann, Sadeed Arif
Summary: This paper explores the origins of the Kusana divine couple, suggesting they are linked to the Mahayana texts' couple of Mahesvara and Hariti/Uma. It also proposes a connection between Shaivist signs found at early Buddhist sites in Gandhara and this Buddhist couple.
Proceedings Paper
Engineering, Biomedical
Jerzy Krol, Andrew Schumann, Krzysztof Bielas
Summary: The proposed model addresses organizational, computational, and emergent behavior issues of certain swarms from the perspective of category theory. By activating the Yoneda embedding to the category of presheaves spanned over the basic category of partial recursive functions, external stimuli trigger excited domains that facilitate collective self-organizing processes. The intuitionistic logic of the presheaf topos is identified as the primary logic for understanding and algorithmically describing swarm behavior.
PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 3: BIOINFORMATICS
(2021)
Proceedings Paper
Engineering, Biomedical
Andrew Schumann, Krzysztof Bielas, Jerzy Krol
Summary: We consider emergent properties in the motility of Amoeba Proteus in its reactions on attractants and repellents, where a self-organised process occurs with different reactions under stress or safety conditions.
PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 3: BIOINFORMATICS
(2021)
Article
Economics
Aleksey Mints, Andrew Schumann, Evelina Kamyshnykova
ECONOMIC ANNALS-XXI
(2020)
Proceedings Paper
Mathematics, Applied
Andrew Schumann
APPLIED MATHEMATICS, COMPUTATIONAL SCIENCE AND MECHANICS: CURRENT PROBLEMS
(2020)
Article
Communication
Andrew Schumann
JOURNAL OF ARGUMENTATION IN CONTEXT
(2020)
Proceedings Paper
Engineering, Biomedical
Andrew Schumann
BIOSIGNALS: PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 4: BIOSIGNALS
(2019)
Article
Logic
Andrew Schumann
LOGICA UNIVERSALIS
(2019)
Article
Logic
Andrew Schumann
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
(2019)