GLORIA

GEOMAR Library Ocean Research Information Access

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 2005-2009  (2)
  • 1995-1999
  • 2005  (2)
Language
Years
  • 2005-2009  (2)
  • 1995-1999
Year
  • 1
    Keywords: Abduction (Logic) ; Logic ; Logic ; Abduction (Logic) ; Abduction (Logic) ; Logic ; Abductie (logica) ; PHILOSOPHY ; Logic ; Electronic books ; Electronic books ; Abduktion ; Kognition ; Abduktion ; Kognition
    Description / Table of Contents: Acknowledgements. -- Preface. -- -- A Practical Logic of Cognitive Systems -- 1. Introduction -- 2. Practical Logic -- Conceptual Models of Abduction -- 3. The Structure of Abduction -- 4. Explanationist Abduction -- 5. Non-Plausibilistic Abduction -- 6. Diagnostic Abduction in AI -- 7. The Characteristic and the Plausible -- 8. Relevance and Analogy -- 9. Interpretation Abduction -- Formal Models of Abduction -- 10. A Glimpse of Formality -- 11. A General Theory of Logical Systems -- 12. A Base Logic -- 13. An Abductive Mechanism for the Base Logic -- Bibliography. -- Index
    Type of Medium: Online Resource
    Pages: Online-Ressource
    Edition: Elsevier e-book collection on ScienceDirect
    ISBN: 044451791X , 9780444517913
    Series Statement: A practical logic of cognitive systems v. 2
    RVK:
    Language: English
    Note: Includes bibliographical references (p. 443-472) and index , Acknowledgements. -- Preface. -- -- A Practical Logic of Cognitive Systems -- 1. Introduction -- 2. Practical Logic -- Conceptual Models of Abduction -- 3. The Structure of Abduction -- 4. Explanationist Abduction -- 5. Non-Plausibilistic Abduction -- 6. Diagnostic Abduction in AI -- 7. The Characteristic and the Plausible -- 8. Relevance and Analogy -- 9. Interpretation Abduction -- Formal Models of Abduction -- 10. A Glimpse of Formality -- 11. A General Theory of Logical Systems -- 12. A Base Logic -- 13. An Abductive Mechanism for the Base Logic -- Bibliography. -- Index. , The present work is a continuation of the authors' acclaimed multi-volume A Practical Logic of Cognitive Systems. After having investigated the notion of relevance in their previous volume, Gabbay and Woods now turn to abduction. In this highly original approach, abduction is construed as ignorance-preserving inference, in which conjecture plays a pivotal role. Abduction is a response to a cognitive target that cannot be hit on the basis of what the agent currently knows. The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He concludes from this fact that the hypothesis may be conjectured. In allowing conjecture to stand in for the knowledge he fails to have, the abducer reveals himself to be a satisficer, since an abductive solution is not a solution from knowledge. Key to the authors' analysis is the requirement that a conjectured proposition is not just what a reasoner might allow himself to assume, but a proposition he must defeasibly release as a premiss for further inferences in the domain of enquiry in which the original abduction problem has arisen. The coverage of the book is extensive, from the philosophy of science to computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt. Underlying their analysis of abductive reasoning is the authors' conception of practical agency. In this approach, practical agency is dominantly a matter of the comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target. The Reach of Abduction will be necessary reading for researchers, graduate students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas. Key features: - Reach of Abduction is fully integrated with a background logic of cognitive systems. - The most extensive coverage compared to competitive works. - Demonstrates not only that abduction is a form of ignorance p ...
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2016-10-05
    Description: This paper establishes the predictability of a one-dimensional virtual plankton ecosystem created by Lagrangian Ensemble integration of an individual-based model. It is based on numerical experiments for a scenario, in which the surface fluxes have stationary annual cycles, and the annual surface heat budget is in balance, i.e. solar heating equals cooling to the atmosphere. Under these conditions, the virtual ecosystem also followed a stationary annual cycle. We investigate the stability of this ecosystem by studying the statistics of multi-year simulations of the ecosystem in a virtual mesocosm moored off the Azores. The integrations were initialised by a first guess at the state of the ecosystem at the end of the cooling season, when the mixed layer was approaching the annual maximum depth. The virtual ecosystem quickly adjusted to a stable attractor, in which the inter-annual variation was only a few percent of the multi-year mean. This inter-annual variation was due to random displacement of individual plankters by turbulence in the mixed layer. The inter-annual variance is nearly, but not exactly ergodic; the deviation is due to inheritance of zooplankton weight through lineages. The virtual ecosystem is independent of initial conditions: that is the proof of stability. The legacy of initialisation error decays within three years. The form of the attractor depends on three factors: the specification of the ecosystem model, the resource level (nutrients), and the annual cycle of external forcing. Sensitivity studies spanning the full range of model parameters and resource levels demonstrate that the virtual ecosystem is globally stable. In extreme cases the zooplankton becomes extinct during the simulation; the attractor adjusts gracefully to this new regime, without the emergence of vacillation or a strange attractor that would signal instability. At high resource levels, some of the zooplankton produce two generations per year (as was observed by Marshall and Orr [Marshall, S. M., and Orr, A. P. (1955). The biology of a marine copepod. Edinburgh: Oliver and Boyd. 188 pp.]; again the attractor adjusts gracefully to the new regime. Ocean circulation does not disrupt the stability of the virtual ecosystem. This is demonstrated by a numerical experiment in which the virtual ecosystem drifts with the mean circulation on a five-year cycle, following a track in the Sargasso Sea that penetrates deep into the zones of annual heating and cooling. The legacy of initialisation error decays within three cycles of the external forcing. Thereafter the ecosystem lies on a five-year geographically/lagrangian attractor. The stability of virtual ecosystems offers useful predictability with a good sign-to-noise ratio. (c) 2005 Elsevier Ltd. All rights reserved.
    Type: Article , PeerReviewed
    Format: text
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...