4 found
Sort by:
  1. Selmer Bringsjord, Joshua Taylor, Bram van Heuveln, Konstantine Arkoudas, Micah Clark & Ralph Wojtowicz (2011). Piagetian Roboethics Via Category Theory Moving Beyond Mere Formal Operations to Engineer Robots Whose Decisions Are Guaranteed to Be Ethically Correct. In M. Anderson S. Anderson (ed.), Machine Ethics. Cambridge Univ. Press.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Konstantine Arkoudas & Selmer Bringsjord (2008). Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. 17--29.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Konstantine Arkoudas & Selmer Bringsjord (2007). Computers, Justification, and Mathematical Knowledge. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Selmer Bringsjord & Konstantine Arkoudas (2006). On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis. In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. 68-118.
    Translate to English
    |
     
    My bibliography  
     
    Export citation