BEGIN:VCALENDAR VERSION:2.0 PRODID:IEEE vTools.Events//EN CALSCALE:GREGORIAN BEGIN:VTIMEZONE TZID:America/New_York BEGIN:DAYLIGHT DTSTART:20220313T030000 TZOFFSETFROM:-0500 TZOFFSETTO:-0400 RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3 TZNAME:EDT END:DAYLIGHT BEGIN:STANDARD DTSTART:20221106T010000 TZOFFSETFROM:-0400 TZOFFSETTO:-0500 RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11 TZNAME:EST END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTAMP:20221021T130837Z UID:E083254C-AD22-401C-9467-4D4BFD5EBC39 DTSTART;TZID=America/New_York:20221020T180000 DTEND;TZID=America/New_York:20221020T200000 DESCRIPTION:It was once widely believed that computers would enhance the sp eed\, reliability\, and applicability of human deductive reasoning in the physical and social sciences\, much as motorized vehicles (e.g.\, cars\, t rains\, airplanes) have enhanced the speed\, reliability\, and applicabili ty of human manual abilities in transportation. Yet\, 60 years later\, com puters can be used confidently only for paperwork tasks\, analysis of regu larly structured data\, and simple process control applications. Complex s oftware rarely satisfies user needs\, is untrustworthy and difficult to ma intain\, and largely opaque to its users. Artificial intelligence (AI) met hods including heuristics\, machine learning\, and statistical methods are in opposition to sound deductive reasoning. This presentation explains ce rtain practical and logical impediments to computer enhancement of human d eductive reasoning\, the deductive limitations of modern programming langu ages\, the role of AI\, and provides some promising alternatives.\n\nVirtu al: https://events.vtools.ieee.org/m/322735 LOCATION:Virtual: https://events.vtools.ieee.org/m/322735 ORGANIZER:d.cecic@ieee.org SEQUENCE:6 SUMMARY:Why Software Fails and Why AI cannot Help URL;VALUE=URI:https://events.vtools.ieee.org/m/322735 X-ALT-DESC:Description: <br /><p>It was once widely believed that computers would enhance the speed\, reliability\, and applicability of human deduct ive reasoning in the physical and social sciences\, much as motorized vehi cles (e.g.\, cars\, trains\, airplanes) have enhanced the speed\, reliabil ity\, and applicability of human manual abilities in transportation. Yet\, 60 years later\, computers can be used confidently only for paperwork tas ks\, analysis of regularly structured data\, and simple process control ap plications. Complex software rarely satisfies user needs\, is untrustworth y and difficult to maintain\, and largely opaque to its users. Artificial intelligence (AI) methods including heuristics\, machine learning\, and st atistical methods are in opposition to sound deductive reasoning. This pre sentation explains certain practical and logical impediments to computer e nhancement of human deductive reasoning\, the deductive limitations of mod ern programming languages\, the role of AI\, and provides some promising a lternatives.</p> END:VEVENT END:VCALENDAR