Results 141 to 150 of about 50,581 (256)
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
, 2008 The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages.
core
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Paraconsistent Knowledge Bases and Many-Valued Logic
, 2002 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
Villadsen, Jørgen, Jørgen Villadsen
core
Advanced Robotics Research, EarlyView.Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings +6 more
wiley +1 more source
Optimization of Multi-Valued Multi-Level Networks
, 2002 A program called MVSIS has been developed which optimizes multi-level multi-valued networks (MV networks). We describe what such a network is and the capabilities contained in MVSIS.
A. Mishchenko +10 more
core
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
Simplification of Many-Valued Logic Formulas Using Anti-Links
, 1997 We present the theoretical foundations of the many-valued generalization of a technique for simplifying large non-clausal formulas in propositional logic, that is called removal of antilinks.
Beckert, Bernhard +5 more
core
Advanced Science, EarlyView.The pholidota‐inspired electronic skin is successfully constructed, originally realized four‐state reversible switching of terahertz‐wave reflection, absorption, transmission, and secondary reflection. In response to external demands, it issues deformation instructions, verifies the deformation state after the equipment executes the action, and thus ...
Shangjing Li +4 more
wiley +1 more source
In the labyrinth of many-valued logics
, 1983 The paper contains a wide report (based on more than 70 reviewed items) of technical, philosophical and applications questions concerning multiple-valued and fuzzy logics, and, more in general, concerning the debate about the relevance and the ...
S. TERMINI +2 more
core