Sciweavers

1855 search results - page 6 / 371
» System Consequence
Sort
View
JAR
1998
57views more  JAR 1998»
15 years 25 days ago
Signed Systems for Paraconsistent Reasoning
In [6] Besnard and Schaub elaborated a novel approach to paraconsistent reasoning which lead to a family of paraconsistent consequence relations. In a sense these try to safeguard...
Philippe Besnard, Torsten Schaub
TFS
2011
239views Education» more  TFS 2011»
14 years 8 months ago
Systems Control With Generalized Probabilistic Fuzzy-Reinforcement Learning
—Reinforcement learning (RL) is a valuable learning method when the systems require a selection of control actions whose consequences emerge over long periods for which input– ...
William M. Hinojosa, Samia Nefti, Uzay Kaymak
LPAR
2010
Springer
14 years 11 months ago
How to Universally Close the Existential Rule
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
Kai Brünnler
ACIIDS
2009
IEEE
105views Database» more  ACIIDS 2009»
14 years 11 months ago
Stability Analysis of Fuzzy Control for Nonlinear Systems
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
Po-Chen Chen, Ken Yeh, Cheng-Wu Chen, Shu-Hao Lin
SEW
2003
IEEE
15 years 6 months ago
Adopting a Software Component Model in Real-Time Systems Development
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
Frank Lüders