Switch to: References

Add citations

You must login to add citations.
  1. Computing Generalized Specificity.Frieder Stolzenberg, Alejandro Javier Garcia, Carlos Ivan Chesñevar & Guillermo Ricardo Simari - 2003 - Journal of Applied Non-Classical Logics 13 (1):87-113.
    Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent and autonomous comparison criterion, based on specificity as defined in [POO 85, SIM 92]. In contrast to other approaches, we consider not only defeasible, but also strict knowledge. Our criterion is context-sensitive, i. e., preference among defeasible rules is determined dynamically (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Epistemology and artificial intelligence.Gregory R. Wheeler & Luís Moniz Pereira - 2004 - Journal of Applied Logic 2 (4):469-493.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • How an agent might think.A. Szalas - 2013 - Logic Journal of the IGPL 21 (3):515-535.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Preferential theory revision.Pierangelo Dell'Acqua & Luís Moniz Pereira - 2007 - Journal of Applied Logic 5 (4):586-601.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Declarative Representation of Revision Strategies.Gerhard Brewka - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):151-167.
    In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make sure that all theories (...)
    Download  
     
    Export citation  
     
    Bookmark