In this paper, we investigated the fuzzy statistics analysis in lexical semantics and apply the fuzzy logic to compute some uncertain and ambiguous problems. The fuzzy propositional computation for the cognitive semantics can account for the degree of typicality and similarity. Which provide a more precise expression in human thought and human cognition. Some essential definitions for fuzzy sta...

This paper proposes a parameterized definition for fuzzy comparators on complex fuzzy datatypes like fuzzy collections with conjunctive semantics and fuzzy objects. This definition and its implementation on a Fuzzy Object-Relational Database Management System (FORDBMS) provides the designer with a powerful tool to adapt the behavior of these operators to the semantics of the considered applicat...

In this paper we investigate the problem of testing the coherence of an assessment of conditional probability following a purely logical setting. In particular we will prove that the coherence of an assessment of conditional probability χ can be characterized by means of the logical consistency of a suitable theory Tχ defined on the modal-fuzzy logic FPk(R L∆) built up over the many-valued logi...

Various logic-based frameworks have been proposed for specifying the operational semantics of programming languages and concurrent systems, including inference systems in the styles advocated by Plotkin and by Kahn, Horn logic, equational specifications, reduction systems for evaluation contexts, rewriting logic, and tile logic. We consider the relationship between these frameworks, and assess ...

This paper provides a logical basis for manipulation with fuzzy IF-THEN rules. Our theory is wide enough and it encompasses not only finding a conclusion by means of the compositional rule of inference due to Lotfi A. Zadeh but also other kinds of approximate reasoning methods, e.g. perception-based deduction, provided that there exists a possibility to characterize them within a formal logical...

Abstract The relevance of the development theoretical and methodological tools for constructing a fuzzy logical model assessing soil salinity is due to automation formation base rules from given set certain conditions, checking correctness constructed with criteria adequacy models creating algorithms programs using standard software modules solving logic problems. conclusion decision-making bas...

We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax of fuzzy propositional logic, but its semantics distinguishes stable models from non-stable models. The generality of the language allows for highly configura...

We introduce a new approach to semantics which combines the benefits of distributional and formal logical semantics. Distributional models have been successful in modelling the meanings of content words, but logical semantics is necessary to adequately represent many function words. We follow formal semantics in mapping language to logical representations, but differ in that the relational cons...

In this paper we analyze compliance games, which are games induced by agent-labeled Kripke structures, goal formulas in the language of ctl and behavioral constraints. In compliance games, players are rewarded for achieving their goals while complying to social laws, and punished for non-compliance. Design of these games is an attempt at incentivizing agents to be compliant. We analyze the core...

Nethodological problems in Men[ague Grammar are discussed. Our observations show that a model-theoretic approach to natural language semantics is inadequate with respect to i t s v e r i f i a b i l i t y from logical point of view. But, the formal a t t i tudes seem to be of use for the development in computational