الصفحة 17
الصفحة 17
Arguing on the Toulmin model : New essays in argument analysis and evaluation
In The Uses of Argument Stephen Toulmin proposed a new model for the layout of arguments, with six components: claim, data, warrant, qualifier, rebuttal, backing. Toulmin’s model has been appropriated, adapted and extended by researchers in the fields of speech communications, philosophy and artificial intelligence. The volume aims to bring together the best contemporary reflection in these fields on the Toulmin model and its current appropriation.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Architecting dependable systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability.
Architecting dependable systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. It also contains sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.
Architecting dependable systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability
Aquinas and Maimonides on the Possibility of the Knowledge of God : An Examination of The Quaestio de attributis
This in-depth study of Thomas Aquinas’ Quaestio de attributis. Shows that the Quaestio contains Aquinas’ final answer to the dispute on the divine attributes, and thoroughly examines his interpretation of Maimonides’ position on the issue of the knowledge of God by analysing this and other texts related to it chronologically and doctrinally.
Approximation of Additive Convolution-Like Operators : Real C*-Algebra Approach
Various aspects of numerical analysis for equations arising in boundary integral equation methods have been the subject of several books published in the last 15 years [95, 102, 183, 196, 198]. Prominent examples include various classes of o- dimensional singular integral equations or equations related to single and double layer potentials. Usually, a mathematically rigorous foundation and error analysis for the approximate solution of such equations is by no means an easy task. One reason is the fact that boundary integral operators generally are neither integral operatorsof the formidentity plus compact operatornor identity plus an operator with a small norm. Consequently, existing standard theories for the numerical analysis of Fredholm integral equations of the second kind are not applicable. In the last 15 years it became clear that the Banach algebra technique is a powerful tool to analyze the stability problem for relevant approximation methods [102, 103, 183, 189]. The starting point for this approach is the observation that the ? stability problem is an invertibility problem in a certain BanachorC -algebra. As a rule, this algebra is very complicated – and one has to ?nd relevant subalgebras to use such tools as local principles and representation theory.
Approaches to Metaphysics
Today, when systematic philosophy - and reason itself - are challenged both outside of and within philosophy, is it still possible to do metaphysics? This volume provides a broad perspective on contemporary approaches to the nature and the fundamental questions of metaphysics. Drawing on scholars from continental Europe, Asia, Canada, the United States, and Great Britain, and representing a variety of philosophical cultures and traditions, this volume surveys and extends work in metaphysics and its implications for broader philosophical concerns (e.g., in ethics and social philosophy, in mathematics and logic, and in epistemology). It also addresses such questions as the role of history and historicity in undertaking metaphysics, the nature of metaphysics, the priority of metaphysics over epistemology, and the challenges of empiricism and postmodernism.
Applied Peritoneal Dialysis : Improving Patient Outcomes
This book offers a comprehensive guide to peritoneal dialysis (PD). Home dialysis, and more specifically PD, is growing in popularity in the US. By conservative estimates, experts suggest that 45 percent of dialysis patients in the US can be on home dialysis. However, the current penetration rate is only 10 percent. This is changing with an expected major increase in the next 5 years. One of the reasons for the low uptake is that many nephrologists lack comfort and confidence in using PD as a dialysis modality.
Applications of computational intelligence
Computational intelligence (CI) is the theory, design, application, and development of biologically and linguistically motivated computational paradigms. Traditionally, the three main pillars of CI have been neural networks, fuzzy systems, and evolutionary computation. However, in time, many nature-inspired computing paradigms have evolved. Thus, CI is an evolving field, and, at present, in addition to the three main constituents, it encompasses computing paradigms such as ambient intelligence, artificial life, cultural learning, artificial endocrine networks, social reasoning, and artificial hormone networks. CI plays a major role in developing successful intelligent systems, including games and cognitive developmental systems.
Applications and Innovations in Intelligent Systems XIII ; Proceedings of AI-2005, the Twenty-fifth SGAI International Conference on Innovative Techniques and Applications of Artifical Intelligence
The papers in this volume present new and innovative developments in the field, divided into sections on Applied AI in Information Processing, Techniques for Applied AI, Industrial Applications and Medical Applications.This is the thirteenth volume in the Applications and Innovations series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefit.
Annotating, Extracting and Reasoning about Time and Events ; International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently been adopted as a candidate for an ISO standard, and is currently being reviewed in this capacity.It discussions focussed on the following three Time- related issues: using the TimeML language efiectively for consistent annotation, determining how useful such annotation is for further processing,and describing modifications that should be applied to the standard for applications such as question-answering and information retrieval. Discussions at the Dagstuhl Seminar led to new researchideas, and a variety
Ancient Philosophy of the Self
This volume explores the various ways in which selfhood was approached and conceptualised in antiquity. They also describe how the ancient philosophers understood human agents as capable of causing changes and being affected in and by the world. The themes of persistence, identity, self-examination and self-improvement recur in many of these essays. The articles of the collection combine systematic and historical approaches to ancient sources that range from Socrates to Plotinus and Augustine.
Analytical approaches for reinforced concrete
Applies deductive reasoning, logic and mathematics to RC. Laying out, deductively, the principles of RC, it encourages researchers to re-imagine and innovate using a solid conceptual framework. Sections consider the reasoning behind key theories, as well as problems that remain unsolved.
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
Analysis and Design of Intelligent Systems Using Soft Computing Techniques
This book comprises a selection of papers from IFSA 2007 on new methods for analysis and design of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including fuzzy logic, neural networks, and genetic algorithms, which can be used to produce powerful hybrid intelligent systems for solving problems in pattern recognition, time series prediction, intelligent control, robotics and automation. Hybrid intelligent systems that combine several SC techniques are needed due to the complexity and high dimensionality of real-world problems. Hybrid intelligent systems can have different architectures, which have an impact on the efficiency and accuracy of these systems, for this reason it is very important to optimize architecture design. The architectures can combine, in different ways, neural networks, fuzzy logic and genetic algorithms, to achieve the ultimate goal of pattern recognition, time series prediction, intelligent control, or other application areas.
An introduction to relativistic processes and the standard model of electroweak interactions
The first part of the volume is devoted to the description of scattering processes in the context of relativistic quantum field theory. The use of the semi-classical approximation allows us to illustrate the relevant computation techniques in a reasonably small amount of space. Our approach to relativistic processes is original in many respects. The second part contains a detailed description of the construction of the standard model of electroweak interactions, with special attention to the mechanism of particle mass generation. The extension of the standard model to include neutrino masses is also described. We have included a number of detailed computations of cross sections and decay rates of pedagogical and phenomenological relevance.
An introduction to ontology engineering
Provides the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on experience in ontology development that illustrate the theory. The book is divided into three blocks: Block I: logic foundations for ontologies both regarding the languages (mainly First Order predicate Logic, Description Logics, and OWL) and automated reasoning. Block II: developing good ontologies with methods and methodologies, the top-down approach with foundational ontologies, and the bottom-up approach to extract as much useful content as possible from legacy material. Block III: advanced topics with a selection of areas of specialisation, including Ontology-Based Data Access, the interaction between ontologies and natural languages (multilingual ontologies, controlled natural language), and advanced modelling with additional language features (fuzzy and temporal ontologies)
An Introduction to Knowledge Engineering
Knowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing problems. This is achieved by the application of computing techniques, closely associated with human cognitive processes, for transforming data into knowledge. An Introduction to Knowledge Engineering presents a simple but detailed exploration of current and established work in the field.
An introduction to description logics
Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them.
