Results 231 to 240 of about 1,522 (259)

Weighted Logics for Traces

2006
We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces.
openaire   +1 more source

A Nivat theorem for weighted picture automata and weighted MSO logics

Journal of Computer and System Sciences, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parvaneh Babari, Manfred Droste
openaire   +2 more sources

Łukasiewicz Logic and Weighted Logics over MV-Semirings

J. Autom. Lang. Comb., 2007
We 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   +1 more source

Weighted logical inference for pattern recognition

Pattern Recognition, 1980
Abstract Boolean control systems with some non-observable unknown parameters are considered here. In this study, these parameters have been evaluated by consideration of some variables associated to the system. An algorithm is suggested by means of which the values of the parameters can be found.
Suzanne Thiry, Monique Pavel, André Bouckaert   +2 more
openaire   +1 more source

Connectionist weighted fuzzy logic programs

Neurocomputing, 2008
Fuzzy 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, Giorgos B. Stamou, Andreas Stafylopatis   +2 more
openaire   +1 more source

Weighted Timed MSO Logics

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

Fuzzy Logic Based Weight Balancing

2018
Human 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, Ahmed Masud Chowdhury, Md. Ehtesham Adnan, Jebun Nahar Moni, Rajiv Rahman Arif, M. Arabi Hasan Sakib, Rashedur M. Rahman   +6 more
openaire   +1 more source

Weighted fuzzy logic and its applications

Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference, 2003
A 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   +1 more source

A Probabilistic Logic with Polynomial Weight Formulas

2008
The 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, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic   +3 more
openaire   +1 more source

MSO logics for weighted timed automata

Formal Methods in System Design, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source