Results 231 to 240 of about 633,950 (258)
Some of the next articles are maybe not open access.
Łukasiewicz Logic and Weighted Logics over MV-Semirings
J. Autom. Lang. Comb., 2007We connect Łukasiewicz logic, a well-established many-valued logic, with weighted logics, recently introduced by Droste and Gastin. We use this connection to show that for formal power series with coefficients in semirings derived from standard MV-algebras, recognizability and definability in a fragment of second order Łukasiewicz logic coincide.
openaire +2 more sources
2009
We aim to generalize Buchi's fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted timed setting. For this, we investigate subclasses of weighted timed automata and show how we can extend existing timed MSO logics with weights.
openaire +1 more source
We aim to generalize Buchi's fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted timed setting. For this, we investigate subclasses of weighted timed automata and show how we can extend existing timed MSO logics with weights.
openaire +1 more source
Connectionist weighted fuzzy logic programs
Neurocomputing, 2008Fuzzy logic programs are a useful framework for imperfect knowledge representation and reasoning using the formalism of logic programming. Nevertheless, there is the need for modeling adaptation of fuzzy logic programs, so that machine learning techniques, such as connectionist-based learning, can be applied.
Alexandros Chortaras +2 more
openaire +1 more source
Fuzzy Logic Based Weight Balancing
2018Human race is affected by a silent but dangerous disease known as obesity. This is the result of the difference between the high calorie intake and low calorie burn. Though most of the people do not realize that they are slowly being engulfed by this disease which can be easily prevented by some simple measures.
Md Sakib Ibne Farhad +6 more
openaire +2 more sources
Logics of Belief over Weighted Structures
2011We explore logics of belief over weighted structures under the supposition that everything believed by an agent has a weight in the range of agent's belief. We first define static graded belief logics which are complete with respect to the class of all weighted frames.
Minghui Ma, Meiyun Guo
openaire +2 more sources
Weighted fuzzy logic and its applications
Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference, 2003A weighted fuzzy logic is presented in which the truth of a conjunction of propositions (or predicates) is a weighted sum of the truth of each proposition (or predicate). This is different from traditional logic where a conjunction would be false if only one component of the conjunction is false.
openaire +2 more sources
A Probabilistic Logic with Polynomial Weight Formulas
2008The paper presents a sound and strongly complete axiomatization of reasoning about polynomial weight formulas. In addition, the PSPACE decision procedure for polynomial weight formulas developed by Fagin, Halpern and Megiddo works for our logic as well.
Aleksandar Perovic +3 more
openaire +1 more source
Logics for Weighted Timed Pushdown Automata
2015Weighted dense-timed pushdown automata with a timed stack were introduced by Abdulla, Atig and Stenman to model the behavior of real-time recursive systems. Motivated by the decidability of the optimal reachability problem for weighted timed pushdown automata and weighted logic of Droste and Gastin, we introduce a weighted MSO logic on timed words ...
Manfred Droste, Vitaly Perevoshchikov
openaire +2 more sources
Weighted Automata and Logics on Infinite Graphs
2016We show a Buchi-like connection between graph automata and logics for infinite graphs. Using valuation monoids, a very general weight structure able to model computations like average or discounting, we extend this result to the quantitative setting.
openaire +1 more source