14 found
Order:
  1.  43
    Resource Bounded Belief Revision.Renata Wassermann - 1999 - Erkenntnis 50 (2-3):429-446.
    The AGM paradigm for belief revision provides a very elegant and powerful framework for reasoning about idealized agents. The paradigm assumes that the modeled agent is a perfect reasoner with infinite memory. In this paper we propose a framework to reason about non-ideal agents that generalizes the AGM paradigm. We first introduce a structure to represent an agent's belief states that distinguishes different status of beliefs according to whether or not they are explicitly represented, whether they are currently active and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  2.  53
    Local Change.Sven Ove Hansson & Renata Wassermann - 2002 - Studia Logica 70 (1):49 - 76.
    An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. Efficient operations for belief change should affect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we define a local consequence operator that only considers the relevant part of a belief base. This operator is used to define local versions of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  3.  18
    Local Change.Sven Hansson & Renata Wassermann - 2002 - Studia Logica 70 (1):49-76.
    An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. Efficient operations for belief change should affect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we define a local consequence operator that only considers the relevant part of a belief base. This operator is used to define local versions of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  4.  33
    On AGM for Non-Classical Logics.Renata Wassermann - 2011 - Journal of Philosophical Logic 40 (2):271 - 294.
    The AGM theory of belief revision provides a formal framework to represent the dynamics of epistemic states. In this framework, the beliefs of the agent are usually represented as logical formulas while the change operations are constrained by rationality postulates. In the original proposal, the logic underlying the reasoning was supposed to be supraclassical, among other properties. In this paper, we present some of the existing work in adapting the AGM theory for non-classical logics and discuss their interconnections and what (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  2
    Minimal Change: Relevance and Recovery Revisited.Márcio M. Ribeiro, Renata Wassermann, Giorgos Flouris & Grigoris Antoniou - 2013 - Artificial Intelligence 201:59-80.
  6.  54
    Generalized Change and the Meaning of Rationality Postulates.Renata Wassermann - 2003 - Studia Logica 73 (2):299 - 319.
    The standard theory of belief revision was developed to describe how a rational agent should change his beliefs in the presence of new information. Many interesting tools were created, but the concept of rationality was usually assumed to be related to classical logics. In this paper, we explore the fact that the logical tools used can be extended to other sorts of logics, as proved in (Hansson and Wassermann, 2002), to describe models that are closer to the rationality of a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  10
    Inconsistent-Tolerant Base Revision Through Argument Theory Change.Martín Moguillansky, Renata Wassermann & Marcelo Falappa - 2012 - Logic Journal of the IGPL 20 (1):154-186.
    Reasoning and change over inconsistent knowledge bases is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  30
    Local Diagnosis.Renata Wassermann - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):107-129.
    In the area known as model-based diagnosis, a system is described by-means of a set of formulas together with assumptions that all the components are functioning correctly. When we observe a behavior of the system which is inconsistent with the system description, we must relax some of the assumptions. In previous work, we have presented operations of belief change which only affect the relevant part of a belief base. In this paper, we propose the application of the same strategy to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  3
    Revising System Specifications in Temporal Logic.Paulo T. Guerra & Renata Wassermann - forthcoming - Journal of Logic, Language and Information:1-28.
    Although formal system verification has been around for many years, little attention was given to the case where the specification of the system has to be changed. This may occur due to a failure in capturing the clients’ requirements or due to some change in the domain. We are interested in having methods not only to verify properties, but also to suggest how the system model should be changed so that a property would be satisfied. For this purpose, we will (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  6
    Generalized Change and the Meaning of Rationality Postulates.Renata Wassermann - 2003 - Studia Logica 73 (2):299-319.
    The standard theory of belief revision was developed to describe how a rational agent should change his beliefs in the presence of new information. Many interesting tools were created, but the concept of rationality was usually assumed to be related to classical logics. In this paper, we explore the fact that the logical tools used can be extended to other sorts of logics, as proved in, to describe models that are closer to the rationality of a real agent.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Proceedings of Nmr2016.Gabriele Kern-Isberner & Renata Wassermann (eds.) - 2016
    No categories
     
    Export citation  
     
    Bookmark  
  12.  1
    Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. [REVIEW]Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.) - 2021 - Springer Verlag.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    I I I I Approximate Behef RGVISIOH.Renata Wassermann - unknown
    New York, USA. ERi2;mail: [email protected] edu. au ROHIT PARIKH, Brooklyn College 0f CUNY and CUNY Graduate Center, New York, USA. E-mail: [email protected] cuny. edu..
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Ouro Preto (Minas Gerais), Brazil July 29–August 1, 2003.France Xii, Marcelo Coniglio, Gilles Dowek, Jouko Väänanen, Renata Wassermann, Eric Allender, Jean-Baptiste Joinet & Dale Miller - 2004 - Bulletin of Symbolic Logic 10 (2).