Arrow Research search

Author name cluster

Robert Demolombe

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

10 papers
2 author rows

Possible papers

10

FLAP Journal 2022 Journal Article

Causality and Responsibility in the Context of Multiple Agents.

  • Robert Demolombe

We present a definition of causality for cases where a state of affairs has been caused by a group of agents acting together. We use modal logic to formalize this definition and then we prove that the result of the actions was caused precisely by the agents of the group. In this paper we show another definition of causality in the case where the situation was caused independently by actions performed by several subsets of agents. In addition, we systematically analyze the notion of the level of responsibility of a group agent when the actions performed by the group have violated a norm. In this context, it is assumed that the level of responsibility relies on what the agents have done and also on what they believe about what has been done by each agent. Finally, we apply our formal definitions of causality on a simple case study in order to of allowing an intuitive understanding.

Details

FLAP Journal 2018 Journal Article

About Relationships Between two Individuals.

  • Robert Demolombe

If an internet user wants to access information about two given individuals, he can submit a request with the names of these individuals. However, the occurrences of these two names do not guarantee that the obtained information expresses a relationship between these individuals. The aim of this paper is to propose a clear definition of sentences which express a relationship between two individuals. We first present an informal analysis, based on examples, of this notion of relationship in the context of atomic sentences, or complex sentences which combines logical connectives or quantifiers. In the next section, we give formal definitions, assuming that sentences are expressed in First Order Logic. We define the notion of “path” between individuals, the notion of link between individuals and the notion of relationship between individuals. A Theorem shows how the relationships which are implicitly expressed in complex formulas can be represented in equivalent formulas expressed with “basic relationships”. In the conclusion we suggest possible extensions where the language involves equality, function symbols or modal operators.

Details

AILAW Journal 2011 Journal Article

Relationships between obligations and actions in the context of institutional agents, human agents or software agents

  • Robert Demolombe

Abstract The paper presents a logical framework for the representation of interactions between institutional agents, human agents and software agents. A case study is used to analyze how obligations on institutional agents are “propagated” to human and software agents, and how actions performed by these agents count as actions that satisfy the obligations imposed to institutional agents. It is shown that the relationship between the different kinds of obligations and actions can be represented in terms of the concept of “count as” proposed by Searle, of role and of causality. The logical framework focus on those three concepts.

Details DOI

ECAI Conference 2006 Conference Paper

Norms with Deadlines in Dynamic Deontic Logic

  • Robert Demolombe
  • Philippe Bretier
  • Vincent Louis

In this paper we extend the logical framework defined by K. Segerberg about norms and actions to norms that refer to deadlines. We also characterize the circumstances where these norms are violated.

Details

TCS Journal 1991 Journal Article

An efficient strategy for non-Horn deductive databases

  • Robert Demolombe

Many efficient strategies have been presented in the literature to derive answers to queries in the context of Deductive Databases. Most of them deal with definite Horn clauses. More recently, strategies have been defined to deal with non-Horn clauses but they adopt the Generalized Closed World Assumption to reduce incompleteness. In this paper we present an efficient strategy to deal with non-Horn clauses in pure logic, i. e. without any kind of assumption. This strategy is an extension of the so-called ALEXANDRE strategy to this particular context. The set of rules is transformed into another set of rules, in a compilation phase, in such a way that their execution in forward chaining simulates a variant of SL resolution. Particular attention is payed to the constants in the queries to reduce the set of derived clauses.

Details DOI