Skip to main content
SpringerLink
Log in

Interpreted Dynamical Systems and Qualitative Laws: from Neural Networks to Evolutionary Systems

  • Published:
Synthese Aims and scope Submit manuscript

Abstract.

Interpreted dynamical systems are dynamical systems with an additional interpretation mapping by which propositional formulas are assigned to system states. The dynamics of such systems may be described in terms of qualitative laws for which a satisfaction clause is defined. We show that the systems Cand CL of nonmonotonic logic are adequate with respect to the corresponding description of the classes of interpreted ordered and interpreted hierarchical systems, respectively. Inhibition networks, artificial neural networks, logic programs, and evolutionary systems are instances of such interpreted dynamical systems, and thus our results entail that each of them may be described correctly and, in a sense, even completely by qualitative laws that obey the rules of a nonmonotonic logic system.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • C Balkenius P. Gärdenfors (1991) Nonmonotonic Inferences in Neural Networks J.A. Allen R. Fikes E. Sandewall (Eds) Principles of Knowledge Representation and Reasoning Morgan Kaufmann San Mateo 32–39

    Google Scholar 

  • T Horgan J. Tienson (1996) Connectionism and the Philosophy of Psychology MIT Press Cambridge

    Google Scholar 

  • S. Kraus D. Lehmann M. Magidor (1990) ArticleTitleNonmonotonic Reasoning, Preferential Models and Cumulative Logics Artificial Intelligence 44 167–207 Occurrence Handle10.1016/0004-3702(90)90101-5

    Article  Google Scholar 

  • H.. Leitgeb (2001a) ArticleTitleNonmonotonic Reasoning by Inhibition Nets Artificial Intelligence 128 IssueID1–2 161–201

    Google Scholar 

  • H. Leitgeb (2001b) Inference on the Low Level, Salzburg: Doctoral Dissertation University of Salzburg Austria

    Google Scholar 

  • H. Leitgeb (2003) ArticleTitleNonmonotonic Reasoning by Inhibition Nets II International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11 IssueIDSuppl. 2 105–135

    Google Scholar 

  • V. Lifschitz (1996) Foundations of Logic Programming G. Brewka (Eds) Principles of Knowledge Representation CSLI Stanford 69–127

    Google Scholar 

  • D. Nauck F. Klawonn R. Kruse (1994) Neuronale Netze und Fuzzy-Systeme Vieweg, Braunschweig Wiesbaden

    Google Scholar 

  • D.E. Rumelhart J.L. McClelland InstitutionalAuthorNamePDP Research Group. (1986) Parallel Distributed Processing, Vols. 1 and 2 MIT Press Cambridge

    Google Scholar 

  • G. Schurz (2001) ArticleTitleWhat is ’Normal’? An Evolution-Theoretic Foundation for Normic Laws and Their Relation to Statistical Normality Philosophy of Science 68 476–497 Occurrence Handle10.1086/392938

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Salzburg, Franziskanergasse 1, A-5020, Salzburg, Austria

    Hannes Leitgeb

Authors
  1. Hannes Leitgeb
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hannes Leitgeb.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Leitgeb, H. Interpreted Dynamical Systems and Qualitative Laws: from Neural Networks to Evolutionary Systems. Synthese 146, 189–202 (2005). https://doi.org/10.1007/s11229-005-9086-5

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-9086-5

Keywords

Search

Navigation