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.


Motivation

As artificial intelligence (AI) technologies 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 the formal semantics (the understanding of machine) 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., “learning systems which consider 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 in which hybrid intelligence inherently falls under.



Theme of Submission

The workshop has an interdisciplinary theme and is intended to welcome any work from any discipline which uses a KR formalism in a HI scenario.

The relevant KR formalisms to be used/motivated in an HI scenario include but are not limited to:

• Argumentation Frameworks

• Automated Reasoning and Planning

• Causal Inference and Contextual Reasoning

• Epistemic Logics and Theory of Mind

• Formal or Applied Ontologies (Knowledge Graphs, Description Logics)

• Non-monotonic Reasoning (Answer-set Programming, Datalog)

• Models of uncertainty (Probabilistic Graphical models, Probabilistic/Fuzzy Logics)

• Temporal logics (Single-agent / Multiagent Logics)

• Preferential Reasoning

• Formal Concept Analysis

• Constraint Programming


Important Dates

Submission deadline: April 1st, 2022 (AoE)

Notification of acceptance: April 29th, 2022

Workshop date: June 14th, 2022


Submission Guidelines

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 (+supplementary material if necessary), and anonymised. Previously published articles can 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, that is the authors are required to make their submissions anonymised. (Extended abstract submission are exempt from that restriction.)

Publication

Accepted papers will be published in CEUR workshop proceedings. Selected papers will be further invited for (extended version) submission to a special issue of the journal AI Communications.


Organising Committee

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)