A Complete and Recursive Feature Theory

Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions considered in this paper are the possibly quantified first-order formulae obtained from a signature of binary and unary predicates called features and sorts, respectively. We establish a first-order theory FT by means of three axiom schemes, show its completeness, and construct three elementarily equivalent models. One of the models consists of so-called feature graphs, a data structure common in computational linguistics. The other two models consist of so-called feature trees, a record-like data structure generalizing the trees corresponding to first-order terms. Our completeness proof exhibits a terminating simplification system deciding validity and satisfiability of possibly quantified feature descriptions.Comment: Short version appeared in the 1992 Annual Meeting of the Association for Computational Linguistic

Künstliche Intelligenz für die Energiewirtschaft

KÜNSTLICHE INTELLIGENZ FÜR DIE ENERGIEWIRTSCHAFT Künstliche Intelligenz für die Energiewirtschaft (Rights reserved) ( -

Modelling dialogue: Challenges and Approaches

Schlangen D. Modelling dialogue: Challenges and Approaches. Künstliche Intelligenz. 2005;3/05:23-28

Explaining AI: Are We Ready For It?

Wrede B. Explaining AI: Are We Ready For It? Künstliche Intelligenz. 2020;34(1):1-3

Bedeutung der künstlicher intelligenz für verbesserung des alltags

Immer mehr Menschen nutzen künstliche Intelligenz: Sprachassistenten in Smartphones, Auto-Navigationssysteme, Gesichtserkennung für Foto- und Videoanwendungen und so weiter. Aber nur wenige wissen, wie und wo künstliche Intelligenz sie schon heute im Alltag umgibt und was die besonders macht

Coresets-Methods and History: A Theoreticians Design Pattern for Approximation and Streaming Algorithms

We present a technical survey on the state of the art approaches in data reduction and the coreset framework. These include geometric decompositions, gradient methods, random sampling, sketching and random projections. We further outline their importance for the design of streaming algorithms and give a brief overview on lower bounding techniques

Digitale Welt

Dieses Dossier wirft die Frage auf, welche Wirkung das digitale Zeitalter auf die Menschen hat und zeigt, welcher Zusammenhang zwischen der Philosophie und der Informationstechnologie besteht: Privatsphäre im Internet, künstliche Intelligenz, Computerethik und auch in Bezug auf Datenschutzfragen