Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning edited by L. Magnani, N.J. Nersessian, Claudio Pizzi.

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the ne...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Magnani, L. (Editor), Nersessian, N.J (Editor), Pizzi, Claudio (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2002.
Edition:1st ed. 2002.
Series:Applied Logic Series, 25
Springer eBook Collection.
Subjects:
Mathematical logic.
Logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Logical Aspects of Model-Based Reasoning
  • A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems
  • A Logical Approach to the Analysis of Metaphors
  • Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction
  • Diagrammatic Inference and Graphical Proof
  • A Logical Analysis of Graphical Consistency Proofs
  • Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning
  • Model-Guided Proof Planning
  • Degrees of Abductive Boldness
  • Scientific Explanation and Modified Semantic Tableaux
  • Computational Aspects of Model-Based Reasoning
  • Computational Discovery of Communicable Knowledge
  • Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery
  • Reasoning about Models of Nonlinear Systems
  • Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation
  • Modeling Through Human-Computer Interactions and Mathematical Discourse
  • Combining Strategy and Sub-models for the Objectified Communication of Research Programs
  • Author Index.

Similar Items