This paper introduces conceptual relations tlrat syntlresizc utilitarian and logical con­ cepts, extending the logics of preference of [{escher. We define first, in the context of a possible­ worlds modeL constraint-dependent mea­ sures that quantify the relative quality of al­ temative solutions of reasoning problems or the relative desirabi lity of various policies in coutrol. decision, and p...

Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the merged base) irrespective of whether the original ones are flat or stratified. The drawback of obtaining a flat merged base is that information about more preferred knowledge (formulae) versus less preferred knowledge i...

For the last thirty years, it has been assumed that a presupposition must be entailed (or ‘satisfied’) by the context, construed as what is common belief between the speaker and addressee: John has stopped smoking is acceptable in a context C just in case C entails that John used to smoke. Technically, the context in this sense is often called the ‘context set’, identified with the set of possi...

We formulate a model for reasoning about actions , knowledge and control in the presence of incomplete information and sensing operations. In the model, actions can be non-deterministic, sensors can report the value of either symbols, terms or formulas, and knowledge is constructively deened in terms of observations. The model is related to possible worlds accounts of actions and knowledge but ...

Events and possible worlds from physical systems States and observables of physical systems provide a very general source of continuously valued events and possible worlds. Let be a “physical system”. Following [6, pp.362–369], a rigorous account of is given by its associated C -algebra , with the set sa of selfadjoint elements, and the set sa of real-valued normalized positive linear functiona...

In order to avoid the paradoxes of standard deontic logic, we have to give up the semantic construction that identifies obligatory status with presence in all elements of a subset of the set of possible worlds. It is proposed that deontic logic should instead be based on a preference relation, according to the principle that whatever is better than something permitted is itself permitted. Close...

where is the problem? health scientists are constantly trying to support people by diagnosing, managing the diseases, and improving health in all possible dimensions. attention has been drawn to all aspects of health including biological, psychological, social and spiritual. the problem may lay in behavior, clinical issues, organ cites, genome and epigenome. thus it falls on us, the medical soc...