Science

Pieter

Current research interests:

  • Philosophy of information
  • Information, Cognition and Art

Some Publications

Cover Handbook of Philosophy of Information Cover Data Mining Managing Client/Server Cover Robot op Zee Cover Painting for the Brain

Bibliography

20's

  • Daan van  den  Berg, Pieter Adriaans, Subset Sum and the Distribution of Information,  ‘https://bit.ly/3wm34v2.’  13th International Conference on Evolutionary Computation Theory and Applications, 2021.
  • P.W. Adriaans,  Differential information theory,  ‘https://arxiv.org/abs/2111.04335.’  ArXiv, 2021.  
  • P.W. Adriaans ,  A computational theory of meaning , in ‘Advances in Info-Metrics: Information and Information Processing across Disciplines.’  Editors: Min Chen, Michael Dunn, Amos Golan and Aman Ullah, OUP, 2020.  

10's

00's

  • P.W. Adriaans , Between Order and Chaos: The Quest for Meaningful Information, Theory of Computing Systems, Volume 45 , Issue 4 (July 2009), Special Issue: Computation and Logic in the Real World; Guest Editors: S. Barry Cooper, Elvira Mayordomo and Andrea Sorbi Pages 650-674, 2009
  • Adriaans, P. Vitanyi, P., Approximation of the Two-Part MDL Code, Comput. Sci. Dept., Univ. of Amsterdam, Amsterdam; Information Theory, IEEE Transactions on, Volume: 55, Issue: 1, On page(s): 444-457. 2009
  • P.W. Adriaans, J.F.A.K. van Benthem (eds.), Handbook of Philosophy of Information, Elseviers Science Publishers, 2008
  • P.W. Adriaans, The philosophy of learning, the cooperative computational universe. Pdf, in Handbook of Philisophy of Information, P.W.Adriaans, J.F.A.K. van Benthem (eds.), Elseviers Science Publishers, 2008
  • S. Katrenko and P. Adriaans. A Local Alignment Kernel in the Context of NLP. In Proceedings of the 22nd International Conference on Computational Linguistics (Coling), 2008.
  • S. Katrenko and P. Adriaans. Semantic Types of Some Generic Relation Arguments: Detection and Evaluation. In Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies (ACL/HLT), 2008.
  • S. Katrenko and P. Adriaans. Qualia Structures and their Impact on the Concrete Noun Categorization Task. In Proceedings of the "Bridging the gap between semantic theory and computational simulations" workshop at ESSLLI 2008.
  • S. Katrenko and P. Adriaans. Named Entity Recognition for Ukrainian: A Resource-Light Approach. In Proceedings of the BSNLP workshop, ACL 2007.
  • S. Katrenko and P. Adriaans. Using Semi-Supervised Techniques to Detect Gene Mentions. In Proceedings of the Second BioCreative Challenge Workshop, April 2007.
  • P.W. Adriaans, Learning deterministic DEC grammars is learning rational numbers, In Proceedings of the 8th International Colloquium on Grammatical Inference (ICGI). Lecture Notes in Artificial Intelligence, Sakaibara, Y.; Kobayashi, S.; Sato, K.; Nishino, T.; Tomita, E. (Eds.). Tokyo, Japan, September 21, 2006. LNAI, vol. 4201
  • P.W. Adriaans, C. Jacobs, Using MDL for grammar induction, , In Proceedings of the 8th International Colloquium on Grammatical Inference (ICGI). Lecture Notes in Artificial Intelligence, Sakaibara, Y.; Kobayashi, S.; Sato, K.; Nishino, T.; Tomita, E. (Eds.). Tokyo, Japan, September 21, 2006. LNAI, vol. 4201
  • P.W. Adriaans, SSTT, Speed Search in Truth Tables, a complete inductive approach to SAT, in Proceedings of the Fifteenth Dutch-Belgian Conference on Machine Learning (Benelearn), 2006.
  • S. Katrenko, and P. Adriaans. Grammatical Inference in Practice: A Case Study in the Biomedical Domain. In Proceedings of the 8th International Colloquium on Grammatical Inference (ICGI). Lecture Notes in Artificial Intelligence, Sakaibara, Y.; Kobayashi, S.; Sato, K.; Nishino, T.; Tomita, E. (Eds.). Tokyo, Japan, September 21, 2006. LNAI, vol. 4201
  • S. Katrenko, and P. Adriaans. Using Maximal Embedded Syntactic Subtrees for Textual Entailment Recognition. Proceedings of RTE-2 workshop, 2006.
  • Frank Terpstra, Pieter Adriaans, "Designing Workflow Components for e-Science," /e-science/, p. 10, Second IEEE International Conference on e-Science and Grid Computing (e-Science'06), 2006.
  • S. Katrenko and P. Adriaans. Pattern Acquisition from the Dependency Paths (Extended Abstract). Presented at the workshop "Ontologies in Text Technology", Osnabrück, Germany, September 28, 2006.
  • S. Katrenko, M. Scott Marshall, Marco Roos and Pieter Adriaans. Learning Biological Interactions from Medline Abstracts. (Extended Abstract) In Proceedings of the 18th Belgian-Dutch Conference on Artificial Intelligence (BNAIC-2006), Namur, Belgium, October 2006.
  • S. Katrenko and P. Adriaans. Learning Relations from Biomedical Corpora Using Dependency Tree Levels. In Proceedings of the Fifteenth Dutch-Belgian Conference on Machine Learning (Benelearn), Ghent, Belgium, May 12, 2006.
  • S. Katrenko and P. Adriaans. Using Maximal Embedded Syntactic Subtrees for Textual Entailment Recognition. In Proceedings of RTE-2 workshop, Venice, Italy, April 10, 2006.
  • Sophia Katrenko, M. Scott Marshall, Marco Roos and Pieter Adriaans. Learning Biological Interactions from Medline Abstracts. In Proceedings of the ICML'05 workshop "Learning Language in Logic", Bonn, Germany, August 7, 2005.
  • P. Adriaans De filosofie van het leren’ in Blind Interdiciplinair tijdschrift. Januari 2006.
  • P.Adriaans, Onderwijs wordt met kruideniers mentaliteit gewogen, Automatisering Gids, 8 april 2005.
  • P.Adriaans, Informatica als de wetenschap van alles, Automatisering Gids, 25 februari 2005.
  • Lavrac, N., Motoda, H., Fawcett, T., Holte, R., Langley, P., & Adriaans, P. Lessons learned from data mining applications and collaborative problem solving. Machine Learning, 57, 13-34, 2004.
  • Adriaans, P. & Zaanen, M. van Computational Grammar Induction for Linguists. Grammars; special issue with the theme "Grammar Induction", 7, 57-68, 2004.
  • Adriaans, P., Fernau, H., Higuera, C. de la & Zaanen, M. van Introduction to the Special Issue on Grammar Induction. Grammars; special issue with the theme "Grammar Induction", 7, 41-43, 2004
  • Pieter Adriaans, Robot op zee, Amsterdam, Boom, 2003.
  • Pieter Adriaans, Backgrounds and General Trends. In Dealing with the Data Flood (pp. 16-25). The Hague: STT Beweton, 2002.
  • Pieter Adriaans, Data mining in industry, lessons learned, in Machine Learning Journal, to appear.
  • Pieter Adriaans, Grammar Induction for Linguists, in Grammars, to appear.
  • Adriaans, Pieter W., From Knowledge-based to Skill-based Systems, Sailing as a machine learning challenge, in Proceedings of the ECML/PKDD 2003, Dubrovnik 2003.
  • Adriaans, Pieter W., Production Control, in Handbook of Data Mining and Knowledge Discovery, Willi Klösgen and Jan M. Zytkow ed., Oxford University Press 2002.
  • Van Aartrijk, Martijn, L., Claudio P. Tagliola and Pieter W. Adriaans, AI on the Ocean: the Robosail project, in ECAI 2002, Frank van Harmelen ed., pg. 653-657, IOS Press 2002.
  • Adriaans, P.W., Backgrounds and General Trends, in Dealing with the Dataflood, Mining Data, Text and Multimedia, Jeroen Meij ed. pg. 16-25, STT Beweton, The Hague, Netherlands, 2002.
  • Adriaans, P.W., Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and applications, 6th Proceedings of the International Colloqium, ICGI 2002. Amsterdam, September, Berlin/Heidelberg: Springer Verlag, 2002.
  • P.W. Adriaans Multimedia: het gezicht van de toekomst, op weg naar een perfecte synergie tussen mens en computer, Next Generation Scenario, Ministerie van Economische zaken, 2002 (www.cic-online.nl/files/NGSmultimedia.pdf)
  • Adriaans, Pieter, Semantic Induction with EMILE, Opportunities in Bioinformatics, TWLT19, Information Extraction in Molecular Biology, Proceedings Twente Workshop on Language Technology 19, ESF Scientific Programme on Integrated Approaches for Functional Genomics, ed. Paul van der Vet et al, pg. 1-6, Enschede, 2001",
  • Zaanen, Menno van and Adriaans, Pieter, Alignment-Based Learning versus EMILE: A Comparison, in Proceedings of the 13th Dutch-Belgian Artificial Intelligence Conference, Ben Kröse et al. De Rode Hoed, Amsterdam, pg. 315-322, 25-26 October 2001.
  • Adriaans, Pieter, Learning Shallow Context-free Languages under Simple Distributions, Algebras, Diagrams and Decisions in Language, Logic and Computation, CSLI/CUP", Ann Copestake and Kees Vermeulen (eds.)", 2001.
  • Adriaans, Pieter and Haas, Erik de, Learning from a Substructural Perspective", Proceedings of the Fourth Conference on Computational Natural Language Learning and of the Second Learning Language in Logic Workshop, Lisbon, Portugal, 2000, Cardie, Claire et al ed., pg. 176--183, September 2000.
  • Adriaans, Pieter and Erik de Haas, Grammar Induction as Substructural Inductive Logic Programming, In Learning Language in Logic (by Cussens, James et al), Lecture Notes in Artificial Intelligence, Vol. 1925, pg. 127-142, Berlin: Springer Verlag, 2000.
  • Trautwein, M.H., Adriaans, P.W., & Vervoort M.R. Towards high speed grammar induction on large text corpora. In G.K. Hlavac. V. Feffrey, & J. Wiederman (Eds.), Lecture Notes SOFSEM 2000: Theory and practice of Informatics, Vol. 1963, Lecture Notes in Computer Science, (pp. 173-186), Berlin: Springer Verlag, 2000.

90's

  • Haas, Erik de and Adriaans, Pieter, Substructural Logic: a unifying framework for second generation datamining algorithms, Proceedings of the Twelfth Amsterdam Colloquium,1999,Dekker, Paul ed. pg. 121-126, University of Amsterdam, ILLC, Department of Philosophy", 1999.
  • Adriaans, Pieter, De mens en moderne communicatiemedia, De kabel: Kafka in de polder by Drake, Anthonie et al., pg. 163-172, 1999.
  • Adriaans, Pieter, Industrial requirements for ML application technology. Proceedings of the Workshop on Machine Learning Application in the real world; Methodogical Aspects and Implications, Engels, Robert et al. ed., Nashville, TN, 1997", International Conference on Machine Learning, ICML97", 1997.
  • Adriaans, Pieter, Filosofische aspecten van het ontwerpen van informatie systemen, Filosofie, tweemaandelijks tijdschrift van de stichting informatie filosofie, vol. 7, pg. 35--38,1997.
  • Adriaans, Pieter, De computer als model en als hulpmiddel, in Techniek en informatisering, het denken van Heidegger, Th.C.W. Oudemans ed., pg. 12-24, 1997".
  • Adriaans, Pieter, Bewustzijn en cognitieve kunstmatige intelligentie, Het Bewustzijn, Bureau Studium Generale of the University Utrecht, 1997, pg. 67-87.
  • Adriaans, Pieter and Knobbe, Arno J., EMILE: Learning Context-free Grammars from Examples, Proceedings of BENELEARN-96, Maastricht",1996", Herik, H.Jaap van den et al ed., pg. 105--115, University Maastricht, The Netherlands, 1996.
  • Adriaans, Pieter, Adaptive System Management, Advances in Applied Ergonomics, Proceedings of the 1st International Conference on Applied Ergonomics, Istanbul Turkey, pg. 485--490, 1996.
  • Senf, Wouter and Adriaans, Pieter, Support for data mining algorithms in a relational environment, Data Warehouse Report,1996,vol. 6, pg. 6-8.
  • Heijer, Eelco den and Adriaans, Pieter. The Application of Genetic Algorithms in a Carreer Planning Environment: CAPTAINS, International Journal of Human-Computer Interaction,1996, volume 8, pg. 343--360, July-August", 1996.
  • Adriaans, Pieter, Predicting pilot bid behavior with genetic algorithms (Abstract), Symbiosis of Human and Artifact, Proceedings of the Sixth International Conference on Human-Computer Interaction, Anzai, Yuichiro et al, (HCI International '95), pg. 1109-1113, Tokyo, Japan, 1995,
  • Pieter Adriaans and Sylvia Janssen and Erik Nomden, Effective identification of semantic categories in curriculum texts by means of cluster analysis, ECML-93, European Conference on Machine Learning, Workshop notes Machine Learning Techniques and Text Analysis, ="Department of Medical Cybernetics and Artificial Intelligence, University of Vienna in cooperation with the Austrian Research Institute for Artificial Intelligence,Vienna, Austria. pg. 37-44,1993".
  • Adriaans, Willem, Pieter, Language Learning from a Categorial Perspective, Phd Thesis, Universiteit van Amsterdam,1992.
  • Adriaans, P.W., A Domain Theory for Categorial Language Learning Algorithms, in Proceedings of the Eighth Amsterdam Colloquium, P. Dekker and M. Stokhof (eds.), University of Amsterdam, 1992. Postscript
  • Adriaans, P.W., Bias in Inductive Language Learning, Proceedings of the ML92 Workshop on Biases in Inductive Language Learning, Diana F. Gordon ed., Aberdeen 1992.
  • Adriaans, Pieter, Visual Programming and Knowledge Manipulation, Proceedings Share Europe Anniversary meeting Amsterdam, Managing your DP Assets", 1991, Share Europe (Seas)", vol. 2", pg. 525-551, 1991.
  • Adriaans, P.W., Categoriale modellen voor kennissystemen, Informatie, maandblad voor gegevens verwerking, pg. 118-126, 1990.

80's

  • Adriaans, Pieter", EMILE (Entity Modelling Intelligent Learning Engine), An experimental interpreter for categorical languages based on generalized semantical resolution and unification, Benelog, Research on and applications of Logic Programming in Belgium and the Netherlands, The contact group Artificial Intelligence of the Belgian National Fund for Scientific Research, Catholic University of Leuven, K.U. Leuven, Department of Computer Science Heverlee, Belgium,1989.
  • Adriaans, P.W., Kategoriale Kennissystemen, in Proceedings AI toepassingen '88, eerste nederlandse conferentie.
  • Adriaans, P.W., Waarheid en Dialoog, Thauma, no. 12, pg. 104-120, 1987.
  • Adriaans, P.W., The Manipulation of Symbols and the Metaphor of the Thinking Machine, La Linea, Leiden, pg. 7-21, 1986.
  • Adriaans, P.W., Taal en solipsisme in de filosofie van J.A. Dèr Mouw, Algemeen Nederlands Tijdschrift voor Wijsbegeerte, no. 1, pg. 1-20, 1986.
  • Adriaans, P.W., Enige notities bij de filosofie van J.A.Dèr Mouw, in Over J.A. dèr Mouw, Beschouwingen, BZZTôH Literair archief, 's Gravenhage, 1984.

Biographical and Background Information

Pieter Willem Adriaans
Professor emeritus University of Amsterdam
Cais das Manadas
9800-036 Manadas
São Jorge
Azores, Portugal
www.pieter-adriaans.com
Mobile Phone     +31 6 54234459, +352 964 643 610
Email: pieter@pieter-adriaans.com

Education
Undergraduate Institution(s) Kandidaats Filosofie, University of Leiden, 1979
Graduate Institution(s) Doctoraal Filosofie, University of Leiden, 1983
University of Amsterdam, Computer Science PhD, 1992

Appointments
1998-2021, Professor, Machine Learning/Artificial Intelligence,
2006-2008 Director IvI, University of Amsterdam
2003-2008 Chairman, CWI (National research center for mathematics and computer science), Amsterdam
1989-2000 Managing Director/Founder Syllogic B.V. 
1985-1989, General Manager of Compu’Disc, General Manager at Info’Products Informatica Diensten
1983-1985, Software Developer, Service Manager at Buro Microsoftware

Honors and Fellowships
Advisory Board, Info-Metrics Institute, American University, Washington D.C. (2010-)
Member AcTI Netherlands Academy of Technology and Innovation (2004-2012)
Member AWT Advisory Council of Science and Technology Policy (2004-2012)
Project Leader Dutch Prognostics and Health Monitoring Joint Strike Fighter (1997-2001)

Graduate Advisors:
Prof. Dr. M.Fresco, emeritus University of Leiden
Prof. Dr. H. Philipse, University of Utrecht
Postdoctoral Sponsors:
Prof. Dr. P.E. Van Emde Boas, emeritus University of Amsterdam

Phd Students
Past:
S. Katrenko, University of Utrecht.
N. Netten, SPIE Nederland B.V.
G. de Vries, University of Amsterdam
W. Mulder, Logica CMG
F. Terpstra, Cap Gemini
P. Bloem, Vrije Universiteit Amsterdam 

 Short Scientific Biography

Pieter Adriaans (1955) attended the Johan de Witt Gymnasium in Dordrecht.  He studied philosophy and mathematics in Leiden, the Netherlands, under Nuchelmans and van Peursen. He was research assistent of Fresco for a while with the study of the philosophical estate of the well known Dutch philosopher and poet Johan Adreas Dér Mouw 1863-1919 as a special assignment. In 1983 he graduated and started to work as a software developer, and later service manager for Buro Microsoftware. In 1985 he became general manager of Compu'Disc and later general manager of Info'Products Informatica Diensten. He has been active in research in the areas of artificial intelligence and relational database systems since 1984. He and his business partner, Dolf Zantinge, founded Syllogic B.V. in 1989. In 1992 Adriaans received a PhD in computer science at the University of Amsterdam, where he has been professor of machine learning/artificial intelligence since 1998. During his years in Syllogic he coordinated and participated in about 200 projects concerning the industrial applications of AI and machine learning techniques. Dolf and Pieter sold Syllogic to Perot Systems (www.perotsystems.com) in 1997, and stayed on as managing directors - a transaction which officially included time off for Pieter to sail the Singlehanded TransAtlantic Race 2000. For this race he developed the Syllogic Sailing Lab, the most advanced open 40 racing yacht around at that time ( www.robosail.com ). In this project he combined his skills in machine learning with his love of sailing to create a racing yacht that could learn to optimize its behavior. He was leading the VL-e (Virtual lab for e-science) project at the institute for computer science at the university of Amsterdam and participated in the Commit project. 

 He holds several patents on adaptive systems management and on a method for automatic composition of music using grammar induction techniques. Adriaans acted as project leader for various large international R&D projects: amongst others, the development of distributed database management software in co-operation with IBM and Prognostic and Health management for the Joint Strike Fighter. He wrote numerous articles and a number of books on topics related to both computer science and philosophy, including a book on systems analysis and books on client/server and distributed databases as well as data mining. He is editor of the Handbook of Philosophy of Information, a project of Elseviers Science Publishers and of the lemma on Information in the Stanford Encyclopedia of philosophy. 

Currently he is primarily interested in Philosophy of Information and learning as data compression using the theory of Kolmogorov complexity as a guiding principle.  In 2008 Adriaans decided to step down from almost all of his managerial responsibilities and dedicate his life to the combination of science and art. He currently lives on th Azores where he exploits a cultural centre (Atelier de Kaasfabriek) on the island of São Jorge with his wife Rini. 

 Some projects

From 1987 till 1992 a team under Adriaans' supervision created OBIS (Opleidingen Beroepen Informatie Systeem) for the SLO (Stichting Leerplan Ontwikkeling) in the Netherlands.  This was a database and expert system facilitating the development of vocational training and education profiles.
As a result of his Phd research he developed the EMILE language learning algorithm and embedded it in a toolbox. 
2002 - At the university of Amsterdam Adriaans developed the course ‘learning and deciding’ in which groups of graduate students cooperate with representatives from industry to solve practical problems on real life data sets using data mining techniques. 
From 1997 till 2005 he supervised the Robosail (www.robosail.com) project, in which a self learning race yacht was built. The project gathered a lot of publicity was used extensively to train students.  
From 2002 till 2007 he was involved as a project leader in the Vl-e project, Virtual lab for e-science. In 2008 he was co-editor of the Handbook of Philosophy of Information (Elseviers Science Publishers).  From 2012 till 2017 he worked in the Commit project. 

 Recent Activities

Originally the chair “Learning and adaptive systems” had a strong industrial component, related to commercial machine learning and data mining activities. In the past decennium after the release of the “Handbook of Philosophy of Information” the focus of attention has shifted to cognition and philosophy of information. In short, his research program is the application of insights of algorithmic complexity theory to the analysis of issues in cognition and philosophy. 

Pivotal is the lemma on information that Adriaans wrote for the Stanford Encyclopedia of Philosophy
(http://plato.stanford.edu/entries/information/).
This article gives, for the first time,

  1. A comprehensive overview of the development of the notion of information from antiquity to modern times, both from the perspective of history of ideas and the development of the terminology.
  2. An extensive analysis of the emergence of the formal notion of information in the 20th century in the context of algorithmic complexity theory.

In the past decade Adriaans has been working on several open problems in philosophy of information, specifically the issue of meaningful information, and the issue of the interaction between information and computation. Some preliminary results have been published (bibliography) but the bulk of the work is still under construction(projects). The research into the definition of meaningful information by means of two-part code optimization(http://arxiv.org/abs/1203.2245) was seriously impaired by the growing concern that an a priori separation of a data set in a structural part and an ad hoc part was not mathematically feasible. In 2017 Adriaans succeeded in proving this conjecture: using generalizations of the Cantor pairing function any data set can be split into any set of parts at constant cost. The results have been published as a book chapter:

  • P. W. Adriaans A computational theory of meaning, Advances in Info-Metrics: Information and Information Processing across Disciplines.’ , Ullah, OUP, 2020.  
  • An extensive paper on the interaction of information and computation is in preparation. A preliminary version can be found at:

  • P. W. Adriaans, Differential information theory, https://arxiv.org/abs/2111.04335. ArXiv, 2021.
  • Apart from this work Adriaans has been involved in a number of smaller projects. Amongst others: 

    Background information 

    In the coming years Adriaans hopes to continue and combine his work as an artist, philosopher and scientist.   His current practice has a strong international orientation and his output consists of scientific papers, books, paintings, exhibitions, and musical performances, courses and lectures. Only a small part of these activities fit in to an academic setting.  In 2015 Adriaans and his wife Rini founded a cultural center at the island of São Jorge on the Azores. The ideal is to combine art, science and business in to a sustainable, eco-friendly, artistically rewarding and financially healthy venture.

    Talks, Keynotes, Workshops

    Projects under construction

    In the past years I have worked on a number of projects but published little. Here is an overview of some of the projects:

    Information theory 

    • A General theory of Information and Computation. In the coming years I will write down a final summary of some of the research projects I have been working on for the past 45 years. The a preliminary version of the first report on the interaction between Information and Computation has been published this week on arXiv. It offers a new perspective on information theor by treating it as a purely mathematical subject.  I'll be teaching a class on part of the material at the ILLC in Amsterdam in January and hope to publish a more robust version in a journal later that year.

    • Some results:
      • It offers unifying perspective on information theory developing the subject as a purely mathematical theory (so no narratives about systems of messages or strings of symbols etc.).  
      • It offers a detailed analysis of the ‘flow of information’ through computational operations: starting with primitive recursion, via elementary arithmetic to polynomial functions and Diophantine equations. So via the MRDP-theorem it is really a general theory about information and computation.
      • The theory leads to many new insights and has interesting applications.

        1. Flow of information through more complex recursive functions like addition and multiplication is not trivial. Most striking observation: information efficiency of addition is not associative: depending on how we compute a sum of a set of numbers we loose different amounts of information during the process. 
        2. This make the Cantor pairing function a universal measuring device that allows us to study infinite collections of partitions of the set natural numbers. More specifically: via the Cantor pairing function and its generalization we can split any data set into any other amount of data sets with constant costs.
        3. This allows us to measure the information in multi dimensional data sets like database tables directly without any conversion costs.
        4. On the down side it shows us that there us no hope of finding an optimal split of a data set in a model part and an ad hoc part: In any theory that contains elementary arithmetic these splits come for free. So two-part code optimization does not work for computational theories rich enough to model elementary arithmetic. This point will be addressed in depth in another paper.
        5. Using the Cantor function we can describe a polynomial time computable bijection between the set of finite sets of natural numbers and N itself.  Thus we have an objective estimate of information in sets of numbers.
        6. Point 3) and 6) give us a tool to measure the information in dimensionless objects like large graphs directly without any conversion costs.
        7.   Combining point 1) and 6) we prove that there is no polynomial function that orders the set of finite sets of numbers on sums: i.e. on can search systematically search for ‘the n-th set of size k’ but not systematically for the ‘n-th set that adds up to k’.
      • Time Symmetry in Turing Machines. Just like in physics in Information theory it makes sense to study systems that live in negative time. I wrote a nice paper about this with Peter van Emde Boas. The work needs to be extended to a full overview of determnistic and non-deterministic computational architectures in positive and negative time. There appears to bee a whole Zoo of systems with different time symmetries. Here is a sketch of a taxonomy
      • Meaningful Information and Creative Systems. I'm currently working on a computational theory of meaning. I discovered that two-part code optimization is not a good technique for separating data in systems that contain elementary arithmatical functions (See the paper on Informartion and Computation: arXiv). So that part of the paper has to be rewritten. The idea is to develop a formal theory of creativity on the basis of this work and apply this to human cognition. See also my work on painting and visual information. Here is the Draft paper. 
      • Information Conservation Principle. Together with Amos Golan I investigated standard prefix-free Kolmogorov complexity in the context of Zellner’s information conservation principle (ICP). We showed that prefix-free Kolmogorov complexity K is not efficient in this sense and proposed a generalized version of Kolmogorov complexity. The paper was accepted at Cie 2014 but I'm not completely happy with the result so I decided to retract it. Here is the draft. In the mean time I have discovered the General Law of Conservation of Information (See the paper on Information and Computation arXiv). So the paper has to be rewritten. 
      • Learning by Eaxample. In order to solve the problems with the previous paper I developed a theory about learning by example: the meaning of an object is the complexity of the simplest  example that identifies the object in a certain context. I was able to prove that this theory satisfies Zellners criterion under some strong conditions. I'll probably merge the two papers at some point in time. Here is the draft.  
      • Storing information in a Computational Mechanism.  An investigation into the cost of storing data in a one tape Turing machine. It turns out to be superlinear under mild assumptions. The paper was accepted at Cie 2015 but I'm still not happy with it so I decided to retract it. Here is the paper. It does allow me to estimate the computing power of various computational models, so in that respect it will be a building block of the theory of meaning project described above. 

      Philosophy

      • Johan Andreas dėr Mouw. The Dutch Poet\Philosopher Johan Andreas dėr Mouw (1863-1919) has been a life long inspiration for me. For the 2014 dėr Mouw symposium I wrote a philosphical analysis of his esthetics. Here is the paper(in Dutch). Inspired by dėr Mouws notion of absolute idealism I have had plans to write a monographs on the history of Solipisism for years. Here are some notes. 

      Current Collaborative Projects

      AAA Data Science,  Using information theory and complex network theory to understand the structure of very large knowledge graphs, with Frank van Harmelen. 

      Recent Collaborative Projects

      • Complexity Measures for e-Science (Wp1, Wp2, Data2Semantics, P23, Commit) FInished in 2015. 
      • Atlas of Complexity Project (Supported by the Templeton Foundation) Finished 2014.

    Patents

    • Adriaans P.W. and Van Dungen. European Patent no. 1.062 656
      A method for automatically controlling electronic musical devices by mean of real-time construction and search of a multi-level data structure.
    • Adriaans et al. United States Patent US 6,311,175 B1
      System and method for generating performance models of complex information technology systems.
    • Adriaans et al. United States Patent US 6,313,390 B1
      A method for automatically controlling electronic musical devices by means of real-time construction and search of a multi-level data structure.
    • Adriaans et al Unites States Patent US 6,393,387 B1
      System and method for model mining complex information management systems.

    Fundamental problems in the study of Information and Computation

    • Open problems with classification
      • * = hard work.
      • ** = vital theory seems to be missing.
      • *** = not even properly understood.
      • **** = nobody has a clue.
      In computer science there is a lack of consensus about what the real successes and what the real open problems are. In this small document I have (for my own entertainment) tried to give an overview from my personal perspective. Names mentioned are just indications. The classification in terms of hardness is of course open for debate. Some computer scientists think the list is a bit too philosophical, some philosophers think it is a bit too technical, so I have probably struck the right balance between the two disciplines. I actually work on problems 1, 3 and 4, on a rainy day I might be thinking about 8 and 9, in periods of extreme hybris I think about 10. Comments and new suggestions are welcome. I will update the list on a regular basis and hope to live to see some of the problems solved.
    • *The problem of defining meaningful information: The biggest problem here is that all well-known information measures (specifically Shannon Information and Kolmogorov complexity) assign the highest information content to data sets with the highest entropy. In this sense a television broadcast with only white noise would contain the most meaningful information. This is counter intuitive. I give the problem only one star because there are a lot of proposals for a form of meaningful information that seem to converge. Some proposals: - Sophistication (Koppel 1988, Antunes, Fortnow 2007) - Logical Depth (Bennet 1988) - effective complexity (Gell-Mann, Lloyd 2003) - Meaningful Information (Vitanyi 2003) - Self-dissimilarity (Wolpert, Mcready 2007) - Computational Depth (Antunes et al. 2006) - Facticty (Adriaans 2009, + unpublished recent work with Duncan Foley and David Oliver). In this last proposal I define facticity as the length of the model code in a two-part code variant of Kolmogorov complexity. I have proved that the facticity is 'symmetrical' in the sense that random data sets as well as very compressible data sets have low facticity. This proposal seems to be richer than (and not in conflict with) the other proposals mentioned. It will be a lot of work to compare these concepts and find out if and how they can be mapped on to each other, but for the moment this seems not impossible.
    • *What is an adequate logic of information? What is a good logical system (or set of systems) that formalizes our intuitions of the relation between concepts like 'knowing', 'believing' and 'being informed of'. Proposals by: Dretske, Van Benthem, Floridi and others. In principle I do not see why these concepts could not be mapped onto our current landscape of known logics (structural, modal), it just seems to be a lot of work. Also the discrepancies between proposed systems can be analyzed within the 'normal science' framework of existing logics. That's why I consider the problem to be relatively easy.
    • ** Finite versus continuous models of nature This problem seems to have bothered the development of a unified theory of information and entropy for the last 150 years or so. The central issue is this: the most elegant models of physical systems are based on functions in continuous spaces. In such models almost all points in space carry an infinite amount of information. Yet, the cornerstone of thermodynamics is that a finite amount of space has finite entropy. What is the right way to reconcile these two views? I believe that the answer is hard because it involves deep questions in (philosophy of) mathematics (an intuitionistic versus a more platonic view). The issue is central in some of the more philosophical discussions on the nature of computation and information (Putnam 1988, Searle 1990). The problem is also related to the notion of phase transitions in the description of nature (e.g. thermodynamics versus statistical mechanics) and to the idea of levels of abstraction (Floridi).
    • ** Computation versus thermodynamics: There is a reasonable understanding of the relationship between Kolmogorov Complexity and Shannon information (Li, Vitanyi, Grunwald, Cover & Thomas), but the unification between the notion of entropy in thermodynamics and Shannon-Kolmogorov information is very incomplete apart from some very ad hoc insights (Landauer bound, Topsoe and Harremoes, Bais and Farmer 2008). What is a computational process from a thermodynamical point of view? What is a thermodynamical process from a computational point of view. Can a thermodynamic theory of computing serve as a theory of non-equilibrium dynamics? I classify this problem as hard because 150 years of research in thermodynamics still leave us a lot of conceptual unclarities in the heart of the theory of thermodynamics itself. It is also not clear how a theory of computation will help us here, although bringing in concepts of theory of computation seems to be promising. Also possible theoretical models could with high probability be corroborated with feasible experiments (e.g. Joule's adiabatic expansion, See Adriaans 2009)
    • ** Classical information versus quantum information Classical information is measured in bits (an abbreviation of an oxymoron: binary digit). Implementation of bits in nature involves macroscopic physical systems with at least two different stable states and a low energy reversible transition process (i.e. switches, relays, transistors). The most fundamental way to store information in nature on an atomic level involves qubits. The qubit is described by a state vector in a two-level quantum-mechanical system, which is formally equivalent to a two-dimensional vector space over the complex numbers. Quantum algorithms have, in some cases, a fundamentally lower complexity (e.g. Shor's algorithm for factorization of integers.) The exact relation between classical and quantum information is unclear. Part of it has to do with our lack of understanding of quantum mechanics and with the question wether nature is essentially deterministic or not. Originally I wanted to call this problem "Wheelers question" because of the following little story about him: Well, one day I was at the Institute for Advanced Study, and I went to Gödel's office, and there was Gödel. It was winter and Gödel had an electric heater and his legs were wrapped in a blanket. I said, "Professor Gödel, what connection do you see between your incompleteness theorem and Heisenberg's uncertainty principe?" And Gödel got angry and threw me out of his office! (John Archibald Wheeler as told to Gregory Chaitin)" This story also shows that the question is quite deep. Most philosophers would not agree with Gödels reactions nowadays.
    • *** Information and the theory of everything: In the past decennia information seems to have become a vital concept in physics. Seth Lloyd and others (Zuse, Wolfram) have analyzed computational models of various physical systems. The notion of information seems to play a major role in the analysis of black holes (Information paradox, Hawking, Bekenstein). I myself have played with the suggestion that a black hole is not only an extreme compression of matter but also of data in the sense of Kolmogorov complexity (unpublished). Albert Verlinde has proposed a theory in which gravity is analyzed in terms of information. For the moment these models seem to be purely descriptive without any possibility of empirical verification. The problem seems to be fundamentally harder than the previous one. Hence the three stars.
    • ***The Church-Turing Hypothesis. We know that a lot of formal systems are Turing equivalent (turing machines, recursive functions, lambda calculus, combinatory logic, cellular automata, to name a few). The question is: does this equivalence define the notion of computation. Some authors believe that new notions of computing (interactive computing (Goldin and Wegner 2007), networked computing) falsify (a strong variant of) the thesis. Others contest this result (Fortnow, personal communication). On the other hand Dershowitz and Gurevich (2008) claim to have vindicated the hypothesis. A lot of conceptual clarification seems necessary, but for now it is unclear how one ever could verify the thesis definitively. The discovery of a system in nature that could actually compute more than a turing machine would imply an immediate falsification, but such a device has not been found up till now, and most researchers deem it unlikely that we ever will. Personally I think that the thesis is still open.
    • ***The tradeoff between information, axiomatization and computation. This problem is relatively unknown and until recently I thought it was reasonably doable, but then I discovered deep connections with problem 10 (unfortunately). This is the reason why I classify the problem as very hard. The central question in recursion theory could be formulated as: How much information does a number contain relative to a certain set of axioms and how long does it take us to prove this. In computer science the same question reads: how complex is a number in relation to some universal Turing machine with a certain functionality and how long does the program run (if it terminates) relative to the functionality of our universal turing machine. The reason for the three stars is that it seems possible to start to develop some theory to solve the problems. Analysis of the nature of the integer complexity function in the theory of Kolmogorov complexity might be a good start. There is also a relation with problem 1 (specifically computational depth).
    • ***Classification of information generating/discarding processes: The central question is: which kind of processes do create which kind of information. Deterministic processes do not create information since their future is known. Information is by definition only created by processes that have a stochastic component. But such processes do not necessarily create any meaningful information. If we have a theory of meaningful information then we can develop a theory of processes that create meaningful information (game playing, creation, evolution, the stock market). The problem is related to Abramsky's Problem: Does computation create information? The situation here is equal to that of problem 8: The problem is relatively unknown and until recently I thought it was reasonably doable, but then I discovered deep connections with problem 10 (again unfortunately). Also here it seems not impossible to make a beginning with the formation of a theory (See: Adriaans and van Emde Boas 2010, Information, computation and the arrow of time). Hence the three stars. Again there is a relation with problem 1.
    • ****P versus NP? Can every problem that can be checked efficiently also be solved efficiently by a computer? See Cooks paper for a good introduction. This problem appears to be very hard, because after about 40 years of research nobody has any idea of where to start. We seem to have only negative results that tell where 'not' to look. There is no research program that I could think of that would add with certainty anything useful to our understanding of this problem. I suspect that a solution to this problem would imply or at least influence the solution for some other problems in this list (problems 1, 3, 7, 8 and 9 specifically).
    • Reasonable successes (there are many others):
      • Theory of computability and decidability (Peano, Godel, Turing, Church etc.)
      • Relation between information and probability (Shannon, Fisher, Kullback-Leibler, Solomonov, Chaitin, Kolmogorov, Hutter etc.)
      • Theory of optimal coding (Shannon, Solomonov)
      • A whole load of useful algorithms with a good understanding of their complexity (See e.g. Knuth).
      • Elegant architectures for various database paradigms: Relational, OO, RDF etc.
      • Scalable architectures for large applications (Web, Operating systems etc ).
      • No free lunch theorems (e.g. Wolpert and McReady)
      • Various solutions to variants of the induction problem (Ockam, Bayes, Rissanen, Vapnik-Chervonenkis, Valiant, Gold, Li, Vitanyi, Vereshcha gin, Grunwald) - Minimum Description Length (MDL), - randomness deficiency
      • Unification between Shannon information and Kolmogorov complexity (Li, Vitanyi, Grunwald, Cover & Thomas)