The 1st International Workshop on
Knowledge Representation for Hybrid Intelligence
Amsterdam, The Netherlands
June 14th, 2022
KR4HI is the first International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with the first international conference on Hybrid-Human Artificial Intelligence (HHAI 2022). The workshop will be held in Amsterdam (Vrije Universiteit Amsterdam) on June 14th, 2022.
As artificial intelligence (AI) technologies are playing more important roles in our daily lives than ever before, designing intelligent systems which can work with humans effectively (instead of replacing them) is becoming a central research theme, giving rise to hybrid intelligence (HI). HI stands for combining human and machine intelligence as a team in various scenarios, aiming to benefit from the complementary powers of both components in solving problems.
Developing such systems requires fundamentally novel solutions to major research problems in AI: current AI systems outperform humans in many cognitive tasks e.g., in pattern recognition or in playing video games, yet they fall short when it comes to tasks such as causal modelling, common sense reasoning, and behavioural human capabilities such as explaining its own decisions, adapting to different environments, adaptability to multiple contexts, collaborating with other human agents, etc. A particular challenge in developing such systems is to work with human input (high-level symbolic constraints or behavioural data).
Knowledge representation (KR) as a sub-discipline of AI, deals with representing background knowledge and reasoning with symbolic constraints. KR has a key potential for contributing to the development of HI systems, because it naturally brings human understanding and formal semantics (the understanding of machines) together. With this idea in mind, we welcome a wide array of works that use a KR formalism (or develop one) in an HI scenario. These works can range from purely theoretical to applied, or from purely symbolic to neural-symbolic ones, e.g., from “learning systems which take human demonstrations and symbolic constraints into account” to “explainable AI systems that generate symbolic explanations for humans” or can be in the context of socio-technical systems which hybrid intelligence naturally falls under.
Title: Autonomous Systems in the Intersection of Reinforcement Learning, Controls, and Formal Methods
Ufuk Topcu is an Associate Professor in the Department of Aerospace Engineering and Engineering Mechanics at The University of Texas at Austin, where he holds the W. A. "Tex" Moncrief, Jr. Professorship in Computational Engineering and Sciences I. He is a core faculty member at the Oden Institute for Computational Engineering and Sciences and Texas Robotics and the director of the Autonomous Systems Group. Ufuk obtained his Doctor of Philosophy degree from the University of California, Berkeley in 2008. Prior to joining The University of Texas at Austin, he was with the Department of Electrical and Systems Engineering at the University of Pennsylvania. He was a postdoctoral scholar at the California Institute of Technology until 2012. Ufuk’s research focuses on the theoretical and algorithmic aspects of the design and verification of autonomous systems, typically in the intersection of formal methods, reinforcement learning, and control theory. He takes a relatively broad view on autonomy and tends to tackle abstract problems motivated by challenges cutting across multiple applications of autonomy. His research contributions have been recognised by the NSF CAREER Award, the Air Force Young Investigator Award, the IEEE CSS Antonio Ruberti Young Researcher Prize, and Oden Institute Distinguished Researcher Award. He is a member of the Computing Community Consortium Council.
Title: Knowledge Representation for Hybrid Reasoning with Arguments and Evidence
Theme of Submission
The workshop has an interdisciplinary theme and welcomes any work from any discipline which uses a KR formalism in a HI scenario. The relevant themes to be used in a HI scenario include but are not limited to:
Submission deadline: ̶A̶p̶r̶i̶l̶ ̶1̶4̶t̶h̶ May 1st, 2022 (AoE)
Notification of acceptance: June 2nd, 2022
Workshop date: June 14th, 2022
Submission format: Submissions for contributing papers must be original (i.e., not submitted to any other venue) and are required to be in CEUR format (see http://ceur-ws.org/HOWTOSUBMIT.html) with 12 pages + references (incl. acknowledgements +supplementary material if necessary). Previously published articles or preliminary works can also be submitted in the form of extended abstracts (2 pages + references).
Submission link: Submissions are to be made via the EasyChair: https://easychair.org/conferences/?conf=kr4hi.
The review process: The review process will be carried out as single-blind.
Attendees (virtual or physical) should be registered via the website (https://www.hhai-conference.org/). The attendance fee is 100EUR for regular and 75 EUR for students. in case of applying for mini-scholarship for travel expenses, please contact Erman Acar (firstname.lastname@example.org or email@example.com).
Event Location: VU Amsterdam, Main-building (Hoofdgebouw), Room: HG-02A36(31/15T)
Erman Acar (Leiden University & Vrije Universiteit Amsterdam)
Thomas Bolander (Technical University of Denmark)
Ana Ozaki (University of Bergen)
Rafael Peñaloza (University of Milano-Bicocca)