to complete “the use theory of meaning”, paul horwich put forward a new thesis upon which some usages of a word have explanatory role and justify the overall use-regularities of that word. these specific usages have a basic acceptance property which makes them believable in user’s belief system and, like a semantic axiom, make other usages justified. but, there are still some usages that cannot...

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom— while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. ...

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom— while agreeing that some of their insight deserves to be preserved— and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions....

In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.

Several axioms concerning probabilistic beliefs are examined here, and the relations between them are established, using belief spaces that generalize Harsanyi type spaces. Two axioms concerning highorder probabilistic beliefs are investigated in particular. The first is the triviality axiom, which says that one is certain (that is, has a belief of degree one) of one’s own beliefs. The second i...

Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may use vocabularies from different ontologies to describe their data. The current research on ontology mapping and ontology translation mainly focuses on how to map and translate vocabularies and associated data instances ...

Exercise 8.1. Transform the following concepts into negation normal form: (a) ¬(A u ∀r.B) (b) ¬∀r.∃s.(¬B t ∃r.A) (c) ¬((¬A u ∃r.>) t> 3 s.(A t ¬B)) Exercise 8.2. Apply the tableau algorithm in order to check if the axiom A v B is a logical consequence of the TBox {¬C v B,A u C v ⊥}. Exercise 8.3. Aply the tableau algorithm in order to check satisfiability of the concept A u ∀r.B w.r.t. the TBox...

In this article we prove that Axiom A is a necessary condition for structural stability of C1 nonsingular endomorphisms of the circle.

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ+, another for which 2κ = κ++ ...