» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 2041
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9780792351306 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: 22 dni roboczych 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi- cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec- ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ...
|
586,92 |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9780792351313 / Angielski / Twarda / 335 str. Termin realizacji zamówienia: 22 dni roboczych We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the- orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction...
We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of...
|
441,21 |
 |
Parallel, Object-Oriented, and Active Knowledge Base Systems
ISBN: 9780792381174 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge Base Systems are an integration of conventional database systems with Artificial Intelligence techniques. They provide inference capabilities to the database system by encapsulating the knowledge of the application domain within the database.
Knowledge is the most valuable of all corporate resources that must be captured, stored, re-used and continuously improved, in much the same way as database systems were important in the previous decade. Flexible, extensible, and yet efficient Knowledge Base Systems are needed to capture the increasing demand for knowledge-based... Knowledge Base Systems are an integration of conventional database systems with Artificial Intelligence techniques. They provide inference capabilitie...
|
cena:
825,37 |
 |
Information, Uncertainty and Fusion
ISBN: 9780792385905 / Angielski / Twarda / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As we stand at the precipice of the twenty first century the ability to capture and transmit copious amounts of information is clearly a defining feature of the human race. In order to increase the value of this vast supply of information we must develop means for effectively processing it. Newly emerging disciplines such as Information Engineering and Soft Computing are being developed in order to provide the tools required. Conferences such as the International Conference on Information Processing and ManagementofUncertainty in Knowledge-based Systems (IPMU) are being held to provide forums...
As we stand at the precipice of the twenty first century the ability to capture and transmit copious amounts of information is clearly a defining feat...
|
cena:
403,47 |
 |
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice
ISBN: 9780792386452 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally arisen as to the dependability of knowledge-based systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS and rigorous verification and validation (V&V) techniques must be employed. Research in V&V of KBS has emerged as a distinct field only in the last decade and is intended to address issues associated with quality and safety aspects of KBS and to credit such applications with the same...
Knowledge-based (KB) technology is being applied to complex problem-solving and critical tasks in many application domains. Concerns have naturally ar...
|
cena:
1068,14 |
 |
Managing Uncertainty in Expert Systems
ISBN: 9780792391692 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 3. Textbook for a course in expert systems, if an emphasis is placed on Chapters 1 to 3 and on a selection of material from Chapters 4 to 7. There is also the option of using an additional commercially available sheU for a programming project. In assigning a programming project, the instructor may use any part of a great variety of books covering many subjects, such as car repair. Instructions for mostofthe "weekend mechanic" books are close stylisticaUy to expert system rules. Contents Chapter 1 gives an introduction to the subject matter; it briefly presents basic concepts, history, and...
3. Textbook for a course in expert systems, if an emphasis is placed on Chapters 1 to 3 and on a selection of material from Chapters 4 to 7. There is ...
|
cena:
403,47 |
 |
Applications of Logic Databases
ISBN: 9780792395331 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
cena:
605,23 |
 |
The Knowledge Acquisition and Representation Language, Karl
ISBN: 9780792396017 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Within the framework of so-called second generation expert systems 62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions 166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual...
Within the framework of so-called second generation expert systems 62] knowledge modeling is one of the most important aspects. On the one hand, know...
|
cena:
605,23 |
 |
Reasoning with Complex Cases
ISBN: 9780792398820 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reasoning with Complex Cases emphasizes case retrieval methods based on structured cases as they are relevant for planning, configuration, and design, and provides a systematic view of the case reuse phase, centering on complex situations. So far, books on case-based reasoning considered comparatively simple situations only. This book is a coherent work, not a selection of separate contributions, and consists largely of original research results using examples taken from industrial design, biology, medicine, jurisprudence and other areas.
Reasoning with Complex Cases... Reasoning with Complex Cases emphasizes case retrieval methods based on structured cases as they are relevant for planning, configuration, an...
|
cena:
806,99 |
 |
Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods
ISBN: 9780792399063 / Angielski / Twarda / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge-based systems are increasingly found in a wide variety of settings and this handbook has been written to meet a specific need in their widening use. While there have been many successful applications of knowledge-based systems, some applications have failed because they never received the corrective feedback that evaluation provides for keeping development focused on the users' needs in their actual working environment. This handbook provides a conceptual framework and compendium of methods for performing evaluations of knowledge-based systems during their development. Its focus is...
Knowledge-based systems are increasingly found in a wide variety of settings and this handbook has been written to meet a specific need in their widen...
|
cena:
825,37 |
 |
Decision-Analytic Intelligent Systems: Automated Explanation and Knowledge Acquisition
ISBN: 9780805811056 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a framework for building intelligent systems based on the mathematical decision models of Decision Analysis. The author provides new techniques for automated explanation and knowledge acquisition in formally sound systems that reason about complex tradeoffs in decisions. Also included are specifications for implementing these techniques in computer programs, along with demonstration applications in marketing, process control, and medicine.
Readers with an interest in artificial intelligence will gain a foundation for building formally justifiable, intelligible,... This book presents a framework for building intelligent systems based on the mathematical decision models of Decision Analysis. The author provides ne...
|
cena:
713,07 |
 |
