Spain

ECAI 2020

Studying lack of information through type-2 fuzzy strong negation

strong negations

lack of information

type-2 fuzzy sets

fuzzy systems

ECAI2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI, including:




**An extensive programme of workshops, tutorials, and invited speakers**

**The Prestigious Applications of Intelligent Systems conference (PAIS)**

**The Frontiers in AI track sessions**

**The Lab To Market event**

**The Women in AI time**

**The EU Challenges forum**

… and many more!

The purpose of the AAAI conference series is to promote research in Artificial Intelligence (AI) and foster scientific exchange between researchers, practitioners, scientists, students, and engineers across the entirety of AI and its affiliated disciplines. AAAI-23 is the Thirty-Seventh AAAI Conference on Artificial Intelligence. The theme of this conference is to create collaborative bridges within and beyond AI. Like previous AAAI conferences, AAAI-23 will feature technical paper presentations, special tracks, invited speakers, workshops, tutorials, poster sessions, senior member presentations, competitions, and exhibit programs, and two new activities: a Bridge Program and a Lab Program. Many of these activities are tailored to the theme of bridges and all are selected according to the highest standards, with additional programs for students and young researchers. 
AAAI is providing you with a conference planner, which you can use to help organize your itinerary of activities. This includes talks to attend in person, talks to attend remotely, breaks with colleagues and your site seeing activities. To access this conference planner, please go to [https://aaai-2023.takemobi.io](https://aaai-2023.takemobi.io).

In order to access this site, you need to register. If you haven't already, please register [here](https://aaai.org/Conferences/AAAI-23/registration/).


AAAI 2023

The purpose of the AAAI conference series is to promote research in Artificial Intelligence (AI) and foster scientific exchange between researchers, practitioners, scientists, students, and engineers across the entirety of AI and its affiliated disciplines.

technical paper

A Syntactic Approach for Privacy-Preserving Federated Learning

Segmented Tables: an Efficient Modeling Tool for Constraint Reasoning

Within the autonomous driving domain, there is now a  clear need and tremendous potential for hybrid solutions (e.g., integrating  semantics, learning, visual computing) towards fulfilling essential  legal and ethical responsibilities involving explainability (e.g.,  for diagnosis), human-centred AI (e.g., interaction design), and industrial  standardisation (e.g, pertaining to representation, realisation  of rules & norms). In these contexts, this highlight paper positions
 recent research from IJCAI 2019 aimed at advancing humancentred  AI principles in the backdrop of the autonomous driving  application domain. From a technical viewpoint, the highlighted research  provides a model for advancing the state of the art in reasoning
 about space and motion, combining reasoning and learning, nonmonotonic  reasoning, and computational modelling of high-level visuospatial  commonsense. In addition to demonstrating the significance  of integrated vision and semantics solutions in autonomous  driving, we also highlight open questions emphasising the need for  interdisciplinary mixed-methods research –involving AI, Psychology,  HCI– to better appreciate the complexity and spectrum of varied
 human-centred challenges in diverse naturalistic driving situations.

Driven by Commonsense: On the Role of Human-Centred Visual Explainability for Autonomous Vehicles

The Winograd Schema Challenge (WSC) was proposed  by Levesque et al. in 2011 as a new test in Artificial Intelligence (AI)  and possibly as an alternative to the Turing test. WSC is a complex
 coreference resolution task which requires applying knowledge on  commonsense reasoning. It is an easy task for humans but it still remains  an unsolved challenge for computers. There are two categories  of proposed approaches for tackling the WSC. The first encompasses  techniques based on formalized Knowledge Representation and Reasoning  (KRR), while the second entails Machine Learning (ML)  approaches. In this paper we provide a review of the state-of-theart
 approaches proposed from both categories and we outline their  strengths and weaknesses. Additionally, we discuss a recent work  which combines techniques from both categories as it seems to be a  promising and innovative approach.

Review of the Recent Techniques for Learning Commonsense Knowledge applied to the Winograd Schema Challenge

In ongoing work we reuse existing higher-order automated reasoning infrastructure for seamlessly combining and reasoning with different non-classical logics (modal, deontic, epistemic, paraconsistent, etc.), particularly suited for normative reasoning. Our work illustrates, in particular, the utilisation of the Isabelle/HOL proof assistant for the representation and formal assessment of linguistically complex ethical arguments. Our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive, formal encodings of complex ethical theories and their automation on the computer are no longer antipodes.

Normative Reasoning with Expressive Logic Combinations

This paper provides an overview of an architecture based on the principle of step-wise refinement for knowledge representation, explainable reasoning, and interactive learning, in robotics. We briefly describe the individual components of the architecture, and emphasize how the interplay between representation, reasoning, and learning, can be exploited to enable reliable and efficient decision making in dynamic domains

REBA-KRL: Refinement-based Architecture for Knowledge Representation, Explainable Reasoning, and Interactive Learning in Robotics

The problem of reasoning with context dependent knowledge has recently gained interest in the area of description logic based knowledge bases (KBs). Among the several proposals, we consider the Contextualized Knowledge Repository (CKR) framework. The CKR model has been recently extended with the capability of reasoning with global (context independent) defeasible axioms that can be overridden by local (context specific) knowledge. In CKR applications it is often useful to reason over a hierarchical organization of contexts. We highlight here our recent efforts on extending the CKR framework to allow for the representation of exception handling in the inheritance of knowledge across local contexts. We first concentrate on a limitation to a particular kind of context organization, i.e. ranked hierarchies, which allows us to simplify the definition of reasoning procedures.We then further generalize the proposal to extend the reasoning on exception handling over general contextual hierarchies.

Reasoning with Justifiable Exceptions in Contextual Hierarchies

Leo-III is an effective automated theorem prover for extensional type theory with Henkin semantics. It is based on an extensional higher-order paramodulation calculus and supports reasoning in monomorphic and rank-1 polymorphic first-order and higher-order logics. Leo-III also automates various non-classical logics, including almost every normal higher-order modal logic.

Studying lack of information through type-2 fuzzy strong negation

Next from ECAI 2020

A Syntactic Approach for Privacy-Preserving Federated Learning

Similar lecture

Securing Secure Aggregation: Mitigating Multi-Round Privacy Leakage in Federated Learning

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES