Potsdam Institute for Climate Impact Research (PIK)
Interdisciplinary Center for Dynamics of Complex Systems (University of Potsdam)
Cardiovascular Physics Group (Humboldt-Universität zu Berlin)
PIK Logo
TOCSY - Toolboxes for Complex Systems
PIK/ Antique/ Blue
Home Home
ACE - Nonlinear Regression Analysis ACE
Adaptive Filtering Procedure Adaptive Filtering
CoinCalc - Event Coincidence Analysis CoinCalc
COPRA - Constructing Proxy Records From Age Models COPRA
Cross Recurrence Plot Toolbox CRP Toolbox
Commandline Recurrence Plots Commandline RPs
Analyse Coupling of Transient Dynamics Coupling Analysis
Identification of Coupling Direction Coupling Direction
Inner Composition Alignment IOTA
Dynamical Invariants by Recurrence Plots K2
Toolbox for the analysis of non-equidistantly sampled time series NEST
DSProlog DSProlog
PECUZAL PECUZAL
Permutation Entropy PETROPY
pyunicorn ‐ UNIfied COmplex Network and Recurrence aNalysis toolbox pyunicorn
Symbolic Dynamics from Recurrence Plots RECGRAM
Recurrence Plots for MATLAB RP
Recurrence Structure Analysis RSA
Wavelet and Coherence Analysis SOWAS
System Identification Tool System Identification
Time Series Graph and Momentary Information Transfer Estimation TiGraMITe

DSProlog

Version 1.2 / February 2008

DSProlog is an experimental knowledge discovery support environment (KDSE) for knowledge discovery in PCM-data. Also, it may be seen as an integrated development environment (IDE) for design, implementation and test of subsymbolic and symbolic classifier systems for deterministic patterns in PCM-signals (e.g. in audio-signals).

Tools provided by DSProlog cover the following areas:

  • interactive classifier system design,
  • data mining large PCM-file collections,
  • similarity based retrieval of PCM-data,
  • spectrographic subsymbolic classifier systems,
  • hierarchical symbolic classifier systems,
  • template based initialization of classifier systems,
  • scientific visualization of PCM-data, classifiers and classifier decisions,
  • database access to classifier decisions (SQL supported),
  • automated annotation of deterministic events in PCM-signals,
  • integrated project management,
  • filtering, visualization, browsing and sonification of PCM-data,
  • interfacing with ISO-Prolog.

The name DSProlog is a combination of DSP - digital signal processing - and Prolog, a logic programming language created around 1972 by Alain Colmerauer and Philippe Roussel. The idea behind DSProlog is, that classifiers for complex patterns in signals may be represented as expressions in declarative logic and be computed in a similar way than Prolog predicates are. DSProlog is a way to bridge the gap between dense PCM-data and symbolic descriptions of deterministic patterns in the signal.


Example: Creating a symbolic classifier for a sweep


Step 1: Create spectrogram of wavelet (dt = 20ms)




Step 2: Derive subsymbolic classifier from spectrogram




Step 3: Annotate sweep (dt = 600ms) with subsymbolic classifier




Step 4: Derive symbolic classifier from set of annotations




Conditions and License

Currently, the software is provided on the basis of a strict non-commercial research-cooperation agreement. Users will have to take on a little job in order to advance the project. Currently open jobs are: proofreading the manual, creating standardized PCM-data sets (with simple waveform patterns like sweeps and clicks) and testing the software. Please contact Dr. Sebastian Huebner: sebastian@sejona.de


References

  1. DSProlog - Quick Reference Manual (Version 1.1)
  2. Programming classifier systems in DSProlog - Tutorial (Version 0.0.1)
  3. Hübner, S.: Wissensbasierte Modellierung von Audio-Signal-Klassifikatoren. Zur Bioakustik von Tursiops truncatus, Doctoral Thesis, University of Potsdam, 2007.
  4. Hübner, S.: Wissensbasierte Modellierung von Klassifikatoren für Zeit-Frequenz-Muster in PCM-Daten, Logos Verlag, Berlin, ISBN 978-3-8325-1596-6, 2007, url:http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=1596&lng=deu&id=.
  5. Hübner, S.: Bioacoustic Classifier System Design as a Knowledge Engineering Problem, Conference contribution at the International Expert Meeting on IT-Based Detection of Bioacoustical Patterns, Vilm, 2007 url:http://www.tierstimmen.org/meeting_vilm2007.

Author

Sebastian Huebner


© 2004-2023 SOME RIGHTS RESERVED
University of Potsdam, Interdisciplinary Center for Dynamics of Complex Systems, Germany
Potsdam Institute for Climate Impact Research, Complexity Science, Germany

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Germany License.
Imprint, Data policy, Disclaimer, Accessibility statement

Please respect the copyrights! The content is protected by the Creative Commons License. If you use the provided programmes, text or figures, you have to refer to the given publications and this web site (tocsy.pik-potsdam.de) as well.

@MEMBER OF PROJECT HONEY POT
Spam Harvester Protection Network
provided by Unspam