Logo des Repositoriums

Auflistung nach Schlagwort "Automated reasoning"

1 - 3 von 3
  • Zeitschriftenartikel
    Report on “Axiomatizing Conditional Normative Reasoning”
    (KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Parent, Xavier
    This is a report on the project “Axiomatizing Conditional Normative Reasoning” (ANCoR, M 3240-N) funded by the Austrian Science Fund (FWF). The project aims to deepen our understanding of conditional normative reasoning by providing an axiomatic study of it at the propositional but also first-order level. The focus is on a particular framework, the so-called preference-based logic for conditional obligation, whose main strength has to do with the treatment of contrary-to-duty reasoning and reasoning about exceptions. The project considers not only the meta-theory of this family of logics but also its mechanization.
  • Zeitschriftenartikel
    Small is Again Beautiful in Description Logics
    (KI - Künstliche Intelligenz: Vol. 24, No. 1, 2010) Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin
    The Description Logic (DL) research of the last 20 years was mainly concerned with increasing the expressive power of the employed description language without losing the ability of implementing highly-optimized reasoning systems that behave well in practice, in spite of the ever increasing worst-case complexity of the underlying inference problems. OWL DL, the standard ontology language for the Semantic Web, is based on such an expressive DL for which reasoning is highly intractable. Its sublanguage OWL Lite was intended to provide a tractable version of OWL, but turned out to be only of a slightly lower worst-case complexity than OWL DL. This and other reasons have led to the development of two new families of light-weight DLs, $\mathcal{EL}$ and DL-Lite, which recently have been proposed as profiles of OWL 2, the new version of the OWL standard. In this paper, we give an introduction to these new logics, explaining the rationales behind their design.
  • Zeitschriftenartikel
    The CoRg Project: Cognitive Reasoning
    (KI - Künstliche Intelligenz: Vol. 33, No. 3, 2019) Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
    The term cognitive computing refers to new hardware and/or software that mimics the functioning of the human brain. In the context of question answering and commonsense reasoning this means that the reasoning process of humans shall be modeled by adequate technical means. However, since humans do not follow the rules of classical logic, a system designed to model these abilities must be very versatile. The aim of the CoRg project (Cognitive Reasoning) is to successfully complete a reasoning task with commonsense reasoning. We address different benchmarks with focus on the COPA benchmark set (Choice of Plausible Alternatives). Since humans naturally use background knowledge, we have to deal with large background knowledge bases and must be able to reason with multiple input formats and sources in the CoRg system, in order to draw explainable conclusions. For this, we have to find appropriate logics for cognitive reasoning. For a successful reasoning system, nowadays it seems to be important to combine automated reasoning with machine learning technology like recurrent neural networks.