Logo des Repositoriums

Auflistung nach Schlagwort "Knowledge representation and reasoning"

1 - 3 von 3
  • Zeitschriftenartikel
    Decidability and Complexity of Fuzzy Description Logics
    (KI - Künstliche Intelligenz: Vol. 31, No. 1, 2017) Baader, Franz; Borgwardt, Stefan; Peñaloza, Rafael
    Fuzzy description logics (FDLs) have been introduced to represent concepts for which membership cannot be determined in a precise way, i.e., where instead of providing a strict border between being a member and not being a member, it is more appropriate to model a gradual change from membership to non-membership. First approaches for reasoning in FDLs where based either on a reduction to reasoning in classical description logics (DLs) or on adaptations of reasoning approaches for DLs to the fuzzy case. However, it turned out that these approaches in general do not work if expressive terminological axioms, called general concept inclusions (GCIs), are available in the FDL. The goal of this project was a comprehensive study of the border between decidability and undecidability for FDLs with GCIs, as well as determining the exact complexity of the decidable logics. As a result, we have provided an almost complete classification of the decidability and complexity of FDLs with GCIs.
  • Zeitschriftenartikel
    Defeasible Description Logics
    (KI - Künstliche Intelligenz: Vol. 34, No. 4, 2020) Varzinczak, Ivan
    The present paper is a summary of a habilitation ( Habilitation à Diriger des Recherches , in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stéphane Demri, Hans van Ditmarsch, Sébastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26 November 2019 at Université d’Artois in Lens, France.
  • Zeitschriftenartikel
    Grounding the Interaction: Knowledge Management for Interactive Robots
    (KI - Künstliche Intelligenz: Vol. 27, No. 2, 2013) Lemaignan, Séverin
    The dissertation tackles the broad question of knowledge representation and manipulation for companion robots. It first builds a taxonomy of the knowledge manipulation skills required by service robots, then proposes a novel active knowledge base that integrates into large cognitive architectures, and finally explores several applications, including natural language grounding.