Results 101 to 110 of about 27,177 (320)
Generating Schemata of Resolution Proofs
, 2011 Two distinct algorithms are presented to extract (schemata of) resolution proofs from closed tableaux for propositional schemata. The first one handles the most efficient version of the tableau calculus but generates very complex derivations (denoted by ...
Aravantinos, Vincent, Peltier, Nicolas
core +1 more source
New variants of fuzzy optimal control problems
Asian Journal of Control, EarlyView.Abstract This study introduces a groundbreaking approach to optimal control problems by incorporating fuzzy conformable derivatives. Our primary goal is to identify the optimal control strategy that maximizes fuzzy performance indices while adhering to fuzzy conformable dynamical systems.
Awais Younus +3 more
wiley +1 more source
A decision procedure for Fitch's propositional calculus. [PDF]
, 1967 Richmond H. Thomason
openalex +1 more source
Asian Journal of Control, EarlyView.Abstract This study presents a non‐iterative tuning technique for a linear fractional‐order (FO) controller, based on the integral of the time‐weighted absolute error (ITAE) criterion. Minimizing the ITAE is a traditional approach for tuning FO controllers. This technique reduces the over/undershoot and suppresses the steady‐state error. In contrast to
Ansei Yonezawa +4 more
wiley +1 more source
Logical Querying of Relational Databases
Journal of Economic Development, Environment and People, 2016 This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in ...
Luminita Pistol, Radu BUCEA-MANEA-TONIS
doaj
Some ways of constructing a propositional calculus of any required degree of unsolvability [PDF]
, 1965 M. D. Gladstone
openalex +1 more source
Risk‐aware safe reinforcement learning for control of stochastic linear systems
Asian Journal of Control, EarlyView.Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili +2 more
wiley +1 more source
A Proof Calculus for Automated Deduction in Propositional Product Logic
MathematicsPropositional product logic belongs to the basic fuzzy logics with continuous t-norms using the product t-norm (defined as the ordinary product of real numbers) on the unit interval [0,1].
Dušan Guller
doaj +1 more source
Propositional Inference for IoT Based Dosage Calibration System Using Private Patient-Specific Prescription against Fatal Dosages. [PDF]
Sensors (Basel), 2022 Gopalakrishnan K +4 more
europepmc +1 more source