Itamar D Futterman, Hila Friedmann, Oleksii Shpanel-Yukhta, Howard Minkoff, Shoshana Haberman
Use of natural language processing to uncover racial bias in obstetrical documentation
Clinical imaging
formal deductive logic used express reason declarative axiomatizable content captures know essentially known mathematics physics captures well details proofs knowledge secured certainly impressive deductive logic alone cannot enable rational adjudication arguments variance however much additional information added affirming fundamental directive according argumentation basis humancentric ai introduce employ deductive andcruciallyan inductive cognitive calculus former cognitive calculus dcec deductive one used automated deductive reasoner shadowprover latter idcec inductive used automated inductive reasoner shadowadjudicator based humanused concepts likelihood dialects idcec probability explain shadowadjudicator centers around concept competing nuanced arguments adjudicated nonmonotonically time make things clearer concrete way three case studies two automated reasoners employed case study 1 involves famous monty hall problem case study 2 makes vivid efficacy calculi automated reasoners simulations involve cognitive robot peri2 case study 3 explain simulation employs cognitive architecture arcadia designed computationally model humanlevel cognition ways take perception attention seriously also discuss type argument rarely analyzed logicbased ai arguments intended persuade leveraging human deficiencies end sharing thoughts future research associated engineering type displayed