It is natural to think that a standard, Kripke-style semantics for quantified modal logic (QML) is incompatible with the view that no individual can exist in more than one possible world, a view that seems to require a Lewis-style, counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. A standard semantics regards a modal statement such as ‘I might ha...

The specification, design, and verification of agent-oriented systems depends upon having clear, intuitive formalisms for reasoning about the properties of such systems. In this paper, we consider agents whose state comprises the three mental attitudes of belief, desire, and intention. While the static relationships among these entities has had considerable attention, the manner in which these ...

In this paper, we propose to define the update of a scenario (sequence of observations at different time points) by a piece of information (value of a fluent or event occurrence) at a given time point. This operation computes the possible world evolutions (called trajectories) satisfying this piece of information that are the most in accordance with the initial scenario. It enables us to identi...

The Principal Principle (PP) says that, for any proposition A , given any admissible evidence and the proposition that the chance of A is x%, one’s conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994) has ...

In Probabilistic Logic Nilsson uses the device of a probability distribution over a set of possible worlds to assign probabilities to the sentences of a logical language. In his paper Nilsson concen­ trated on inference and associated computational issues. This paper, on the other hand, exam­ ines the probabilistic semantics in more detail, .particularly for the case of first order languages, a...

The Information and Communication Technologies (ICT), like groupware systems, intranet or videoconference, enable team members to work on the same project but from different places. Some teams are called virtual because they exist only through the network. As the work is geographically distributed, bonds and relationships between people become more important. Indeed, the lack of faceto-face com...

This paper proposes syntactic combination rules for merging uncertain propositional knowledge bases provided by different sources of information, in the framework of possibilistic logic. These rules are the counterparts of combination rules which can be applied to the possibility distributions (defined on the set of possible worlds), which represent the semantics of each propositional knowledge...

We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential structures and ranked structures. The additional accessibilty relation allows us to consider only parts of the overall Aranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures...

We present in this paper a new model for representing probabilistic information in a semi-structured (XML) database, based on the use of probabilistic event variables. This work is motivated by the need of keeping track of both confidence and lineage of the information stored in a semi-structured warehouse. For instance, the modules of a (Hidden Web) content warehouse may derive information con...

In the actual world frame, energy efficiency becomes a necessity. Since 1995, Kyoto protocol has highlighted that humans need to improve their energy consumption and reduce CO2 signature. Building consumption represent a third of the global energy consumption and Information Technology (IT) equipment is weighing heavily on energy expenses. For example, Google equipment consumes 0,01 percent of ...