» książki » Computers - Artificial Intelligence - Expert Systems
topmenu
Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems
ilość książek w kategorii: 1969
 |
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: ok. 5-8 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 ...
|
cena:
806,99 zł |
 |
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: ok. 5-8 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...
|
cena:
605,23 zł |
 |
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:
605,23 zł |
 |
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 zł |
 |
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:
806,99 zł |
 |
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 zł |
 |
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 zł |
 |
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 zł |
 |
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 zł |
 |
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:
605,23 zł |
 |
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:
657,15 zł |
 |
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:
924,88 zł |
 |
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:
1070,92 zł |
 |
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:
599,09 zł |
 |
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:
605,23 zł |
 |
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:
257,94 zł |
 |
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:
438,05 zł |
 |
Knowledge Representation and Reasoning
ISBN: 9781558609327 / Angielski / Twarda / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a...
Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from th...
|
cena:
365,03 zł |
 |
An Imitation-Based Approach to Modeling Homogenous Agents Societies
ISBN: 9781591408390 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As interest in computer, cognitive, and social sciences grow, the need for alternative approaches to models in related-disciplines thrives. An Imitation-Based Approach to Modeling Homogenous Agents Societies offers a framework for modeling societies of autonomous agents that is heavily based on fuzzy algebraic tools. This publication overviews platforms developed with the purpose of simulating hypotheses or harvesting data from human subjects in efforts for calibration of the model of early learning in humans. An Imitation-Based Approach to Modeling Homogenous Agents Societies reaches out to...
As interest in computer, cognitive, and social sciences grow, the need for alternative approaches to models in related-disciplines thrives. An Imitati...
|
cena:
485,31 zł |
 |
Artificial Intelligence for Advanced Problem Solving Techniques
ISBN: 9781599047058 / Angielski / Twarda / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the most important functions of artificial intelligence, automated problem solving, consists mainly of the development of software systems designed to find solutions to problems. These systems utilize a search space and algorithms in order to reach a solution.
One of the most important functions of artificial intelligence, automated problem solving, consists mainly of the development of software systems desi...
|
cena:
920,01 zł |
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
