مشخصات کتاب

Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology

ویرایش:  
نویسندگان: G. Lambert-Torres  
سری:  
ISBN (شابک) : 1586039369, 9781441605443 
ناشر: IOS Press 
سال نشر: 2008 
تعداد صفحات: 297 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در کاربردهای فناوری سیستم های منطقی و هوشمند: مقالات برگزیده از ششمین کنگره منطق کاربردی در فناوری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب پیشرفت در کاربردهای فناوری سیستم های منطقی و هوشمند: مقالات برگزیده از ششمین کنگره منطق کاربردی در فناوری

در قرن بیستم، منطق سرانجام تعدادی کاربرد مهم پیدا کرد و حوزه های مختلف تحقیقاتی جدید در آن زمان به وجود آمد، به ویژه پس از توسعه محاسبات و پیشرفت حوزه های دانش مرتبط (هوش مصنوعی، رباتیک، اتوماتا، برنامه نویسی منطقی، بیش از حد). محاسبات و غیره). این اتفاق نه تنها در حوزه منطق های کلاسیک، بلکه در حوزه کلی منطق های غیر کلاسیک نیز رخ داد. این یک ویژگی جالب تاریخ منطق را آشکار می کند: علیرغم ویژگی نظری آن، در حال حاضر ابزار فوق العاده مهمی در همه حوزه های دانش است، درست مانند فلسفه، ریاضیات، علوم طبیعی، علوم انسانی و فناوری. علاوه بر این، برخی از منطق‌های جدید از نیازهای حوزه‌های معین دانش الهام گرفته شده‌اند و تکنیک‌ها و روش‌های مختلف جدیدی ایجاد شده‌اند که تا حدی تحت تأثیر و هدایت دیدگاه‌های منطقی قرار گرفته‌اند. پیشرفت‌ها در کاربردهای فناوری سیستم‌های منطقی و هوشمند حاوی مقالاتی در مورد کاربردهای فن‌آوری مرتبط روش‌های منطقی و برخی از توسعه‌های آنها است و ایده روشنی از برخی کاربردهای فعلی روش‌های منطقی (و مشابه) برای مشکلات متعدد، از جمله مفاهیم و نتایج جدید مرتبط، ارائه می‌دهد. به ویژه آنهایی که به منطق ناسازگار مربوط می شوند. این کتاب مورد توجه مخاطبان وسیعی است: منطق‌دانان محض، منطق‌دانان کاربردی، ریاضیدانان، فیلسوفان و مهندسان. IOS Press یک ناشر بین‌المللی علمی، فنی و پزشکی کتاب‌های با کیفیت بالا برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه‌ها است. برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر

توضیحاتی درمورد کتاب به خارجی

In the twentieth century, logic finally found a number of important applications and various new areas of research originated then, especially after the development of computing and the progress of the correlated domains of knowledge (artificial intelligence, robotics, automata, logical programming, hyper-computation, etc.). This happened not only in the field of classical logics, but also in the general field of non-classical logics. This reveals an interesting trait of the history of logic: despite its theoretical character, it constitutes, at present, an extraordinarily important tool in all domains of knowledge, in the same way as philosophy, mathematics, natural science, the humanities and technology. Moreover, certain new logics were inspired by the needs of specific areas of knowledge, and various new techniques and methods have been created, in part influenced and guided by logical views. Advances in Technological Applications of Logical and Intelligent Systems contains papers on relevant technological applications of logical methods and some of their extensions and gives a clear idea of some current applications of logical (and similar) methods to numerous problems, including relevant new concepts and results, in particular those related to paraconsistent logic. This book is of interest to a wide audience: pure logicians, applied logicians, mathematicians, philosophers and engineers.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences

فهرست مطالب

Title page......Page 2
Preface......Page 6
Foreword......Page 8
Contents......Page 10
Algebraic Framework for Reverse Engineering on Specifications......Page 12
An Attempt to Express the Semantics of the Adaptive Devices......Page 24
Temporal Logic Applied in Information Systems......Page 39
A Heuristic Approach to the Cable Routing Problem in Electrical Panels......Page 66
Avatars Animation Using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments......Page 78
Annotated Paraconsistent Logic......Page 96
Creation of Virtual Environments Through Knowledge-Aid Declarative Modeling......Page 125
Further Results on Multiobjective Evolutionary Search for One-Dimensional, Density Classifier, Cellular Automata, and Strategy Analysis of the Rules......Page 144
Paraconsistent Logic Applied in Expert System for Support in Electric Transmission Systems Re-Establishment......Page 171
Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity......Page 191
Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems......Page 205
Intelligent Vehicle Survey and Applications......Page 216
Paraconsistent Autonomous Mobile Robot Emmy III......Page 247
Software Development for Underground and Overhead Distribution System Design......Page 270
Distribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approach Implementation......Page 281
Author Index......Page 296

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Lo Scudo di Talos

دانلود کتاب Identity Papers: Contested Nationhood in Twentieth-Century France

دانلود کتاب Free and Fair Elections

دانلود کتاب The Flowing Light of the Godhead

دانلود کتاب Strong Roots Have No Fear: Empowering Children to Thrive in a Multicultural World with Intuitive Parenting