Gabbay, D.M. et al. ed.
Mathematical Problems from Applied Logic II
Logics for the XXIst Century
Springer-Verlag 2007.3
351 pp. (H)
ISBN 0-387-69244-4
23,800円
Contents
1.On Two Models of Provability: Provability Logic, Logic of Proofs.- 2.Directions for Computability Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here.- 3.Computability and Computable Models: Preliminaries, Bounds for Computable Models, Structure Complexity of Computable Models, Isomorphism Problem, Classes of Computable Models and Index Sets.- 4.First-order Logic Foundation of Relativity Theories: Introduction (Logic and Spacetime Geometry), More Concrete Introduction (Foundation of Spacetime), Intriguing Features of GR Spacetimes (Challenges for the Logician), A FOL Axiom System of SR Extended with Accelerated Observers, One Step toward GR (Effect of Gravitation on Clocks), Questions, Suggestions for Future Research.- Beyond Hybrid Systems: Digital Programs, Continuous Plants and Controllers, Hybrid Systems, Discretization, Continualization, Methodology.- Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics: Historical Excursion in the Region-Based Theory of Space, Algebras of Regions, Models, and Representation Theory, Region-Based Propositional Modal Logics of Space. *
Dershowitz, N. & Voronkov, A. ed.
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science, Vol.4790
Springer-Verlag 2007.
562 pp. (P)
ISBN 3-540-75558-6
13,600円
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Contents
* This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007.
* The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. *
Kaye, R. W.
The Mathematics of Logic
A Guide to Completeness Theorems and their Applications
Cambridge University Press 2007.7
206 pp. (H)
ISBN 0-521-88219-2
12,900円
Contents
Preface; How to read this book; 1. Kinig’s lemma; 2. Posets and maximal elements; 3. Formal systems; 4. Deductions in posets; 5. Boolean algebras; 6. Propositional logic; 7. Valuations; 8. Filters and ideals; 9. First-order logic; 10. Completeness and compactness; 11. Model theory; 12. Nonstandard analysis; Bibliography; Index.
* This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with K�系ig's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis. *
Aiello, M. et al.
Handbook of Spatial Logics
Springer-Verlag 2007.7
1058 pp. (H)
ISBN 1-4020-5586-2
48,400円
Contents
1. What is Spatial Logic? / 2. First-Order Mereotopology / 3. Axioms, Algebras and Topologies / 4. Qualitative Spatial Reasoning Using Constraint Calculi / 5. Modal Logics of Space / 6. Topology and Epistemic Logic / 7. Logical theories for Fragments of Elementary Geometry / 8. Locales and Toposes as Spaces / 9. Spatial Logic + Temporal Logic = ? / 10. Dynamic Topological Logic / 11. Logic of space-time and relativity theory / 12. Discrete Spatial Models / 13. Real Algebraic Geometry and Constraint Databases / 14. Mathematical Morphology / 15. Spatial Reasoning and Ontonolgy: Parts, Wholes and Locations / **
* Here is a hugely important work that is a genuinely ground-breaking text in the field of spatial logic.A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed.In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy.The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. *
Bhattacharya, A. et al.
Parallel and Distributed Logic Programming : Towards the Design of
a Framework for the Next Generation Database Machines
Studies in Computational Intelligence, Vol.24
Springer-Verlag 2006.7
291 pp. (H)
ISBN 3-540-33458-0
18,800円
Contents
1.An Introduction to Logic Programming.- 2.Parallel and Distributed Models for Logic Programming -A Review.- 3.The Petri Net Model - A New Approach.- 4.Realization of A Parallel Architecture for the Petri Net Model.- 5.Parsing and Task Assignment on to the Proposed Parallel Architecture.- 6.Logic Programming in Database Applications.- Appendix A: Simulation of the Proposed Modular Architecture.- Appendix B: Open-ended Problems for Dissertation Works/
* The book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to logic programming. It examines the existing models of distributed logic programming, analyses the pros and cons of these models, and proposes an alternative framework for distributed logic programming using extended Petri nets. The hardwired realization of the Petri net based framework is presented in detail. Principles of mapping of a logic program on to the proposed framework are also outlined. Finally, the book attempts to explore the scope of Petri net models in designing deductive database machines of the next generation. *
Inoue, K. et al.
Computational Logic in Multi-Agent Systems
7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006,
Revised Selected and Invited Papers
Springer-Verlag 2007.
315 pp. (P)
ISBN 3-540-69618-0
9,400円
Contents
* This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories grounded on computational logic to multi-agent systems specification, semantics and procedures, and confronts ideas such as autonomy, deliberation, knowledge, commitment, openness, trust, with the computational logic paradigms.
* The 14 revised full technical papers, 4 contest papers were carefully selected from 29 submissions and went through two rounds of reviewing and improvement. The topics of the regular papers include agent reasoning, such as deontic reasoning, probabilistic reasoning, contextual reasoning, decision making and abduction, agent communication, such as argumentation and dialogue, agent architecture and verification of multi-agent systems. The contest papers describe implemented agent architectures solving the gold mining domain. *
Chiswell, I. & Hodges, W.
Mathematical Logic
Oxford U.P. 2007.6
296 pp. (P)
ISBN 0-19-921562-6
9,700円
Contents
Preface / 1.Prelude / 2.Informal natural deduction / 3.Propositional logic / 4.First interlude: Wason's Selection Task / 5.Quantifier-free logic / 6.Second interlude: The Linda Problem / 7.First-order logic / 8.Postlude / A.The natural deduction rules / B.Denotational semantics / C.Solutions to some exercises / Index / **
* Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. *
690-24 登録日 07.11.18
