{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:15Z","timestamp":1763466495300,"version":"build-2065373602"},"reference-count":66,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T00:00:00Z","timestamp":1397088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>This review examines some particular, but important and basic aspects of information: Information is related to questions and should provide at least partial answers. Information comes in pieces, and it should be possible to aggregate these pieces. Finally, it should be possible to extract that part of a piece of information which relates to a given question. Modeling these concepts leads to an algebraic theory of information. This theory centers around two different but closely related types of information algebras, each containing operations for aggregation or combination of information and for extracting information relevant to a given question. Generic constructions of instances of such algebras are presented. In particular, the close connection of information algebras to logic and domain theory will be exhibited.<\/jats:p>","DOI":"10.3390\/info5020219","type":"journal-article","created":{"date-parts":[[2014,4,10]],"date-time":"2014-04-10T11:41:08Z","timestamp":1397130068000},"page":"219-254","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["An Algebraic Theory of Information: An Introduction and Survey"],"prefix":"10.3390","volume":"5","author":[{"given":"Juerg","family":"Kohlas","sequence":"first","affiliation":[{"name":"Department of Informatics, University of Fribourg, Bvd. de Perolles 90, CH-1700 Fribourg, Switzerland"}]},{"given":"Juerg","family":"Schmid","sequence":"additional","affiliation":[{"name":"Mathematical Institute, University of Bern, Sidlerstrasse 5, CH-3012 Bern, Switzerland"}]}],"member":"1968","published-online":{"date-parts":[[2014,4,10]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/MEX.1986.4306979","article-title":"Propagating Belief Functions Using Local Computation","volume":"1","author":"Shenoy","year":"1986","journal-title":"IEEE Expert"},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Yager, R.R., and Liu, L. (2008). Classic Works of the Dempster-Shafer Theory of Belief Functions, Springer.","DOI":"10.1007\/978-3-540-44792-4"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","article-title":"Local Computations with Probabilities on Graphical Structures and their Application to Expert Systems","volume":"50","author":"Lauritzen","year":"1988","journal-title":"J. R. Stat. Soc. Ser. B"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0888-613X(89)90009-1","article-title":"A Valuation-Based Language for Expert Systems","volume":"3","author":"Shenoy","year":"1989","journal-title":"Int. J. Approx. Reason."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Kohlas, J., and Moral, S. (2000). Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning, Springer.","DOI":"10.1007\/978-94-017-1737-3_2"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Kohlas, J. (2003). Information Algebras: Generic Structures for Inference, Springer.","DOI":"10.1007\/978-1-4471-0009-6"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Pouly, M., and Kohlas, J. (2011). Generic Inference. A Unified Theory for Automated Reasoning, Wiley.","DOI":"10.1002\/9781118010877"},{"key":"ref_8","unstructured":"Kohlas, J., and Schmid, J. (2013). Research Notes: An Algebraic Theory of Information, Department of Informatics, University of Fribourg. Available online: http:\/\/diuf.unifr.ch\/drupal\/tns\/sites\/diuf.unifr.ch.drupal.tns\/files\/file\/main_0.pdf."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Sommaruga, G. (2009). Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information, Springer. Lecture Notes in Computer Science, Volume 5363.","DOI":"10.1007\/978-3-642-00659-3_10"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G. (1978). General Lattice Theory, Academic Press.","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1360","DOI":"10.1016\/j.artint.2008.03.003","article-title":"Semiring Induced Valuation Algebras: Exact and Approximate Local Computation Algorithms","volume":"172","author":"Kohlas","year":"2008","journal-title":"Artif. Intell."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0012-365X(91)90312-P","article-title":"Quantifiers on Distributive Lattices","volume":"96","author":"Cignoli","year":"1991","journal-title":"Discret. Math."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Halmos, P.R., and Givant, S. (1998). Logic as Algebra, The Mathematical Association of America. Dolciani Mathematical Expositions Book 21.","DOI":"10.1090\/dol\/021"},{"key":"ref_14","unstructured":"Davey, B., and Priestley, H. (1990). Introduction to Lattices and Order, Cambridge University Press."},{"key":"ref_15","unstructured":"Halmos, P.R. (1962). Algebraic Logic, Chelsea."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Plotkin, B. (1994). Universal Algebra, Algebraic Logic, and Databases, Springer. Mathematics and its applications.","DOI":"10.1007\/978-94-011-0820-1"},{"key":"ref_17","unstructured":"Henkin, L., Monk, J.D., and Tarski, A. (1971). Cylindric Algebras, North-Holland."},{"key":"ref_18","first-page":"1139","article-title":"Information Algebras and Consequence Operators","volume":"1","author":"Kohlas","year":"2007","journal-title":"Log. Universalis"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Wilson, N., and Mengin, J. (1999, January 5\u20139). Logical Deduction Using the Local Computation Framework. Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU\u201999, London, UK.","DOI":"10.1007\/3-540-48747-6_36"},{"key":"ref_20","unstructured":"Barwise, J., and Seligman, J. (1997). Information Flow: The Logic of Distributed Systems, Cambridge University Press. Number 44 in Cambridge Tracts in Theoretical Computer Science."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Ganter, B., and Wille, R. (1999). Formal Concept Analysis, Springer. Translated to English by C. Franzke.","DOI":"10.1007\/978-3-642-59830-2"},{"key":"ref_22","unstructured":"Langel, J. (2010). Logic and Information: A Unifying Approach to Semantic Information Theory. [Ph.D. Thesis, University of Fribourg]."},{"key":"ref_23","unstructured":"Bar-Hillel, Y., and Carnap, R. (1952). An Outline of a Theory of Semantic Information, Research Laboratory of Electronics, Massachusetts Institute of Technology. Technical Report 247."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1093\/bjps\/IV.14.147","article-title":"Semantic Information","volume":"4","author":"Carnap","year":"1953","journal-title":"Br. J. Philos. Sci."},{"key":"ref_25","unstructured":"Bar-Hillel, Y. (1964). Language and Information: Selected Essays on Their Theory and Application, Addison-Wesley."},{"key":"ref_26","unstructured":"Hintikka, J., and Suppes, P. (1966, January 16\u201320). On Semantic Information. Physics, Logic, and History, Proceedings of the First International Colloquium, Denver, CO, USA."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Hintikka, J., and Suppes, P. (1970). Information and Inference, Springer.","DOI":"10.1007\/978-94-010-3296-4"},{"key":"ref_28","unstructured":"Hintikka, J. (1976). The Semantics of Questions and the Questions of Semantics, North-Holland. Volume 28, Acta Philosophica Fennica."},{"key":"ref_29","unstructured":"Hiz, H. (1978). Questions, D. Reidel."},{"key":"ref_30","unstructured":"Scott, D.S. (1970). Outline of a Mathematical Theory of Computation, Oxford University Computing Laboratory, Programming Research Group. Technical Monograph PRG-2."},{"key":"ref_31","unstructured":"Scott, D.S. (1972). Toposes, Algebraic Geometry and Logic, Springer. Lecture Notes in Mathematics."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Nielsen, M., and Schmitt, E.M. (1982). Automata, Languages and Programming, Springer.","DOI":"10.1007\/BFb0012751"},{"key":"ref_33","unstructured":"Scott, D.S. (1996). Computer Science Department, Carnegie Mellon University, PA, USA. A New Category? Domains, Spaces and Equivalence Relations, Unpublished manuscript."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1142\/S0218488512500304","article-title":"On Two Types of Continuous Information Algebras","volume":"20","author":"Guan","year":"2012","journal-title":"Int. J. Uncertain. Fuzziness Knowl.-Based Syst."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Stoltenberg-Hansen, V., Lindstroem, I., and Griftor, E. (1994). Mathematical Theory of Domains, Cambridge University Press.","DOI":"10.1017\/CBO9781139166386"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Burgin, M. (2010). Theory of Information: Fundamentality, Diversity and Unification, World Scientific.","DOI":"10.1142\/7048"},{"key":"ref_37","unstructured":"Groenendijk, J., and Stokhof, M. (1984). Studies on the Semantics of Questions and the Pragmatics of Answers. [Ph.D. Thesis, Universiteit van Amsterdam]."},{"key":"ref_38","unstructured":"van Benthem, J., and ter Meulen, A. (2010). Handbook of Logic and Language, Elsevier. [2nd ed.]. Chapter 25."},{"key":"ref_39","unstructured":"Groenendijk, J. (2003, January 18). Questions and answers: Semantics and logic. Proceedings of the 2nd CologNET-ElsET Symposium, Amsterdam, The Netherlands. Questions and Answers: Theoretical and Applied Perspectives."},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Groenendijk, J. (1999, January 19\u201321). The Logic of Interrogation: Classical Version. Proceedings of the Ninth Conference on Semantic and Linguistic Theory, Santa Cruz, CA, USA.","DOI":"10.3765\/salt.v9i0.2835"},{"key":"ref_41","unstructured":"Munitz, M., and Unger, P. (1974). Semantics and Philosophy, New York University Press."},{"key":"ref_42","unstructured":"Van Rooij, R. Comparing Questions and Answers: A Bit of Logic, a Bit of Language and Some Bits of Information. Available online: http:\/\/staff.science.uva.nl\/ vanrooy\/Sources.pdf."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Barwise, J., and Seligman, J. (1997). Information Flow: The Logic of Distributed Systems, Cambridge University Press.","DOI":"10.1017\/CBO9780511895968"},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","article-title":"A Mathematical Theory of Communications","volume":"27","author":"Shannon","year":"1948","journal-title":"Bell Syst. Tech. J."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/00207166808803030","article-title":"Three Approaches to the Quantitative Definition of Information","volume":"2","author":"Kolmogorov","year":"1968","journal-title":"Int. J. Comput. Math."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1109\/TIT.1968.1054210","article-title":"Logical Basis for information Theory and Probability","volume":"14","author":"Kolmogorov","year":"1968","journal-title":"IEEE Trans. Inf. Theory"},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Chaitin, G. (1987). Algorithmic Information Theory, Cambridge University Press.","DOI":"10.1017\/CBO9780511608858"},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Li, M., and Vitanyi, P. (1993). An introduction to Kolmogorov complexity and its applications, Springer.","DOI":"10.1007\/978-1-4757-3860-5"},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Hartley, R. (1928). Transmission of Information. Bell Syst. Tech. J., 535\u2013563.","DOI":"10.1002\/j.1538-7305.1928.tb01236.x"},{"key":"ref_50","unstructured":"Cowell, R.G., Dawid, A.P., Lauritzen, S.L., and Spiegelhalter, D.J. (1999). Probabilistic Networks and Expert Systems: Exact Computational Methods for Bayesian Networks, Springer."},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1016734104787","article-title":"Separoids: A Mathematical Framework for Conditional Independence and Irrelevance","volume":"32","author":"Dawid","year":"2001","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_52","unstructured":"Maier, D. (1983). The Theory of Relational Databases, Pitman."},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1145\/2402.322389","article-title":"On the Desirability of Acyclic Database Schemes","volume":"30","author":"Beeri","year":"1983","journal-title":"J. ACM"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BFb0028219","article-title":"Formal Properties of Conditional Independence in Different Calculi of AI","volume":"Volume 747","author":"Clarke","year":"1993","journal-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty"},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0888-613X(94)90001-9","article-title":"Conditional Independence in Valuation-based Systems","volume":"10","author":"Shenoy","year":"1994","journal-title":"Int. J. Approx. Reason."},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Sommaruga, G. (2009). Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information, Springer. Lecture Notes in Computer Science, Volume 5363.","DOI":"10.1007\/978-3-642-00659-3_10"},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"131","DOI":"10.5802\/aif.53","article-title":"Theory of Capacities","volume":"5","author":"Choquet","year":"1953\u20131954","journal-title":"Annales de l\u2019Institut Fourier"},{"key":"ref_58","unstructured":"Choquet, G. (1969). Lectures on Analysis, Benjaminm."},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1080\/03081079308945086","article-title":"Support-and Plausibility Functions Induced by Filter-Valued Mappings","volume":"21","author":"Kohlas","year":"1993","journal-title":"Int. J. Gen. Syst."},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1214\/aoms\/1177698950","article-title":"Upper and Lower Probabilities Induced by a Multivalued Mapping","volume":"38","author":"Dempster","year":"1967","journal-title":"Ann. Math. Stat."},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Shafer, G. (1976). A Mathematical Theory of Evidence, Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1214\/aop\/1176994941","article-title":"Allocations of Probability","volume":"7","author":"Shafer","year":"1979","journal-title":"Ann. Prob."},{"key":"ref_63","doi-asserted-by":"crossref","unstructured":"Kohlas, J., and Monney, P. (1995). A Mathematical Theory of Hints: An Approach to the Dempster-Shafer Theory of Evidence, Springer. Volume 425, Lecture Notes in Economics and Mathematical Systems.","DOI":"10.1007\/978-3-662-01674-9"},{"key":"ref_64","doi-asserted-by":"crossref","unstructured":"Kohlas, J., and Moral, S. (2000). Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 5: Algorithms for Uncertainty and Defeasible Reasoning, Springer.","DOI":"10.1007\/978-94-017-1737-3_2"},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.ijar.2012.08.004","article-title":"Generalized Information Theory for Hints","volume":"54","author":"Pouly","year":"2013","journal-title":"Int. J. Approx. Reason."},{"key":"ref_66","doi-asserted-by":"crossref","unstructured":"Gierz, E.G. (2003). Continuous Lattices and Domains, Cambridge University Press.","DOI":"10.1017\/CBO9780511542725"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/5\/2\/219\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:10:07Z","timestamp":1760217007000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/5\/2\/219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,10]]},"references-count":66,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2014,6]]}},"alternative-id":["info5020219"],"URL":"https:\/\/doi.org\/10.3390\/info5020219","relation":{},"ISSN":["2078-2489"],"issn-type":[{"type":"electronic","value":"2078-2489"}],"subject":[],"published":{"date-parts":[[2014,4,10]]}}}