BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2019/newsitem/10696/10 ---12-August-2019-5th-Workshop-on-Bridging-the-Gap -between-Human-and-Automated-Reasoning-Macau-China DTSTAMP:20190314T153641 SUMMARY:5th Workshop on Bridging the Gap between H uman and Automated Reasoning, Macau, China DTSTART;VALUE=DATE:20190810 DTEND;VALUE=DATE:20190812 LOCATION:Macau, China DESCRIPTION:This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will b e located at the 28th International Joint Conferen ce on Artificial Intelligence (IJCAI 2019) at Maca o, China. The Bridging workshop is supported by IF IP TC12. Reasoning is a core ability in human cog nition. There are a lot of findings in cognitive s cience research which are based on experimental da ta about reasoning tasks, inspiring a shift from p ropositional logic and the assumption of monotonic ity in human reasoning towards other reasoning app roaches. This includes but is not limited to model s using probabilistic approaches, mental models, o r non-monotonic logics. Automated deduction, on th e other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupli ng of the areas of cognitive science and automated reasoning is addressed in several approaches. A c ore goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individual s' reasoning process and that such systems follow the principle of explainable AI to ensure trustful ness and to support the integration of results fro m other fields. Topics of interest include, but a re not limited to the following: - limits and dif ferences between automated and human reasoning - p sychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning - benchmark p roblems relevant in both fields - approaches to ta ckle benchmark problems like the Winograd Schema C hallenge or the COPA challenge - predicting an ind ividual reasoners response (see https://www.cognit ive-computation.uni-freiburg.de/modelingchallenge) This year's Bridging workshop will accept papers and submissions to the PRECORE challenge: Papers , including the description of work in progress, a re welcome and should be formatted according to th e Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in P DF. Formatting instructions and the LNCS style fil es can be obtained at http://www.springer.de/comp/ lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/? conf=bridging2019 The PRECORE challenge is based on CCOBRA (https: //www.cognitive-computation.uni- freiburg.de/modelingchallenge), a Python framework for the behavioral analysis of reasoning models. The framework does not pose restrictions with resp ect to formalisms as long as individual prediction s to syllogistic problems can be generated. Final model submissions are due on May 15th, 11:59 UTC-1 2 as a zip-archive. Please describe your model on a conceptual level on two pages in the workshop te mplate. Details on the submission of the zip-archi ve can be found at: https://www.cognitive-computat ion.uni-freiburg.de/modelingchallenge X-ALT-DESC;FMTTYPE=text/html:
\n

This is t he fifth workshop in a series of successful Bridgi ng the Gap Between Human and Automated Reasoning w orkshops. The workshop will be located at the 28th International Joint Conference on Artificial Inte lligence (IJCAI 2019) at Macao, China. The Bridgin g workshop is supported by IFIP TC12.

\n\n

Reasoning is a core ability in human cognition. Th ere are a lot of findings in cognitive science res earch which are based on experimental data about r easoning tasks, inspiring a shift from proposition al logic and the assumption of monotonicity in hum an reasoning towards other reasoning approaches. T his includes but is not limited to models using pr obabilistic approaches, mental models, or non-mono tonic logics. Automated deduction, on the other ha nd, is mainly focusing on the automated proof sear ch in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal o f Bridging-the-gap-Workshops is to make results fr om psychology, cognitive science, and AI accessibl e to each other. The goal is to develop systems th at can adapt themselves to an individuals' reasoni ng process and that such systems follow the princi ple of explainable AI to ensure trustfulness and t o support the integration of results from other fi elds.

\n
\n

Topics of interest in clude, but are not limited to the following:

\n \n

- limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human rea soning - non-monotonic, defeasible, and classical reasoning - benchmark problems relevant in both fi elds - approaches to tackle benchmark problems lik e the Winograd Schema Challenge or the COPA challe nge - predicting an individual reasoners response (see https://www.cognitive-computation.uni-freibur g.de/modelingchallenge)

\n\n

This year's Br idging workshop will accept papers and submissions to the PRECORE challenge:

\n\n

Papers, inc luding the description of work in progress, are we lcome and should be formatted according to the Spr inger LNCS guidelines. The length should not excee d 15 pages. All papers must be submitted in PDF. F ormatting instructions and the LNCS style files ca n be obtained at http://www.springer.de/comp/lncs/ authors.htm. The EasyChair submission site is avai lable at: https://easychair.org/conferences/?conf= bridging2019

\n\n

The PRECORE challenge is based on CCOBRA (https: //www.cognitive-computatio n.uni-freiburg.de/modelingchallenge), a Python fra mework for the behavioral analysis of reasoning mo dels. The framework does not pose restrictions wit h respect to formalisms as long as individual pred ictions to syllogistic problems can be generated. Final model submissions are due on May 15th, 11:59 UTC-12 as a zip-archive. Please describe your mod el on a conceptual level on two pages in the works hop template. Details on the submission of the zip -archive can be found at: https://www.cognitive-co mputation.uni-freiburg.de/modelingchallenge

\n< /div> URL:http://ratiolog.uni-koblenz.de/bridging2019 CONTACT:schon at uni-koblenz.de END:VEVENT END:VCALENDAR