8 found
Order:
  1. ChatGPT is no Stochastic Parrot. But it also Claims that 1 is Greater than 1.Konstantine Arkoudas - 2023 - Philosophy and Technology 36 (3):1-29.
    This article is a commentary on ChatGPT and LLMs (Large Language Models) in general. It argues that this technology has matured to the point where calling systems such as ChatGPT “stochastic parrots” is no longer warranted. But it also argues that these systems continue to have serious limitations when it comes to reasoning. These limitations are much more severe than commonly thought. A large array of examples are given to support these claims.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
    The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3. On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis.Selmer Bringsjord & Konstantine Arkoudas - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 68-118.
  4.  19
    Vivid: A framework for heterogeneous problem solving.Konstantine Arkoudas & Selmer Bringsjord - 2009 - Artificial Intelligence 173 (15):1367-1405.
  5.  74
    Toward formalizing common-sense psychology: an analysis of the false-belief task.Konstantine Arkoudas & Selmer Bringsjord - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 17--29.
  6.  20
    Computation, hypercomputation, and physical science.Konstantine Arkoudas - 2008 - Journal of Applied Logic 6 (4):461-475.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  2
    On the Provability, Veracity, and AI-Relevance of the Church–Turing Thesis.Selmer Bringsjord & Konstantine Arkoudas - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 66-118.
  8.  30
    Piagetian Roboethics via Category Theory Moving beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to be Ethically Correct.Selmer Bringsjord, Joshua Taylor, Bram van Heuveln, Konstantine Arkoudas, Micah Clark & Ralph Wojtowicz - 2011 - In Michael Anderson & Susan Leigh Anderson (eds.), Machine Ethics. Cambridge Univ. Press.