Switch to: References

Citations of:

Autoepistemic logic

In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 105--136 (1988)

Add citations

You must login to add citations.
  1. Quantum cognition and bounded rationality.Reinhard Blutner & Peter Beim Graben - 2016 - Synthese 193 (10).
    We consider several puzzles of bounded rationality. These include the Allais- and Ellsberg paradox, the disjunction effect, and related puzzles. We argue that the present account of quantum cognition—taking quantum probabilities rather than classical probabilities—can give a more systematic description of these puzzles than the alternate treatments in the traditional frameworks of bounded rationality. Unfortunately, the quantum probabilistic treatment does not always provide a deeper understanding and a true explanation of these puzzles. One reason is that quantum approaches introduce additional (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.
    Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Invitation to Autoepistemology.Lloyd Humberstone - 2002 - Theoria 68 (1):13-51.
    The phrase ‘autoepistemic logic’ was introduced in Moore [1985] to refer to a study inspired in large part by criticisms in Stalnaker [1980] of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore [1988] and the wide-ranging survey article Konolige [1994], and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.
    We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Human performance in default reasoning.Francis Jeffry Pelletier & Renée Elio - unknown
    There has long been a history of studies investigating how people (“ordinary people”) perform on tasks that involve deductive reasoning. The upshot of these studies is that people characteristically perform some deductive tasks well but others badly. For instance, studies show that people will typically perform MP (“modus ponens”: from ‘If A then B’ and ‘A’, infer ‘B’) and bi-conditional MP (from: ‘A if and only if B’ and ‘A’, infer ‘B’) correctly when invited to make the inference and additionally (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Review of Ernest Davis: Representations of Commonsense Knowledge. [REVIEW]Barry Smith - 1994 - Minds and Machines 4 (2):245-249.
    Review of a compendium of alternative formal representations of common-sense knowledge. The book is centered largely on formal representations drawn from first-order logic, and thus lies in the tradition of Kenneth Forbus, Patrick Hayes and Jerry Hobbs.
    Download  
     
    Export citation  
     
    Bookmark