posted by user: sadegh_rk || 560 views || tracked by 4 users: [display]

KR4HI 2022 : The 1st International Workshop on Knowledge Representation for Hybrid Intelligence

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/kr4hi/home
 
When Jun 14, 2022 - Jun 14, 2022
Where Amsterdam, Netherlands
Submission Deadline Apr 1, 2022
Notification Due Apr 29, 2022
Final Version Due May 14, 2022
Categories    as artificial intelligence   knowledge engineering   formal methods   logic
 

Call For Papers

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)

Related Resources

AI 2022   8th International Conference on Artificial Intelligence and Applications
BNAIC/BENELEARN 2022   BNAIC/BENELEARN 2022 : The 34rd Benelux Conference on Artificial Intelligence and the 31th Belgian Dutch Conference on Machine Learning
FM 2023   Formal Methods
AKBC 2022   4th Conference on Automated Knowledge Base Construction (AKBC)
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
CESP 2022   2022 OkIP International Conference on Enterprise and Software Process
ICLA 2022   10th Indian Conference on Logic and its Applications
CFMAI 2022   2022 4th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022)
ISCAI 2022   2022 4th International Symposium on Computing and Artificial Intelligence (ISCAI 2022)
CSL 2022   Computer Science Logic 2023