Petr H?jek on Mathematical Fuzzy Logic, Franco Montagna
Àâòîð: Herbert Enderton Íàçâàíèå: A Mathematical Introduction to Logic, ISBN: 0122384520 ISBN-13(EAN): 9780122384523 Èçäàòåëüñòâî: Elsevier Science Ðåéòèíã: Öåíà: 13994.00 ð. Íàëè÷èå íà ñêëàäå: Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.
Àâòîð: Petr Hajek Íàçâàíèå: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Èçäàòåëüñòâî: Cambridge Academ Ðåéòèíã: Öåíà: 16743.00 ð. 23918.00-30% Íàëè÷èå íà ñêëàäå: Åñòü (1 øò.) Îïèñàíèå: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
Îïèñàíèå: Offers a systematic study of the formal theory of fuzzy logic. This book includes the theory of functional systems in fuzzy logic, and provides an explanation of what can be represented, and how, by formulas of fuzzy logic calculi. It also presents an interpretation of fuzzy logic within the environment of other proper categories of fuzzy sets.
Àâòîð: Frederick E. Petry; Vincent B. Robinson; Maria A. Íàçâàíèå: Fuzzy Modeling with Spatial Information for Geographic Problems ISBN: 3642062644 ISBN-13(EAN): 9783642062643 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 26120.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Reasoning About Regions, Relations, and Fields.- Fuzzy Reasoning about Geographic Regions.- Combined Extraction of Directional and Topological Relationship Information from 2D Concave Objects.- Field Based Methods for the Modeling of Fuzzy Spatial Data.- Modeling Localities with Fuzzy Sets and GIS.- Fuzzy Classification.- Mining Weather Data Using Fuzzy Cluster Analysis.- Modelling the Fuzzy Spatial Extent of Geographical Entities.- Multi-Dimensional Interpolations with Fuzzy Sets.- Talking Space - A Social & Fuzzy Logical GIS Perspective On Modelling Spatial Dynamics.- A Valuation of the Reliability of a GIS Based on the Fuzzy Logic in a Concrete Case Study.- Fuzzy Representations of Landscape Features.- Fuzziness and Ambiguity in Multi-Scale Analysis of Landscape Morphometry.- Fuzzy Representation of Special Terrain Features Using a Similarity-based Approach.- Decision Making with GIS and Fuzzy Sets.- Spatial Decision-Making Using Fuzzy Decision Tables: Theory, Application and Limitations.- Spatial Decision Making Using Fuzzy GIS.- Spatially Explicit Individual-Based Ecological Modeling with Mobile Fuzzy Agents.
Àâòîð: Hájek Petr Íàçâàíèå: Metamathematics of Fuzzy Logic ISBN: 1402003706 ISBN-13(EAN): 9781402003707 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 12157.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named ‘fuzzy inference’ can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.
Îïèñàíèå: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
Àâòîð: Franco Montagna Íàçâàíèå: Petr H?jek on Mathematical Fuzzy Logic ISBN: 3319382950 ISBN-13(EAN): 9783319382951 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 13974.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå:
This volume celebrates the work of Petr H jek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on H jek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of H jek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic.
Articles in the volume also focus on the treatment of vagueness, building connections between H jek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles.
Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication.
The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that H jek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call H jek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by H jek in the context of fuzzy logic.
Àâòîð: Petr H?jek Íàçâàíèå: Metamathematics of Fuzzy Logic ISBN: 0792352386 ISBN-13(EAN): 9780792352389 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 29768.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Offers a treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. This work aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference` can be naturally understood as logical deduction.
Îïèñàíèå: The proceedings of the conference `Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Goedel`s Legacy`, held in Brno, Czech Republic, on the 90th anniversary of Goedel`s birth. The papers in this volume cover the wide range of topics Goedel`s work touched, and affirm its continuing importance.
