This article presents the problem of diagnostic examination by (DIAG) system devices House on Water (HoW) hybrid electric power in multi-valued (2, 3, and 4) state assessment. Forming basis for functioning is measurement knowledge base object tested. For this purpose, issues building a HoW are presented. The obtaining information functional analysis result model research object. At next stage w...

Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. In this paper, we present an implementation of a symbolic model checker for multi-valued temporal logics. The model checker...

In multi-agent systems, an agent generally forms her belief based on information from multiple sources, such as messages from other agents or perception of the external environment. While modal epistemic logic has been a standard formalism for reasoning about agent’s belief, it lacks the expressive power for tracking information sources. Justification logic (JL) provides the missing expressivit...

Steve Trimberger Xilinx FPGAs have grown from a simple logic replacement to fully-programmable SoC, with multi-core CPU subsystems, a broad spectrum of peripherals, hundreds of thousands of gates of programmable logic and high-speed multi-gigabit transceivers. As the complexity of the underlying hardware has grown, so has the value of the applications built in them and the data handled by them....

due to the high density and the low consumption power in the digital integrated circuits, mostly technology of cmos is used. during the past times, the metal oxide silicon field effect transistors (mosfet) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. b...

In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework developed by Groenendijk, Roelofsen and Ciardelli which captures both assertions and questions in natural language. Inquisitive logic is sound and complete w.r...

We present the Multi-vAlue Rule Set (MARS) model for interpretable classification with feature efficient presentations. MARS introduces a more generalized form of association rules that allows multiple values in a condition. Rules of this form are more concise than traditional single-valued rules in capturing and describing patterns in data. MARS mitigates the problem of dealing with continuous...

Among other applications, multi-adjoint lattices have been successfully used for modeling flexible notions of truth-degrees in the fuzzy extension of logic programming called MALP (Multi-Adjoint Logic Programming). In this paper we focus in the completion of such mathematical construct by adapting the classical notion of Dedekind-MacNeille in order to relax this usual hypothesis on such kind of...

Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. This paper discusses abductive reasoning—that is, reasoning in which explanatory hypotheses are formed and evaluated. To model uncertainty in human cogniti...