Readings in Artificial Intelligence and Software Engineering

Readings in Artificial Intelligence and Software Engineering

Author: Charles Rich

Publisher: Morgan Kaufmann

ISBN: 9781483214429

Category: Computers

Page: 624

View: 779

Get eBOOK →
Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The ultimate goal of artificial intelligence applied to software engineering is automatic programming. Automatic programming would allow a user to simply say what is wanted and have a program produced completely automatically. This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive synthesis, program transformations, program verification, and programming tutors. The opening parts provide an introduction to the key ideas to the deductive approach, namely the correspondence between theorems and specifications and between constructive proofs and programs. These parts also describes automatic theorem provers whose development has be designed for the programming domain. The subsequent parts present generalized program transformation systems, the problems involved in using natural language input, the features of very high level languages, and the advantages of the programming by example system. Other parts explore the intelligent assistant approach and the significance and relation of programming knowledge in other programming system. The concluding parts focus on the features of the domain knowledge system and the artificial intelligence programming. Software engineers and designers and computer programmers, as well as researchers in the field of artificial intelligence will find this book invaluable.

Artificial Intelligence & Software Engineering

Artificial Intelligence & Software Engineering

Author: Derek Partridge

Publisher: Intellect Books

ISBN: 0893916064

Category: Computers

Page: 561

View: 754

Get eBOOK →
Aimed at the computer-literate person wishing to find out about the reality of exploiting the promise of artificial intelligence (AI) in practical, maintainable software systems, this text tries to avoid the hype usually associated with the subject. Instead, it presents the realities, the problems, the current state of the art, and future directions.

Engineering Artificial Intelligence Software

Engineering Artificial Intelligence Software

Author: Derek Partridge

Publisher: Intellect Books

ISBN: 1871516064

Category: Computers

Page: 212

View: 875

Get eBOOK →
Aimed at the computer-literate person wishing to find out about the reality of exploiting the promise of artificial intelligence (AI) in practical, maintainable software systems, this text tries to avoid the hype usually associated with the subject. Instead, it presents the realities, the problems, the current state of the art, and future directions.

Exploring Artificial Intelligence

Exploring Artificial Intelligence

Author: Howard E. Shrobe

Publisher: Morgan Kaufmann

ISBN: 9781483214450

Category: Computers

Page: 708

View: 410

Get eBOOK →
Exploring Artificial Intelligence: Survey Talks from the National Conference on Artificial Intelligence provides information pertinent to the distinct subareas of artificial intelligence research. This book discusses developments in machine learning techniques. Organized into six parts encompassing 16 chapters, this book begins with an overview of intelligent tutoring systems, which describes how to guide a student to learn new concepts. This text then links closely with one of the concerns of intelligent tutoring systems, namely how to interact through the utilization of natural language. Other chapters consider the various aspects of natural language understanding and survey the huge body of work that tries to characterize heuristic search programs. This book discusses as well how computer programs can create plans to satisfy goals. The final chapter deals with computational facilities that support. This book is a valuable resource for cognitive scientists, psychologists, domain experts, computer scientists, instructional designers, expert teachers, and research workers.

Agent-Oriented Software Engineering II

Agent-Oriented Software Engineering II

Author: Michael J. Wooldridge

Publisher: Springer

ISBN: 9783540706571

Category: Computers

Page: 330

View: 582

Get eBOOK →
Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly is that the concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. This recognition has led to the growth of interest in agents as a new paradigm for software engineering. This book reflects the state of the art in the field by presenting 14 revised full papers accepted for the second workshop on this topic, AOSE 2001, together with five invited survey articles. The book offers topical sections on societies and organizations, protocols and interaction frameworks, UML and agent systems, agent-oriented requirements capture and specification, and analysis and design.

Automatic Programming Applied to VLSI CAD Software: A Case Study

Automatic Programming Applied to VLSI CAD Software: A Case Study

Author: Dorothy E. Setliff

Publisher: Springer Science & Business Media

ISBN: 9781461315513

Category: Technology & Engineering

Page: 234

View: 120

Get eBOOK →
This book, and the research it describes, resulted from a simple observation we made sometime in 1986. Put simply, we noticed that many VLSI design tools looked "alike". That is, at least at the overall software architecture level, the algorithms and data structures required to solve problem X looked much like those required to solve problem X'. Unfortunately, this resemblance is often of little help in actually writing the software for problem X' given the software for problem X. In the VLSI CAD world, technology changes rapidly enough that design software must continually strive to keep up. And of course, VLSI design software, and engineering design software in general, is often exquisitely sensitive to some aspects of the domain (technology) in which it operates. Modest changes in functionality have an unfortunate tendency to require substantial (and time-consuming) internal software modifications. Now, observing that large engineering software systems are technology dependent is not particularly clever. However, we believe that our approach to xiv Preface dealing with this problem took an interesting new direction. We chose to investigate the extent to which automatic programming ideas cold be used to synthesize such software systems from high-level specifications. This book is one of the results of that effort.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011

Author: Roger Lee

Publisher: Springer

ISBN: 9783642222887

Category: Technology & Engineering

Page: 188

View: 120

Get eBOOK →
The purpose of the 12th Conference Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2011) held on July 6-8, 2011 in Sydney, Australia was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information sciences, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected 14 outstanding papers from SNPD 2011, all of which you will find in this volume of Springer’s Studies in Computational Intelligence.

Practical Knowledge Engineering

Practical Knowledge Engineering

Author: Richard Kelly

Publisher: Elsevier

ISBN: 9781483295817

Category: Computers

Page: 212

View: 812

Get eBOOK →
This book provides knowledge engineers with practical methods for initiating, designing, building, managing, and demonstrating successful commercial expert systems. It is a record of what actually works (and does not work) in the construction of expert systems, drawn from the author's decade of experience in building expert systems in all major areas of application for American, European, and Japanese organizations. The book features: * knowledge engineering programming techniques * useful skills for demonstrating expert systems * practical costing and metrics * guidelines for using knowledge representation techniques * solutions to common difficulties in design and implementation