KI - Künstliche Intelligenz

German Journal on Artificial Intelligence - Organ des Fachbereichs "Künstliche Intelligenz" der Gesellschaft für Informatik e.V.

ISSN: 0933-1875 (Print) 1610-1987 (Online)

Description

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society – with contributions from throughout the field of artificial intelligence. The journal presents all relevant aspects of artificial intelligence – the fundamentals and tools, their use and adaptation for scientific purposes, and applications which are implemented using AI methods – and thus provides the reader with the latest developments in and well-founded background information on all relevant aspects of artificial intelligence. For all members of the AI community the journal provides quick access to current topics in the field and promotes vital interdisciplinary interchange.

Preview:

Algorithmic Challenges and Opportunities of Big Data

Computer systems pervade all parts of human activity and acquire, process, and exchange data at a rapidly increasing pace. As a consequence, we live in a big data world where information is accumulating at an exponential rate and complexity, and often the real problem has shifted from collecting enough data to dealing with its impetuous growth and abundance when going through it to mine relevant or pertinent information. In fact, we often face poor scale-up behavior from algorithms that have been designed based on models of computation that are no longer realistic for big data. This implies challenges like algorithmic exploitation of parallelism (multicores, GPUs, parallel and distributed systems, etc.), handling external and outsourced memory as well as memory-hierarchies (clouds, distributed storage systems, hard-disks, flash-memory, etc.), dealing with large scale dynamic data updates and streams, compressing and processing compressed data, approximation and online processing respectively mining under resource constraints, increasing the robustness of computations (e.g., concerning data faults, inaccuracies, or attacks) or reducing the consumption of energy by algorithmic measures and learning. Only then big data will truly open up unprecedented opportunities for both scientific discoveries and commercial exploitation in Artificial Intelligence, Geoscience, Social Web, Finance, e-Commerce, Health Care, Environment and Climate, Physics and Astronomy, Chemistry, Agriculture, Life Sciences and Digital Libraries, among other domains.
The aim of the special issue is to collect overview articles on important state-of-the-art algorithmic foundations and applications, as well as articles on emerging trends for the future of big data.

Prof. Dr. Kristian Kersting
Technical University of Dortmund, Germany
E-mail: kristian.kersting@cs.tu-dortmund.de

Prof. Dr. Ulrich Meyer
Goethe Universität Frankfurt am Main, Germany
Institut für Informatik
umeyer@cs.uni-frankfurt.de

Answer Set Programming Unleashed

 

Answer Set Programming (ASP) has become a popular paradigm for Knowledge Representation and Reasoning (KRR), in particular, when it comes to solving knowledge-intense combinatorial (optimization) problems. The growing popularity of ASP in research and application domains rests upon the following pillars. First, ASP builds upon a simple yet rich modelling language with clear semantics that offers, for instance, cardinality and weight constraints as well as means to express multi-objective optimization functions. Second, all these constructs are well supported by highly performant solving technology leading to seamless support of such constraints along with sophisticated optimization algorithms.

Finally, a primary asset of ASP is its versatility, arguably elicited by its roots in KRR and AI: ASP offers complex reasoning modes for enumerating, intersecting, or unioning solutions, as well as combinations thereof, e.g., intersecting all optimal solutions. ASP can be looked at from different perspectives. For one, it can be seen as the computational embodiment of nonmonotonic reasoning. Similarly, it can be regarded as an extension of propositional logic and its solving machinery with closed world reasoning. For another, it can be viewed as an extension of database systems with possibly recursive rules. And although its original semantics was proposed to capture logic programs, its logical foundations have meanwhile been traced back to constructive logics.

This particular combination of different paradigms along with the aforementioned versatility made ASP a successful tool in AI research with a wide range of applications in academia as well as industry. Starting with an introduction to the essentials of ASP and its logical foundations, the special issue includes several articles on salient application areas

of ASP. This is accompanied with interviews reflecting its upbringing from the early days of AI to modern off-theshelf ASP engines. And last but not least, the special issue features several reports from the field.

 

Torsten Schaub

University of Potsdam

torsten@cs.uni-potsdam.de

Stefan Woltran

TU Wien

woltran@dbai.tuwien.ac.at

Browse Volumes & Issues