8,681 research outputs found
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
- …