11 found
Order:
  1. Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  30
    An Argumentation-Based Approach for Reasoning About Trust in Information Sources.Leila Amgoud & Robert Demolombe - 2014 - Argument and Computation 5 (2-3):191-215.
    During a dialogue, agents exchange information with each other and need thus to deal with incoming information. For that purpose, they should be able to reason effectively about trustworthiness of information sources. This paper proposes an argument-based system that allows an agent to reason about its own beliefs and information received from other sources. An agent's beliefs are of two kinds: beliefs about the environment and beliefs about trusting sources . Six basic forms of trust are discussed in the paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Analytical Decomposition of Trust in Terms of Mental and Social Attitudes.Robert Demolombe - 1st ed. 2015 - In Emiliano Lorini & Andreas Herzig (eds.), The Cognitive Foundations of Group Attitudes and Social Interaction. Springer Verlag.
     
    Export citation  
     
    Bookmark   1 citation  
  4.  36
    Relationships Between Obligations and Actions in the Context of Institutional Agents, Human Agents or Software Agents.Robert Demolombe - 2011 - Artificial Intelligence and Law 19 (2-3):99-115.
    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” (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  43
    Belief Change: From Situation Calculus to Modal Logic.Robert Demolombe - 2003 - Journal of Applied Non-Classical Logics 13 (2):187-198.
    We propose a translation into Modal Logic of the ideas that formalise belief change in the Situation Calculus. This translation is extended to the case of revision. In the conclusion is presented a set of open issues.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  23
    Reasoning About Trust and Aboutness in the Context of Communication.Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):292-303.
    Trust may have many different informal definitions. In this work, formal definitions are proposed in Modal Logic in order to have clear rules for reasoning about trust. We start from trust in some properties of an information source, like sincerity, competence or vigilance, about a given proposition. Then, this definition is extended to trust about all the propositions which are about a given topic. A further extension is about all the propositions which inform about a given individual. Specific logics are (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Temporal Abductive Reasoning About Biochemical Reactions.Serenella Cerrito, Marta Cialdea Mayer & Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):269-291.
    The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may link (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Preface.Robert Demolombe & Risto Hilpinen - 2000 - Nordic Journal of Philosophical Logic 5 (2):63-64.
  9.  12
    Translation of First Order Formulas Into Ground Formulas Via a Completion Theory.Robert Demolombe, Luis Fariñas del Cerro & Naji Obeid - 2016 - Journal of Applied Logic 15:130-149.
  10.  6
    Trust and Agency in the Context of Communication.Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):140-151.
    The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  6
    Integrity Constraints Revisited.Robert Demolombe & Andrew Jones - 1996 - Logic Journal of the IGPL 4 (3):369-383.
    In this paper we attempt to supply answers to questions of the following kinds: How are database Integrity Constraints to be characterised formally? How is the concept of violation of an IC to be understood? What is the epistemic status of an IC? Following an analysis of the standard treatment of ICs, based on a simple example, we recall how Reiter provided a clear definition of the epistemic status of ICs. On Reiter's approach, ICs are implicitly supported by statements that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark