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 EA7471E6 for ; Thu, 29 Mar 2018 14:51:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,376,1517871600"; d="scan'208";a="320582311" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Mar 2018 16:51:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6A5C08239C; Thu, 29 Mar 2018 16:51:24 +0200 (CEST) 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 2F5F18240C for ; Thu, 29 Mar 2018 16:38:56 +0200 (CEST) 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-vk0-f100.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ADaejFRYcWA3sxRdZp3JGRYb/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM+5bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjAk7m/Zjc9+gqxbrh+6uxBz35LYbJ2POfZiYq/Qe84RS2pbXsZWUixMGoy8?= =?us-ascii?q?YJUID+oPM+ZVtJXyp0AUoRu7BAmjHubvyj5SinDowKI6zuIsGhzI0gwnGtIBqn?= =?us-ascii?q?XUrNPtOacTU+C60LPHzTTZY/NRwzf955DEfQ47rvGXXbN/bcrRxlMuFwPflFmQ?= =?us-ascii?q?rpblPzyT2+8QsGab9/JtWfyzh2MjsQ18oTiiyt0yhoXUiI8Z0E3I+TllzIotON?= =?us-ascii?q?G1TFB3bcSqHZdNrS2XNI97Ttk/T212visx16cItoShfCcQzZQq3x7fZOKDc4iP?= =?us-ascii?q?+h/jUfyeITZ8hH58ZrK/hAq+/VGuyuHhSsW4zExGriVCktnLuXAN0wLc5tKbRf?= =?us-ascii?q?t6+0etwTeP1wbN5eFYOU04i7bXJpo7zrMzlpcfq1rPEjL4lUnskaOaalko9vCt?= =?us-ascii?q?6+v9Y7XmopGcN5VzigH7KqkuldKwAeM2MggARGWU5f+82Kfm/U34WrpKi/w2nr?= =?us-ascii?q?PHv5/HOMQXvrS5DBNN0oY/9xa/CC+r38gCknkCKFJJYRaHj4nyO1HSO/34Fve+?= =?us-ascii?q?g1G0kDhx3fzGP7vhAo/MLnfZirvhc6x9uAZgz19nxtla49dQC6odCPP1QE748t?= =?us-ascii?q?LCWEwXKQuxlunqD9tz/ogFH2eOC6qYdq7erAzbrtkzKvWBMddG8A32LOIosqa3?= =?us-ascii?q?3C0J3GQFdKzs5qM5LXWxH/BoOUKcOCa+icxHFGYDuwt4QeD32gTbDWxjIk2qVq?= =?us-ascii?q?d53QkVTZq8BN6fFIu2xrmA1SK6WJBaezIeUw3eITLTb4yBHsw0RmeSL8tmyGJW?= =?us-ascii?q?ULGgT8o/1knrulaik/xoKe3b/iBevpXmhoB4?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CgAACg+bxah2TVVdFdg0SBEIEXjDqMJ?= =?us-ascii?q?IMDklGBJQNSAQojiHwZBwEEMBgBAgEBAQEBAQEBARIBAQEIDQkIKC+COCKDEgE?= =?us-ascii?q?BJgQGBAQ7NB0IAQUBIhMJhQQPoQc8ihiDCYJuAQEFgWGDAAcdRIIhCAkBCIdMg?= =?us-ascii?q?hOBDIJWgzQLBBiBGwQHg0yCJJc1CIE0hB1th2OBOoV+hQWHFoF+PEaEEoFDDyG?= =?us-ascii?q?BBByBdA4IcoMQCYIljjtTAYwDgkYBAQ?= X-IPAS-Result: =?us-ascii?q?A0CgAACg+bxah2TVVdFdg0SBEIEXjDqMJIMDklGBJQNSAQo?= =?us-ascii?q?jiHwZBwEEMBgBAgEBAQEBAQEBARIBAQEIDQkIKC+COCKDEgEBJgQGBAQ7NB0IA?= =?us-ascii?q?QUBIhMJhQQPoQc8ihiDCYJuAQEFgWGDAAcdRIIhCAkBCIdMghOBDIJWgzQLBBi?= =?us-ascii?q?BGwQHg0yCJJc1CIE0hB1th2OBOoV+hQWHFoF+PEaEEoFDDyGBBByBdA4IcoMQC?= =?us-ascii?q?YIljjtTAYwDgkYBAQ?= X-IronPort-AV: E=Sophos;i="5.48,376,1517871600"; d="scan'208";a="320579987" Received: from mail-vk0-f100.google.com ([209.85.213.100]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Mar 2018 16:38:55 +0200 Received: by mail-vk0-f100.google.com with SMTP id h134so3506475vke.2 for ; Thu, 29 Mar 2018 07:38:55 -0700 (PDT) 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=HDbEo68pAOm6S5hg0WxwX7Uq2/uusYpKSbb1u44YWc8=; b=wIprdqYFnYKnvhp4J3gKSKCOteeB0aR7BWxaZ3XADfWJ79aM0QXjaUYh47vAcxKS8A 1oTq558Z/ONSCjma/WanO7J+teQa8y/se+KGVBp+C/G7ZF5J5k2SFsTw9lA/6YwqUV6V DyIcGMyhayucgUT4CSwJGm2p0zgNEOJ368dYriBh4eg4ibbZ3iQfLO+iBKceuvTyLhN4 qxxeZZMTSHGdUTC+HpNL3LDYpmpSn76snQgV+uykc/kHfCoD90GmjKMrtrBx7XOTCydp LxOC3ePvs6Zd6mhPe5YsoV0kSUdQ3pYJrVKog1p/6KvknogLjesfcTAKP3HI/FBcIkLa 1YmA== 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=HDbEo68pAOm6S5hg0WxwX7Uq2/uusYpKSbb1u44YWc8=; b=cAAghGVOjWCDSg9qRzbtUNYH3Zyf0/Nj+BvHjeQ+4A8YiHS7aJoOx2q4E6CskWjBgP Jf5hlxfnECjmqoqlD38cIniLq9CWRn7pM1PE5+JpxVb0F6XM3qNGCFMTseqv/Udtt8ZU LM5PrGS5AVtjS1+2b4QdiUpfm1WeCRiLifbxA+xmgrrza2PEPGmM8lgUJm4FgIGs/XQs t8NL4Kv7UgBggKd2aXLwVz9hmrJhGpHr27k5VFuthQ/BgYzdCA5gU64cMX9XNRK4E0hR 7EMLmKD4qmCCqktalMkpH4JOwooVbKQVul2abPFdWRa5ivM6wrNrALoT+zc+PlYKcTCy C7tA== X-Gm-Message-State: AElRT7FmkkCQskg9oZDGcmW12dEI91cIv6QEvc7JW14YuI4nXyCQeTLT tx7u0QDudrHoYUOXgeatEnpSOnw0nBKk1pGA1MaZvcvs4yJSlQ== X-Google-Smtp-Source: AIpwx4/5qeFQCITKU6SG328ECrkSxraCbS4MIPOYU0+mLEhlCkxr+pAryWR4DBXFfmmxes4gJM4JEaDnsnty X-Received: by 10.31.48.132 with SMTP id w126mr5308320vkw.36.1522334334337; Thu, 29 Mar 2018 07:38:54 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id x194sm217481vkx.7.2018.03.29.07.38.53 for ; Thu, 29 Mar 2018 07:38:54 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 98E581700E15; Thu, 29 Mar 2018 10:27:56 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180329142756.98E581700E15@cs.miami.edu> Date: Thu, 29 Mar 2018 10:27:56 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Bridging the Gap between Human and Automated Reasoning Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 16755 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: Fourth Workshop on Bridging the Gap between Human and Automated Reasoning a FAIM workshop (supported by IFIP TC12) Stockholm, Sweden 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 common sense reasoning and in the meantime there even exist benchmarks for commonsense reasoning, like the Winograd and the COPA challenge. Despite a common research interest - reasoning - there are still several milestones necessary to foster a better interdisciplinary 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. This is the fourth 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: - benchmark problems relevant in both fields - approaches to tackle Benchmark problems like the Winograd Schema Challenge or the COPA challenge - 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 The workshop is part of the FAIM workshop program located at the Federated Artificial Intelligence Meeting (FAIM) which includes the major conferences IJCAI, ECAI, ICML, AAMAS, ICCBR and SoCS. The Bridging workshop is supported by IFIP TC12. IMPORTANT DATES Full Paper submission deadline: 25th of April, 2018 Notification: 3rd of June, 2018 Final submission: 17th of June, 2018 Workshop: July 2018 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to IJCAI guidelines. The length should not exceed 6 pages excluding references. All papers must be submitted in PDF. Formatting instructions and the style files can be obtained from http://www.ijcai.org/authors_kit. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2018 PROCEEDINGS Proceedings of the workshop will be published as CEUR workshop proceedings. ORGANIZERS Ulrich Furbach, University of Koblenz Sageet Khemlani, Naval Research Laboratory, Washington DC Oliver Obst, Western Sydney University Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz PROGRAM COMMITTEE - Emmanuelle Diez Saldanha, University of Dresden - Ulrich Furbach, University of Koblenz - Steffen Hoelldobler, University of Dresden - Antonis C. Kakas, University Cyprus, Cyprus - Gabriele Kern-Isberner, TU Dortmund - Sangeet Khemlani, Naval Research Lab, USA - Robert A. Kowalski Imperial College London, GB - Oliver Obst, Western Sydney University - Luis Moniz Pereira, Universidade Nova Lisboa, Portugal - Marco Ragni, University of Freiburg - Claudia Schon, University of Koblenz - Frieder Stolzenburg, Harz University of Applied Sciences - to be completed Contact: Claudia Schon, schon@uni-koblenz.de -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs