A two-sorted logic for structurally modeling systems

Progress in Biophysics and Molecular Biology

Volumn 113, Issue 1, 2013, Pages 141-178

  Goranson, H T ^a   Cardier, Beth ^b  

^a Sirius Beta   (United States)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

Causality causes; Context modeling; Modeling unknowns; Multilevel emergence; Narrative story; Situation theory

Indexed keywords

BIOLOGICAL MODEL; BIOPHYSICS; CAUSALITY/CAUSES; COMPUTER SIMULATION; CONTEXT MODELING; MATHEMATICS; METHODOLOGY; MODELING UNKNOWNS; MOLECULAR BIOLOGY; MULTILEVEL EMERGENCE; NARRATIVE/STORY; REVIEW; SITUATION THEORY; STATISTICAL MODEL; SYSTEM ANALYSIS; SYSTEMS BIOLOGY;

CAUSALITY/CAUSES; CONTEXT MODELING; MODELING UNKNOWNS; MULTILEVEL EMERGENCE; NARRATIVE/STORY; SITUATION THEORY;

BIOPHYSICS; COMPUTER SIMULATION; LOGISTIC MODELS; MATHEMATICS; MODELS, BIOLOGICAL; MOLECULAR BIOLOGY; SYSTEMS BIOLOGY; SYSTEMS INTEGRATION;

EID: 84884983878     PISSN: 00796107     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.pbiomolbio.2013.03.015     Document Type: Review

References (102)

