Baader, F. et al. ed.
The Description Logic Handbook 2nd ed.
Theory, Implementation, and Applications
Cambridge University Press 2007.11
622 pp. (H) 622 pp. (H)
ISBN 0-521-87625-7
20,100円
Contents
1. An introduction to description logics ; Part I. Theory: 2. Basic description logics; 3. Complexity of reasoning ; 4. Relationships with other formalisms ; 5. Expressive description logics ; 6. Extensions to description logics ; Part II. Implementation: 7. From description logic provers to knowledge representation systems ; 8. Description logics systems ; 9. Implementation and optimisation techniques ; Part III. Applications: 10. Conceptual modeling with description logics ; 11. Software engineering ; 12. Configuration ; 13. Medical informatics ; 14. Ontology languages for the semantic web ; 15. Natural language processing ; 16. Description logics for data bases ; Appendix. Description logic terminology ; Bibliography.
* Description Logics are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses. *
Gabbay, D.M. & Guenthner, F. ed.
Handbook of Philosophical Logic Vol.14
哲学のロジックハンドブック 第１４巻
Springer-Verlag 2007.
346 pp.(H)
ISBN 1-4020-6323-7
21,800円
Contents
1.Editorial Preface; D.M. Gabbay/ 2.Logics of Formal Inconsistency; W. Carnielli,/ 3.Causality; J. Williamson/ 4.On Conditionals; D. Edgington/ 5.Quantifiers in Formal and Natural Languages; D. Westerstahl/ Index/ * The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines such as computer science, artificial intelligence, linguistics, and philosophy. *
Gabbay, D. M. & Woods, J. ed.
Mediaeval and Renaissance Logic
Handbook of the History of Logic Vol. 2
North-Holland 2008.3
728 pp.(H)
ISBN 0-444-51625-5
27,500円
Contents
1. Logic before 1100: The Latin Tradition/ 2. Beginning of Scholastic Logic before Abelard / 3. The Logic of Abelard and His Contemporaries/ 4. The Development of Supposition Theory in the Later 12th and Early 13th Centuries/ 5. Assimilation of Aristotelian and Arabic Logic up to the Later 13th Century/ 6. Logic and Theories of Meaning in the Late 13th and Early 14th Century Including the Modistae/ 7. The Nominalist Semantics of William Ockham and John Buridan/ 8. Logic in the 14th Century after Ockham/ 9. Treatments of Modal and Other 'Opaque' Contexts in Mediaeval Logic/ 10. Treatments of the Paradoxes of Self-reference/ 11. Developments in the 15th and 16th Centuries/ 12. Relational Logic of Juan Caramuel/ 13. Port Royal: The Stirrings of Modernity/ Index/ *
Gabbay, D. M. & Woods, J. ed.
British Logic in the Nineteenth Century
Handbook of the History of Logic Vol. 4
North-Holland 2008.2
750 pp.(H)
ISBN 0-444-51610-7
30,100円
Contents
1. Bentham's Logic (Charissa Varma)/ 2. Coleridge's Logic (Timothy Milnes)/ 3. Whately's Logic (James Van Evra)/ 4. Hamilton's Logic (Ralph Jessop)/ 5. Whewell's Logic(Laura Snyder)/ 6. Mill's Logic (Fred Wilson)/ 7. DeMorgan's Logic (Michael Hobards)/ 8. Boole's Logic (Dale Jacquette)/ 9. French Logique and British Logic: On the Origins of Augustus deMorgan early Logical Enquiries 1805-1835 (Maria Panteki)/ 10. Lewis Carroll's Logic (Amirouche Moktefi)/ 11. Venn's Logic (James Van Evra)/ 12. Jevons' Logic (Bert Mosselmans)/ 13. MacColl's Logic (Shahid Rahman)/ 14. The Idealists (David Sullivan)/ Index/
* The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for anyone with an interest in the history of logic. *
Dutilh Novaes, C.
Formalizing Medieval Logical Theories
Suppositio, Consequentiae and Obligationes
Springer-Verlag 2007.5
316 pp.(H)
ISBN 1-4020-5852-7
19,800円
Contents
1. Supposition Theory: Algorithmic Hermeneutics/ 2. Buridan’s Notion of Consequentia/ 3. Obligationes as logical games/ 4. The Philosophy of Formalization/ Conclusion/ References/ Index of Names and Topics/
* This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented �� a crucial concept in the current logical panorama, which as such receives surprisingly little attention. *
Bosse,I et al.
Concepts, Models, and Tools for Information Fusion
Artech House 2007.2
392 pp.
ISBN 1-59693-081-0
14,800円
Contents
Part I: Information Fusion Definitions, Concepts, and Models:Introduction/ Decision Making Modeling―Taxonomical Models. Decision Making Models. Rational Models. Narrative-Based Decision Making Models. Naturalistic Decision Making Models. The Skill-Rule-Knowledge Model. Integrated Model of Real-World Decision-Making. Situation Awareness Modeling―Situation Analysis Definition. The Emergence of Situation Awareness Warfare. A functional Analysis of Situation Awareness Warfare. Data/Information Fusion Models―JDL Data Fusion Model. Unified Data Fusion Model. Visual Situation Assessment Model. Cognitive Systems Engineering―Information Requirements for Optimal Decision Making. Situation Awareness and Mental Models. Cognitive Fit and Cognitive Engineering. Cognitive Task Analysis and Cognitive Work Analysis. Transformation of "Requirements. For Information" Process Model. Decision Support Systems―Human Limitation. Technological Support to Situation Awareness and Decision Making. Task Technology and Interactions and Technological Automation. Decision Support System Requirements: A Task/Human/Technology/Triad Model. Cognitive Fit and Decision Support System in the Operational Environment. The Development Process of a Decision Support Systems/ Part II: Mathematical Foundations of Information Fusion:Introduction to Uncertainty―Knowledge and Belief/ Qualitative Approaches―Classical Logic. Modal Logics and Knowledge Logics. Nonmonotonic Logics. Quantitative Approaches―Probability Theory. Dempster-Shafer Theory. Fuzzy Set Theory. Possibility Theory. Rough Set Theory. Conditional Event Theory. Random Set Theory. Graph-based Theory. Hybrid Approaches―Qualitative Logics. Incidence Calculus/ Part III: Computational Aspects of Information Fusion:Basic Computational Aspects/ Information Fusion Domain Characteristics―The Environment. The Information Sources. The Fusion Process. The IF Application Perspective. The Life Cycle Support Perspective. IF System Design. Information Fusion Computer Issues―System Architectures. Computer Systems. Networks. Middleware. Information Sources. Human Computer Interfaces. Knowledge-Based and Artificial Intelligence Systems―Reason. Reaction. Rule-Based Reasoning. Logical Reasoning. Case-Based Reasoning. Software Architectures―Visual Data Fusion. Adaptive Sensor Fusion. Blackboard Systems. Multi-agent Systems.Conclusion. *
Dahl, V. & Niemela, I. ed.
Logic Programming
Lecture Notes in Computer Science, Vol.4670
Springer-Verlag 2007.
470 pp. (P)
ISBN 3-540-74608-0
10,800円
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Contents
* This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 2007.
* The 22 revised full papers together with two invited talks as well as 15 poster presentations and the abstracts of five doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming and are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications. *
690-25 登録日 08.03.30