Cognitive Architectures in Artificial Intelligence: The Evolution of Research Programs
ISBN: 9780815327691 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First published in 1998. Routledge is an imprint of Taylor & Francis, an informa company.
First published in 1998. Routledge is an imprint of Taylor & Francis, an informa company.
|
cena:
78,63 |
 |
Expert Systems: Introduction to First and Second Generation and Hybrid Knowledge Based Systems
ISBN: 9780824799274 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offering an introduction to the field of expert/knowledge based systems, this text covers current and emerging trends as well as future research areas. It considers both the system shell and programming environment approaches to expert system development.;College or university bookshops may order five or more copies at a special student price. Price is available on request.
Offering an introduction to the field of expert/knowledge based systems, this text covers current and emerging trends as well as future research areas...
|
cena:
983,54 |
 |
The Handbook of Applied Expert Systems
ISBN: 9780849331060 / Angielski / Twarda / 736 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Applied Expert Systems is a landmark work dedicated solely to this rapidly advancing area of study. Edited by Jay Liebowitz, a professor, author, and consultant known around the world for his work in the field, this authoritative source covers the latest expert system technologies, applications, methodologies, and practices. The book features contributions from more than 40 of the world's foremost expert systems authorities in industry, government, and academia.
The Handbook is organized into two major sections. The first section explains expert systems technologies while... The Handbook of Applied Expert Systems is a landmark work dedicated solely to this rapidly advancing area of study. Edited by Jay Liebowitz, a profess...
|
cena:
1155,65 |
 |
Hybrid Architectures for Intelligent Systems
ISBN: 9780849342295 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid architecture for intelligent systems is a new field of artificial intelligence concerned with the development of the next generation of intelligent systems. This volume is the first book to delineate current research interests in hybrid architectures for intelligent systems.
The book is divided into two parts. The first part is devoted to the theory, methodologies, and algorithms of intelligent hybrid systems. The second part examines current applications of intelligent hybrid systems in areas such as data analysis, pattern classification and recognition, intelligent robot control,... Hybrid architecture for intelligent systems is a new field of artificial intelligence concerned with the development of the next generation of intelli...
|
cena:
983,54 |
 |
Artificial Intelligence and Expert Systems for Engineers
ISBN: 9780849391255 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a comprehensive presentation of artificial intelligence (AI) methodologies and tools valuable for solving a wide spectrum of engineering problems. What's more, it offers these AI tools on an accompanying disk with easy-to-use software.
Artificial Intelligence and Expert Systems for Engineers details the AI-based methodologies known as: Knowledge-Based Expert Systems (KBES); Design Synthesis; Design Critiquing; and Case-Based Reasoning. KBES are the most popular AI-based tools and have been successfully applied to planning, diagnosis, classification, monitoring, and... This book provides a comprehensive presentation of artificial intelligence (AI) methodologies and tools valuable for solving a wide spectrum of engine...
|
cena:
983,54 |
 |
Expert Systems Applications in Integrated Network Management
ISBN: 9780890063781 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While many books focus on the broader, socially ethical topics of widening participation and promoting equal opportunities, this text focuses specifically on the lecturer's professional responsibilities. It covers everyday, real-life moral dilemmas which confront university teachers when dealing with students and colleagues - whether arising from facilitated discussion in the classroom, deciding whether it is fair to extend a deadline, investigating suspected plagiarism or dealing with complaints.
While many books focus on the broader, socially ethical topics of widening participation and promoting equal opportunities, this text focuses specific...
|
cena:
600,73 |
 |
Intelligent Information Processing: Ifip 17th World Computer Congress -- Tc12 Stream on Intelligent Information Processing August 25-30, 2002, Montréa
ISBN: 9781402071713 / Angielski / Twarda / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intelligent information processing has become one of the key issues on our way to a knowledge society. Recent research has led to exciting advances in technologies that will shape our future. Knowledge-based systems have matured to provide services in a well-founded ontological framework, and intelligent knowledge management can be supported by tools that are ready for practical applications.
Intelligent Information Processing presents new research with special emphasis on knowledge-based system architecture and intelligent information management. The following topics are... Intelligent information processing has become one of the key issues on our way to a knowledge society. Recent research has led to exciting advances in...
|
cena:
825,37 |
 |
C4.5: Programs for Machine Learning
ISBN: 9781558602380 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Classifier systems play a major role in machine learning and knowledge-based systems, and Ross Quinlan's work on ID3 and C4.5 is widely acknowledged to have made some of the most significant contributions to their development. This book is a complete guide to the C4.5 system as implemented in C for the UNIX environment. It contains a comprehensive guide to the system's use, the source code (about 8,800 lines), and implementation notes. C4.5 starts with large sets of cases belonging to known classes. The cases, described by any mixture of nominal and numeric properties, are... Classifier systems play a major role in machine learning and knowledge-based systems, and Ross Quinlan's work on ID3 and C4.5 is widely acknowledge... |
cena:
260,59 |
 |
Swarm Intelligence
ISBN: 9781558605954 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Traditional methods for creating intelligent computational systems have Traditional methods for creating intelligent computational systems have |
cena:
442,54 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