1. Abramsky Saul, Coecke Bob ACategorical Semantics of Quantum Protocols 2004, 19th Annual IEEE Symposium on Logic in Computer Science. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm%3farnumber%3d1319636.
2. Abramsky Saul, Coecke Bob Categorical quantum mechanics. Handbook of Quantum Logic and Quantum Structures: Quantum Logic 2008, 261-324. Elsevier.
3. Aldridge Bree B., Burke John M., Lauffenburger Douglas A., Sorger Peter K. Physicochemical modelling of cell signalling pathways. Nature Cell Biology 2006, 8(11):1195-1203.
4. Ashburner Michael, Ball Catherine A., Blake Judith A., Botstein David, Butler Heather, Michael Cherry J., Davis Allen P., Dolinski Kara, Dwight Selina S., Eppig Janan T., Harris Midori A., Hill David P., Issel-Tarver Laurie, Kasarskis Andrew, Lewis Suzanna, Matese John C., Richardson Joel E., Ringwald Martin, Rubin Gerald M., Sherlock Gavin Gene ontology: tool for the unification of biology. Nature Genetics 2000, 25(1):25-29.
5. Baader Franz, Horrocks Ian, Sattler Ulrike Description logics. Handbook of Knowledge Representation 2007, 135-169. Elsevier. F. van Harmelen, V. Lifschitz, B. Porter (Eds.).
6. Baianu I.C., Brown R., Georgescu G., Glazebrook J.F. Complex non-linear biodynamics in categories, higher dimensional algebra and ? ukasiewicz-Moisil Topos: transformations of neuronal, genetic and neoplastic networks. Axiomathes 2006, 16(1):65-122.
7. Barwise Jon, Perry John Situations and Attitudes 1983, MIT Press, Cambridge, Massachusetts.
8. Barwise Jon, Seligman Jerry Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science 2008, Cambridge University Press.
9. Birkhoff Garrett, Neumann John von The logic of quantum mechanics. Annals of Mathematics 1936, 37(4):823.
10. Blass Andress The interaction between category theory and set theory. Contemporary Mathematics 1984, 30:5-29.
11. Bruner Jerome Actual Minds, Possible Worlds 1985, Harvard University Press.
12. Bruza Peter, Kitto Kirsty, Nelson Douglas, McEvoy Cathy Is there something quantum-like about the human mental Lexicon?. Journal of Mathematical Psychology 2009, 53(5):362-377.
13. Cardier Beth Unputdownable: How the Agencies of Compelling Story Assembly can be Modelled Using Formalisable Methods From Knowledge Representation, and in a Fictional Tale About Seduction 2012, University of Melbourne.
14. Cardier Beth, Goranson H.T. Storymaking across contexts: how a fiction writer and a team of computer scientists came to terms. Kunapipi: Focus on Science 2009, 31:37-51.
15. Cassman Marvin Introductory Remarks. 25th Annual Meeting of Groups Studying the Structures of AIDS-Related Systems and their Application to Targeted Drug Design 2011.
16. Chandler J.L.R. Chemo-Informatics as the Source of Morphogenesis - Both Practical and Logical" 2011, Email Posting.
17. Chang C.C., Keisler H.J. Model Theory 1990, Studies in Logic and the Foundations of Mathematics, North Holland.
18. Clark Herbert H. Using Language 1996, Cambridge University Press.
19. Coecke Bob, Pavlovic Dusko Quantum measurements without sums. The Mathematics of Quantum Computation and Technology 2007, 559-596. Chapman and Hall. L. Kauffman, S.J. Lomonaco (Eds.).
20. CSLI Website for the Center for the Study of Language and Information 2010, Stanford University. http://www-csli.stanford.edu/.
21. DeMaria Shannon, Ngai John The cell biology of smell. Journal of Cell Biology 2010, 191(3):443-452.
22. Devlin Keith J. Logic and Information 1995, Cambridge University Press.
23. Devlin Keith J. Goodbye, Descartes: The End of Logic and the Search for a New Cosmology of the Mind 1998, Wiley.
24. Devlin Keith J. Sets, Functions, and Logic: an Introduction to Abstract Mathematics. Chapman Hall/CRC Mathematics Series 2003, Chapman and Hall.
25. Devlin Keith J. Modeling real reasoning. Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information 2009, 234-252. Springer. G. Sommaruga (Ed.).
26. Diebner Hans H. Asimulating cognitive system with adaptive capability. BioSystems 2002, 64:141-147.
27. Döring Andreas Topos quantum logic and mixed states. Electronic Notes in Theoretical Computer Science 2011, 270(2):59-77.
28. Ehresmann Andrée C., Vanbremeersch J.P. Memory Evolutive Systems; Hierarchy, Emergence, Cognition. Studies in Multidisciplinarity 2007, Elsevier.
29. Einhorn H.J., Hogarth R.M. ATheory of Diagnostic Inference: Judging Causality 1983.
30. Girard Jean-Yves Geometry of interaction V: logic in the hyperfinite factor. Theoretical Computer Science 2011, 412(20):1860-1883.
31. Goranson H.T. FilmsFolded Comment Site 2012, http://www.filmsfolded.com.
32. Goranson H.T. Journals of the International Society for the Interdisciplinary Study of Symmetry 2012, http://symmetry-us.com/Journals/.
33. Goranson H.T. Working with the Biomedial Domain: System and Two-Sorted Method for Modeling Emergent Systems. Graphical Notes for an Application Using Topoiesis 2012, Sirius-Beta, Virginia Beach VA.
34. Goranson H.T., Cardier Beth, Garcia Matt Topoiesis: a System for Reasoning over Uncompromised Reality 2012.
35. Goranson H.T. FilmsFolded Essay Site 2012, (accessed 2012). http://filmsfolded.tedgoranson.com.
36. Graesser Authur C., Kreuz Roger J. Atheory of inference generation during text comprehension. Discourse Processes 1993, 16(1,2):145-160.
37. Grau Bernardo Cuenca, Motik Boris, Stoilos Giorgos, Horrocks Ian Completeness guarantees for incomplete ontology reasoners: theory and practice. Journal of Artificial Intelligence Research 2012, 43:419-476.
38. Green Douglas R. Means to and End: Apoptosis and Other Cell Death Mechanisms 2010, Cold Spring Harbor.
39. Green Douglas R., Reed John C. Apoptosis: Physiology and Pathology. Apoptosis: Physiology and Pathology 2011, Cambridge University Press.
40. Herman David Genette meets Vygotsky: narrative embedding and distributed intelligence. Language and Literature 2006, 15(4):357-380.
41. Heuer Richards J. Psychology of Intelligence Analysis 2001, Center for the Study of Intelligence, Central Intelligence Agency.
42. Hiley Basil J. Algebraic Quantum Mechanics, Algebraic Spinors and Hilbert Space 2002, http://www.bbk.ac.uk/tpru/BasilHiley/Algebraic%20Quantum%20Mechanic%205.pdf.
43. Hina Saman, Atwell Eric, Johnson Owen Semantic tagging of medical narratives with top level concepts from SNOMED CT healthcare data standard. International Journal of Intelligent Computing Research 2011, 2:204-210.
44. Hume David An Enquiry Concerning Human Understanding 2001, Oxford University Press.
45. Husimi KÔdi, Brown L.M., Konuma M., Maki Z. Nuclear research at Osaka Imperial University: Interview with Kodi Husimi. Progress of Theoretical Physics Supplement 1991, 105:78-83.
46. Jones Simon Peyton Haskell 98 Language and Libraries 2003, The Revised Report, Cambridge University Press.
47. Kaplan Shai, Bren Anat, Dekel Erez, Alon Uri The incoherent feed-forward loop can generate non-monotonic input functions for genes. Molecular Systems Biology 2008, 4(208):9.
48. Kauffman Stuart At Home in the Universe: The Search for the Laws of Self-Organization and Complexity: The Search for the Laws of Self-Organization and Complexity 1996, Oxford University Press.
49. Kauffman Stuart, Levin Simon Towards a general theory of adaptive walks on rugged landscapes. Journal of Theoretical Biology 1987, 128(1):11-45.
50. Kitto Kirsty, Boschetti Fabio, Bruza Peter The Quantum Inspired Modelling of Changing Attitudes and Self-Organising Societies. AAAI Spring Series Workshop on Quantum Interaction 2012, http://www.users.on.net/%7Ekirsty.kitto/papers/socialQIFinal.pdf.
51. Kontchakov R., Pratt-Harmann I., Wolter F., Zakharyschev M. Topology, connectedness, and modal logic. Advances in Modal Logic 2008, 7:151-176.
52. Ladyman James, Ross Don, Collier John Every Thing Must Go: Metaphysics Naturalized 2009, Oxford University Press.
53. Lehmann Daniel Apresentation of quantum logic based on an and then connective. Journal of Logic and Computation 2008, 18(1):59.
54. Leyton Michael Symmetry, Causality, Mind 1999, Bradford Books.
55. Liapi M., Linaraki D., Voradaki G. Sensponsive architecture as a tool to stimulate the senses and alleviate the psychological disorders of an individual. Cognitive Processing 2012, 13(Supplement 1):233-237.
56. Lledo P.M., Alonso M., Grubb M.S. Adult neurogenesis and functional plasticity in neuronal circuits. Nature Reviews Neuroscience 2006, 7(3):179-193.
57. Lones Michael A., Smith Stephen L., Teichmann Sarah, Naef Felix, Walker James Alfred, Trefzer Martin Albrecht Information Processing in Cells and Tissues: 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012. Proceedings (Lecture. Computer Science and General Issues) 2012, Springer.
58. Mackie P. Causality 1995, Oxford Companion to Philosophy.
59. MacLane Saunders Categories for the Working Mathematician (Graduate Texts in Mathematics) 1971, Springer.
60. Magka Despoina, Motik Boris, Horrocks Ian Modelling Structured Domains Using Description Graphs and Logic Programming. The Semantic Web: Research and Applications 2012, 330-344.
61. Mahmut Mehmet K., Stevenson Richard J. Olfactory abilities and psychopathy: higher psychopathy scores are associated with poorer odor discrimination and identification. Chemosensory Perception 2012, Online First.
62. Marijuán Pedro C. Information and symmetry in the biological and social realm: new avenues of inquiry. Symmetry: Culture and Science 1996, 7(3):281-294.
63. Marx György Wars and symmetries: Wigner Jenõ - Eugene P Wigner, 1902-1995. Symmetry: Culture and Science 1996, 7(1):9-26.
64. Matsunaga Masahiro, Isowa T., Yamakawa K., Kawanishi Y., Tsuboi H., Kaneko H., Sadato N., Oshida A., Katayama A., Kashiwagi M., Ohira Hideki Psychological and physiological responses to Odor-Evoked autobiographic memory. Neuroendocrinology Letters 2011, 32(6):774-780.
65. Matsuno Koichiro Microdynamic context and macrodynamic data in biological systems. BioSystems 2002, 64(1-3):55-61.
66. Nawroth Janna C., Greer Charles A., Chen Wei R., Laughlin Simon B., Shepherd Gordon M. An energy budget for the olfactory glomerulus. Journal of Neuroscience 2007, 27(36):9790-9800.
67. Ne'eman Yuval Symmetry as the Leitmotif at the fundamental level in the twentieth century physics. Symmetry: Culture and Science 1999, 10(1-2):143-162.
68. Ogawa Tohru Katachi and symmetry, Part 2: the points in common and the points of difference. Forma 2000, 15:1-10.
69. Paton Ray Process, structure and context in relation to integrative biology. BioSystems 2002, 64(1-3):63-72.
70. Pattee H.H. The origins of Michael Conrad's research programs (1964-1979). BioSystems 2002, 64:5-11.
71. Pierce Benjamin C. Basic Category Theory for Computer Scientists. Foundations of Computing 1991, MIT Press, Cambridge MA.
72. Prigogine I., Hiebert E.N. From being to becoming: time and complexity in the physical sciences. Physics Today 1982, 35:69.
73. Pukhov A., Boos E., Dubinin M., Edneral V., Ilyin V., Kovalenko D., Kryukov A., Savrin V., Shichanin S., Semenov A. CompHEP-a Package for Evaluation of Feynman Diagrams and Integration Over Multi-Particle Phase Space 1999, User's Manual for Version 33. arXiv Preprint hep-ph/9908288 126.
74. Rosen Robert Life Itself: a Comprehensive Inquiry into the Nature, Origin, and Fabrication of Life (Complexity in Ecological Systems) 2005, Columbia University Press.
75. Rosen Robert Anticipatory Systems: Philosophical, Mathematical, and Methodological Foundations. International Federation for Systems Research International Series on Systems Science and Engineering 2012, Springer.
76. Salthe Stanley N. Evolving Hierarchical Systems: Their Structure and Representation 1989, Columbia University Press.
77. Schredl Michael, Atanasova Desislava, Hörmann Karl, Maurer Joachim T., Hummel Thomas, Stuck Boris A. Information processing during sleep: the effect of olfactory stimuli on dream content and dream emotions. Journal of Sleep Research 2009, 18(3):285-290.
78. Simeonov Plamen L., Smith Leslie S., Ehresmann Andrée C. Integral biomathics: tracing the road to reality. Integral Biomathics 2012, 439. Springer.
79. Simeonov Plamen L., Brezina Edwin H., Cottam Ron, Ehresmann Andrée C., Gare Arran, Goranson H.T., Gomez-Ramirez Jaime, Josephson Brian D., Marchal Bruno, Matsuno Koichiro, Root-Bernstein Robert S., Rössler Otto E., Salthe Stanley N., Schroeder Marcin J., Seaman Bill, Siregar Pridi, Smith Leslie S. Stepping beyond the Newtonian paradigm in biology: towards an integrable model of life: accelerating discovery in the biological foundations of science. Integral Biomathics 2012, 319-419. Springer, Berlin, Heidelberg. P.L. Simeonov, L.S. Smith, A.C. Ehresmann (Eds.).
80. Sørensen Morten Heine, Urzyczyn Pawel Lectures on the Curry-Howard Isomorphism. Studies in Logic and the Foundations of Mathematics 2006, Elsevier.
81. Sowa John F. Knowledge Representation: Logical, Philosophical, and Computational Foundations 2000, MIT Press.
82. Sowa John F. Worlds, models, and descriptions. Studia Logica 2006, 84(2):323-360.
83. Sowa John F. Future Directions for Semantic Systems. Intelligence-based Systems Engineering 2011, 23-47.
84. Steinbach Peter J. Introduction to Macromolecular Simulation 2010, http://cmm.cit.nih.gov/intro_simulation/.
85. Sternagel Christian, Thiemann René Generalized and formalized uncurrying. Lecture Notes in Artificial Intelligence 6989 2011, 243-258. Springer, Saarbrücken, Germany. C. Tinelli, V. Sofronie-Stokkermans (Eds.).
86. Stonier Tom Information and Meaning: an Evolutionary Perspective 1997, Springer.
87. Sturgess Philip J.M. Narrativity: Theory and Practice 1992, Oxford University Press.
88. Takaki Ryuji Some physical questions concerning signal generation in neurons. Forma 2004, 19:39-54.
89. Thagard Paul Conceptual Revolutions 1992, Princeton University Press.
90. Toolan Michael Language. The Cambridge Companion to Narrative 2007, 231-244. Cambridge University Press. D. Herman (Ed.).
91. van Rijsbergen Keith Retrieval Through Explanation: an Abductive Inference Approach to Relevance Feedback 2001, (Library and Information Commission Research Report).
92. Various Forma, Website of the Journal 2012, (accessed 20.09.12.). http://www.scipress.org/journals/forma/index.html.
93. Various Quantum Interaction Website 2012, http://www.quantuminteraction.org.
94. Various Website of the Society for Science on Form 2012, (accessed 20.09.12.). http://katachi-jp.com.
95. von Neumann John The role of high and extremely high complication. Theory of Self-Reproducing Automata 1966, 64-87. University of Illinois Press. A.W. Burks (Ed.).
96. W3C OWL 2 Web Ontology Language RDF-Based Semantics 2009, (accessed October, 2012). http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/.
97. Widdows Dominic Geometry and Meaning 2004, Center for the Study of Language and Information.
98. Wigner Eugene The unreasonable effectiveness of mathematics in the natural sciences. Communications in Pure and Applied Mathematics 1960, 13(1):9.
99. Wigner Eugene Project Guidance 1973.
100. Wille Rudolf Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies. Formal Concept Analysis 2005, 47-70.
101. Wroe C.J., Stevens R., Goble C.A., Ashburner M. AMethodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL. Pacific Symposium on Biocomputing 2003, http://psb.stanford.edu/psb-online/proceedings/psb03/wroe.pdf.
102. Zinser Jason Modal Concepts in the Biological Sciences 2007, Ph d, Florida State University.