05505nam 2200697 a 450 991014160100332120230801230420.01-118-60156-41-118-60145-91-118-60137-8(CKB)2670000000336698(EBL)1124705(OCoLC)828298714(SSID)ssj0000833974(PQKBManifestationID)11461911(PQKBTitleCode)TC0000833974(PQKBWorkID)10955118(PQKB)10261242(MiAaPQ)EBC1124705(Au-PeEL)EBL1124705(CaPaEBR)ebr10660573(CaONFJC)MIL527833(EXLCZ)99267000000033669820110819d2012 uy 0engurcn|||||||||txtccrQualitative spatial and temporal reasoning[electronic resource] /Gérard LigozatLondon, U.K. ISTE ;Hoboken, N.J. Wiley20121 online resource (539 p.)ISTEDescription based upon print version of record.1-84821-252-6 Includes bibliographical references (p. [471]-500) and index.Cover; Qualitative Spatial and Temporal Reasoning; Title Page; Copyright Page; Table of Contents; Introduction. Qualitative Reasoning; Chapter 1. Allen's Calculus; 1.1. Introduction; 1.1.1. ""The mystery of the dark room""; 1.1.2. Contributions of Allen's formalism; 1.2. Allen's interval relations; 1.2.1. Basic relations; 1.2.2. Disjunctive relations; 1.3. Constraint networks; 1.3.1. Definition; 1.3.2. Expressiveness; 1.3.3. Consistency; 1.4. Constraint propagation; 1.4.1. Operations: inversion and composition; 1.4.2. Composition table; 1.4.3. Allen's algebra; 1.4.4. Algebraic closure1.4.5. Enforcing algebraic closure 1.5. Consistency tests; 1.5.1. The case of atomic networks; 1.5.2. Arbitrary networks; 1.5.3. Determining polynomial subsets; Chapter 2. Polynomial Subclasses of Allen's Algebra; 2.1. ""Show me a tractable relation!""; 2.2. Subclasses of Allen's algebra; 2.2.1. A geometrical representation of Allen's relations; 2.2.2. Interpretation in terms of granularity; 2.2.3. Convex and pre-convex relations; 2.2.4. The lattice of Allen's basic relations; 2.2.5. Tractability of convex relations; 2.2.6. Pre-convex relations; 2.2.7. Polynomiality of pre-convex relations2.2.8. ORD-Horn relations 2.3. Maximal tractable subclasses of Allen's algebra; 2.3.1. An alternative characterization of pre-convex relations; 2.3.2. The other maximal polynomial subclasses; 2.4. Using polynomial subclasses; 2.4.1. Ladkin an Reinefeld's algorithm; 2.4.2. Empirical study of the consistency problem; 2.5. Models of Allen's language; 2.5.1. Representations of Allen's algebra; 2.5.2. Representations of the time-point algebra; 2.5.3. א0-categoricity of Allen's algebra; 2.6. Historical note; Chapter 3.neralized Intervals; 3.1. ""When they built the bridge"3.1.1. Towards generalized intervals 3.2. Entities and relations; 3.3. The lattice of basic (p, q)-relations; 3.4. Regions associated with basic (p, q)-relations; 3.4.1. Associated polytopes; 3.4.2. M-convexity of the basic relations; 3.5. Inversion and composition; 3.5.1. Inversion; 3.5.2. Composition; 3.5.3. The algebras of generalized intervals; 3.6. Subclasses of relations: convex and pre-convex relations; 3.6.1. (p, q)-relations; 3.6.2. Convex relations; 3.6.3. Pre-convex relations; 3.7. Constraint networks; 3.8. Tractability of strongly pre-convex relations; 3.8.1. ORD-Horn relations3.9. Conclusions 3.10. Historical note; Chapter 4. Binary Qualitative Formalisms; 4.1. ""Night driving""; 4.1.1. Parameters; 4.1.2. A panorama of the presented formalisms; 4.2. Directed points in dimension 1; 4.2.1. Operations; 4.2.2. Constraint networks; 4.2.3. Networks reducible to point networks; 4.2.4. Arbitrary directed point networks; 4.3. Directed intervals; 4.3.1. Operations; 4.3.2. Constraint networks and complexity; 4.4. The OPRA direction calculi; 4.5. Dipole calculi; 4.6. The Cardinal direction calculus; 4.6.1. Convex and pre-convex relations; 4.6.2. Complexity4.7. The Rectangle calculusStarting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades. It describes the connection of complexity issues to geometric properties. Models of the formalisms are described using the algebraic notion of weak representations of the associated algebras. The book also includes a presentation of fuzzy extensions of qualitative calculi, and a description of the study of complexity in terms of clones of operations.ISTEQualitative reasoningSpatial analysis (Statistics)Space and timeMathematical modelsLogic, Symbolic and mathematicalQualitative reasoning.Spatial analysis (Statistics)Space and timeMathematical models.Logic, Symbolic and mathematical.511.3Ligozat Gérard982311MiAaPQMiAaPQMiAaPQBOOK9910141601003321Qualitative spatial and temporal reasoning2242087UNINA04315nam 2200697 a 450 991095931750332120251117095802.09780300180923030018092610.12987/9780300180923(CKB)2550000000105043(StDuBDS)AH24485794(SSID)ssj0000719998(PQKBManifestationID)11479663(PQKBTitleCode)TC0000719998(PQKBWorkID)10679202(PQKB)11457623(MiAaPQ)EBC3420997(DE-B1597)486279(OCoLC)808346537(DE-B1597)9780300180923(Au-PeEL)EBL3420997(CaPaEBR)ebr10579396(Perlego)1089852(OCoLC)808346537(EXLCZ)99255000000010504320010810h20022002 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAt the end of an age /John LukacsNew Haven :Yale University Press,2002.©20021 online resource (x, 230 pages)Bibliographic Level Mode of Issuance: Monograph9780300092967 0300092962 Includes bibliographical references and index.Frontmatter --Contents --A Brief Introduction --A Few Acknowledgments --One. At The End Of An Age Convictions: A Personal Envoi. The Evolution Of ''Modern.'' Main Features Of The Modern Age. Contradictory Dualities. ''Post-Modern.'' The Need To Rethink The Current Idea Of ''Progress.'' --Two. The Presence Of Historical Thinking My Vocation. The Historicity Of Our Thinking. Professional History. Justice/Truth. The Appetite For History. History And The Novel. History At The End Of A Historical Age. --Four. An Illustration 1959. The Limits Of Knowledge. The Limits Of Objectivity. The Limits Of Definitions. The Limits Of Mathematics. The Inevitability Of Relationships. Inevitable Unpredictability. Insufficient Materialism. The Limits Of Idealism. --Five. At The Center Of The Universe Timeliness, And Limitations Of My Argument. Heisenberg And Duhem. At The Center Of The Universe. Conditions Of Belief. A Necessity For Christians. --IndexAt the End of an Age is a deeply informed and rewarding reflection on the nature of historical and scientific knowledge. Of extraordinary philosophical, religious, and historical scope, it is the product of a great historian's lifetime of thought on the subject of his discipline and the human condition. While running counter to most of the accepted ideas and doctrines of our time, it offers a compelling framework for understanding history, science, and man's capacity for self-knowledge.In this work, John Lukacs describes how we in the Western world have now been living through the ending of an entire historical age that began in Western Europe about five hundred years ago. Unlike people during the ending of the Middle Ages or the Roman empire, we can know where we are. But how and what is it that we know?In John Lukacs's view, there is no science apart from scientists, and all of "Science," including our view of the universe, is a human creation, imagined and defined by fallible human beings in a historical continuum. This radical and reactionary assertion-in its way a summa of the author's thinking, expressed here and there in many of his previous twenty-odd books-leads to his fundamental assertion that, contrary to all existing cosmological doctrines and theories, it is this earth which is the very center of the universe-the only universe we know and can know.Civilization, Modern1950-PhilosophyPostmodernismScience and civilizationDualismMonismCivilization, ModernPhilosophy.Postmodernism.Science and civilization.Dualism.Monism.121Lukacs John1924-2019.1175639MiAaPQMiAaPQMiAaPQBOOK9910959317503321At the end of an age4366466UNINA