Search Results

Notions of unknown truths and unknowable truths are important in formal epistemology, which are related to each other in e.g. Fitch’s paradox of knowability. Although there have been some logical research on the notion of unknown truths and some ...

A normative sentence contains information which is used for either describing some deontic situations or prescribing a new norm. Considering the differences between them, we introduced the notion of relativized conditional obligations based on ...$\mathbb{}$

The article discusses temporal information systems (TISs) that add the dimension of time to complete or incomplete information systems. Through TISs, one can accommodate the possibility of domains or attribute values for objects changing with time or the ...

Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized with respect to a semiring on which the values that weighted formulas ...

The article proposes a trimodal logical system that can express the strategic ability of coalitions to learn from their experience. The main technical result is the completeness of the proposed system.

In this paper, we study a new epistemic modal operator, termed hope, which has been introduced recently in the context of a novel epistemic reasoning framework for distributed multi-agent systems with arbitrarily (“byzantine”) faulty agents. It ...

The notions of strong/weak approximations have been studied extensively in recent years. These approximations are based on a structure of the form (W,{R_i}_{i∈ N}), called the multiple-source approximation system, where R_i is an equivalence relation on W, ...

The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes the notion of a second-...

Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong’s axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. ...

The paper proposes a bimodal logic that describes an interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the ...

Normalization helps us find a database schema at design time that can process the most frequent updates efficiently at run time. Unfortunately, relational normalization only works for idealized database instances in which duplicates and null markers are ...

Centrality indices aim to quantify the importance of nodes or edges in a network. A number of new centrality indices have recently been proposed to try and capture the role of nodes in connecting the network. While these indices seem to deliver new ...

Based on the supreme-utilities among fuzzy sets, we propose the supreme-consistent value. Further, we propose some equivalent relations to axiomatize the family of all fuzzy solutions that admit a potential. Based on these equivalent relations, two ...

Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e., games that combine discrete, continuous, and adversarial dynamics. Unlike hybrid systems, hybrid games allow choices in the system dynamics to be ...

Inclusion dependencies form one of the most fundamental classes of integrity constraints. Their importance in classical data management is reinforced by modern applications such as data cleaning and profiling, entity resolution and schema matching. ...

The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from ...

This paper proposes an axiomatization of mathematical fuzzy logic with many dual hedges. We extend an axiomatization of mathematical fuzzy logic with one truth-stressing and one truth-depressing hedges as an expansion of a core fuzzy logic with new ...

Uniqueness and independence are two fundamental properties of data. Their enforcement in knowledge systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from data. The ...

Akhtar et al. introduced equality-generating constraints and functional constraints as an initial step towards dependency-like integrity constraints for RDF data [1]. Here, we focus on functional constraints. The usefulness of functional constraints is ...

<P>We propose a preference condition called shifted difference independence to axiomatize a general habit formation and satiation model GHS. This model allows for a general habit formation and satiation function that contain many functional forms in the ...