From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 547AF2DF6 for ; Thu, 7 Mar 2019 14:12:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,451,1544482800"; d="scan'208";a="372360680" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Mar 2019 15:12:25 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6D3FF82617; Thu, 7 Mar 2019 15:12:25 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D69B97F61F for ; Thu, 7 Mar 2019 15:11:24 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-it1-f225.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AI2HuzxXDkpMXdGXIyhEoDuuT/yfV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYx2Ot8tkgFKBZ4jH8fUM07OQ7/m4HzRZqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5uIBmssQndq9QdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJ+i6FVrhyhqRFk34LYfJ2ZOOZkc6/BYd8XQ3dKUMZLVyxGB4Ox?= =?us-ascii?q?d4QPAPQGPeZWoYnwvEcBrQCkCQmpBePg0DpIhn7s0aIkzushDAfL1xEuEdIJtX?= =?us-ascii?q?TbttT1NKEKXOCoyqnIzCzPb/BR2Tjm7IjHbBYhoPCWUb1tb8Xd0VcgGBnejlSQ?= =?us-ascii?q?tYPlPyma1uUXs2SB6OpgT+2vh3Y8qwFpuDivx8EsiobXiYIP0FzL6Dt2zJ4oJd?= =?us-ascii?q?2+SU53eNCkEIFOuCGbLIR2X9kiQ25ytCkn1LILv4OwcisSyJk/2RLTd/iKf5KL?= =?us-ascii?q?7x/jTuqdPDZ1iXN/dL6hmRq/8VCsxvD4W8WqylpHoDdJnsPPu30JzRDf99aLR/?= =?us-ascii?q?1g9Um7wzmPzRrc6uRcLEA0i6XbL5khz6Y1lpUJsETDGjb6mETqjKOLb0kk9Pak?= =?us-ascii?q?5/rnb7n8qZ+cMIh0ig76MqswgMCwHeM4Mg0WU2ia/+SzyqHj8FXnTLlWivA6iK?= =?us-ascii?q?rUvZDAKcgGp6O0AhVZ3pg95xu/Fzum1c4XnXgDLFJLYhKHiI3pNknBIP/mCve/?= =?us-ascii?q?jVqsnSx3yPDdJLHhB5TNIWLGkLfgZ7py9VNTyBcrwdBF+51UEq0BIO70WkLpqN?= =?us-ascii?q?PXFBo5Mwitz+bjCdV9zZ8eVHmUAq6ZNaPSqUWH6vguI+mKfo8VuSzyJ+Ir5/70?= =?us-ascii?q?3jcFngpJdqCs2d4TaWukNvVgOUSQJ3T21IQvC2AP6wUzS+LkoFaZFztSbnOzGa?= =?us-ascii?q?8w+2JoQLm6BJvOE9j+yIeK2z22S8UPNzJ2T2uUGHKtTL2qHvIFaSacOMhky2BW?= =?us-ascii?q?XqPnTo4o0BDouQPnmeM+crjkvxYAvJem7+BbovXJnEhupzdvScGc2mSMCWx4gz?= =?us-ascii?q?FQHmJk7OVEuUV4j2y7/+14jvhfT4IB4vpIVkI7KceZwbYgVpb9XQXOetrPQ1Gj?= =?us-ascii?q?EI2r?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7AwBAJoFchuGmVdFkghmBKDeBF4Eqj?= =?us-ascii?q?QKKSplLggkDVAEMI4kAGgcBBDQSAQEDAQEHAQMBAQETAQEBCAsLCCkjDEIBEAG?= =?us-ascii?q?BZiKDEiMBASYEBgQEOzQdCAEFASITGYMJAYF1D553PIosgiCCeAEBBYJGgxQHH?= =?us-ascii?q?4EkCAkBCIEdAQGGY4ICgkUXgX+BEYJkgzMOCwMBGIEgBAeDV4ImiXsNh2yRRl0?= =?us-ascii?q?Jh02BG4dygh8lgXhYhQ6DEIhHi3GEYYE3iWuBTQ8hgT2Bd3KDOgmCG4NUM4Rhh?= =?us-ascii?q?V0hMwGKEoExgk0BAQ?= X-IPAS-Result: =?us-ascii?q?A0A7AwBAJoFchuGmVdFkghmBKDeBF4EqjQKKSplLggkDVAE?= =?us-ascii?q?MI4kAGgcBBDQSAQEDAQEHAQMBAQETAQEBCAsLCCkjDEIBEAGBZiKDEiMBASYEB?= =?us-ascii?q?gQEOzQdCAEFASITGYMJAYF1D553PIosgiCCeAEBBYJGgxQHH4EkCAkBCIEdAQG?= =?us-ascii?q?GY4ICgkUXgX+BEYJkgzMOCwMBGIEgBAeDV4ImiXsNh2yRRl0Jh02BG4dygh8lg?= =?us-ascii?q?XhYhQ6DEIhHi3GEYYE3iWuBTQ8hgT2Bd3KDOgmCG4NUM4RhhV0hMwGKEoExgk0?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.58,451,1544482800"; d="scan'208";a="372360393" Received: from mail-it1-f225.google.com ([209.85.166.225]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Mar 2019 15:10:58 +0100 Received: by mail-it1-f225.google.com with SMTP id v2so15396962ith.3 for ; Thu, 07 Mar 2019 06:10:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=6GTsCSszSWaveg8p31Y+1oyD/MXO3pxqul1IwzblsZw=; b=tPsUVPrUdoTxVot9KRs15bn/uWzct074enQyi1WABgfn5BcZdX/nA9nsLbZPUCHlBC ZEep8HQqUodzt1vBDW8rWEMGXsNDxHqc22j4OV59RQFkMIhMNAEJd0FSoIM6vErwYYxQ hafnd3lXgVsKPShxJ9EUuRMywNUDfkMEwrvZi+XsIxk9GBmPUWthfGSlOOWLu+0j0xNv yHDGkCVoA1BXoAkwwIoumMjjG28RbQyQp/J3tDjQXak06I4a5AMt+fuk8h1lN5X6dMj1 YYintwEwA1FrywVnQOfs02UFIbbLojexOBLymMZzJsKzm8FwjJ88rlGT8MHc4TAHW8wC 03Cg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=6GTsCSszSWaveg8p31Y+1oyD/MXO3pxqul1IwzblsZw=; b=RUSXI0Ah15NQDNu/YPQ0jeTUoEJdCIBzWn9UajurtbfAiDuc7t2rqSWZ9TwZJICq8J DSnoQXA5NCssHjAWYh9c8lfIgY5swFwz2TxjGVVB1c6OMygZ1PAHvI1q8xMJWN8Escay BPM+foJ5fxMl8sbs8TWCytVysSuDQHVLsXQMuM45NHooZGhuR4KwND9wjtI6uq9CICto 0GTSGbp9iEvzvwf9eWtUK40Mrz73ehauEE5mcGt0vOeHPuntot3wEMEhjNxHJPFEl5ij hnRWBZsgU0S5ISjO7luf17XI7tWBeNEKHTxekcSkn//2bj7EBB1Y5JiKelGg351NcPcH 90yg== X-Gm-Message-State: APjAAAU4tRZ8UGnvTWTQdIbJc4aao2uoSqNqWGL+vi2rlKwh99lH9zeh rq43DRTRUQtbXQVPw1SR/+odmNtHrd8b2c1NczmQTj3fCmOLnw== X-Google-Smtp-Source: APXvYqxPDRjEewvOAA+eaHwbhwvVU0OJ/wGtL8HPfZ513jQFRwdgPDiKt5u1HGHbio2G4yN7NB7WPd0w9/0T X-Received: by 2002:a02:308:: with SMTP id y8mr7765873jad.142.1551967858044; Thu, 07 Mar 2019 06:10:58 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id q19sm632970itb.5.2019.03.07.06.10.57 for ; Thu, 07 Mar 2019 06:10:58 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 72F241700E61; Thu, 7 Mar 2019 08:59:28 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20190307135928.72F241700E61@cs.miami.edu> Date: Thu, 7 Mar 2019 08:59:28 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 5th Workshop on Bridging the Gap between Human and Automated Reasoning Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17388 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] Fifth Workshop on: Bridging the Gap between Human and Automated Reasoning an IJCAI-19 workshop (supported by IFIP TC12) Macau, China August, 2019 http://ratiolog.uni-koblenz.de/bridging2019 ================================================================= Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge and to gain new insights. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, among others models for the Wason selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Early work often used propositional logic as a normative framework. Any deviation from it has been considered an error. Central results like findings from the Wason selection task or the suppression task inspired a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Considering cognitive theories for syllogistic reasoning show that none of the existing theories is close to the existing data. But some formally inspired cognitive complexity measures can predict human reasoning difficulty for instance in spatial relational reasoning. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research for commonsense reasoning and in the meantime there even exist benchmarks for commonsense reasoning, like the Winograd and the COPA challenge. A core 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 individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields. We propose a human syllogistic reasoning challenge to predict future inferences of an individual reasoner based on some previous observations. Hence, participants can develop cognitive AI models (written in Python) that predict the next inference. These predictions are then evaluated in the CCobra framework (for more information see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge). Despite a common research interest -- reasoning -- there are still several milestones necessary to foster a better inter-disciplinary research. First, to develop a better understanding of methods, techniques, and approaches applied in both research fields. Second, to have a synopsis of the relevant state-of-the-art in both research directions. Third, to combine methods and techniques from both fields and find synergies. E.g., techniques and methods from computational logic have never been directly applied to model adequately human reasoning. They have always been adapted and changed. Fourth, we need more and better experimental data that can be used as a benchmark system. Fifth, cognitive theories can benefit from a computational modeling. Hence, both fields -- human and automated reasoning -- can both contribute to these milestones and are in fact a conditio sine qua non. Achievements in both fields can inform the others. Deviations between fields can inspire to seek a new and profound understanding of the nature of reasoning. Additionally to predict human inferences is a major step that can help to foster the integration of digital companions and cognitive assistance systems into our everyday life. An important condition is that such systems can adapt themselves to an individual's reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields. Symbolic approaches do provide an easier access to it. This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. Topics of interest include, but are not limited to the following: - limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning - benchmark problems relevant in both fields - approaches to tackle benchmark problems like the Winograd Schema Challenge or the COPA challenge - predicting an individual reasoners response (see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge) The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12. ======== IMPORTANT DATES ======== Full Paper submission deadline: 12th April, 2019 Notification: 10th May, 2019 Final submission: 10th June, 2019 Model submission for PRECORE challenge: 15th May, 2019 Workshop: 10th - 12th August, 2019 ======== SUBMISSION AND CONTRIBUTION FORMAT ======== This year's Bridging workshop will accept papers and submissions to the PRECORE challenge: Papers, including the description of work in progress, are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files 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 respect to formalisms as long as individual predictions 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 model on a conceptual level on two pages in the workshop template. Details on the submission of the zip-archive can be found at: https://www.cognitive-computation.uni-freiburg.de/modelingchallenge ======== PROCEEDINGS======== Proceedings of the workshop will probably be published as CEUR workshop proceedings. ======== ORGANIZERS ======== Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz ======== PROGRAM COMMITTEE ======== Christoph Beierle, Fernuniversität Hagen Phan Minh Dung, Asian Institute of Technology, Dresden University of Technology Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Antonis C. Kakas, University Cyprus Sangeet Khemlani, Naval Research Lab, USA Robert A. Kowalski, Imperial College London Luís Moniz Pereira, Universidade Nova Lisboa Marco Ragni, University of Freiburg Nicolas Riesterer, University of Freiburg Claudia Schon, University of Koblenz Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon, schon@uni-koblenz.de