Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system. The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture. End-of-chapter bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.

There are many invaluable books available on data mining theory and applications. However, in compiling a volume titled “DATA MINING: Foundations and Intelligent Paradigms: Volume 2: Core Topics including Statistical, Time-Series and Bayesian Analysis” we wish to introduce some of the latest developments to a broad audience of both specialists and non-specialists in this field.

This research book contains a sample of most recent research in the area of intelligent autonomous systems. The contributions include: General aspects of intelligent autonomous systems Design of intelligent autonomous robots Biped robots Robot for stair-case navigation Ensemble learning for multi-source information fusion Intelligent autonomous systems in psychiatry Condition monitoring of internal combustion engine Security management of an enterprise network High dimensional neural nets and applications This book is directed to engineers, scientists, professor and the undergraduate/postgraduate students who wish to explore this field further.

This book constitutes the refereed proceedings of the 10th International Symposium on Methodologies for Intelligent Systems, ISMIS'97, held in Charlotte, NC, USA, in October 1997. The 57 revised full papers were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, learning and knowledge discovery, AI-Logics, discovery systems, data mining, query processing, etc.

This book constitutes the refereed proceedings of the 11th International Symposium on Methodologies for Intelligent Systems, ISMIS '99, held in Warsaw, Poland, in June 1999. The 66 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 115 submissions. The volume is divided into topical sections on logics for AI, intelligent information retrieval, intelligent information systems, learning and knowledge discovery, computer vision, knowledge representation, and evolutionary computation.

This book will be bought by researchers and graduates students in Artificial Intelligence and management as well as practising managers and consultants interested in the application of IT and information systems in real business environment.

This collection of essays -- each of which treats an integral aspect of the field -- defines several key concepts and their interrelationships, outlines basic research issues, and discusses near-term applications projects. The book examines three foundations of ITSs in detail -- expert, student diagnostic, and instructional or curricular knowledge -- and describes: * How they are embodied in computer-assisted instructional environments * How these systems accrue the advantages of advanced computer interface technologies * How ITSs will emerge in the real world of complex problem solving * How researchers must learn to evaluate the effectiveness and overall quality of these dynamic systems in a world where machine tutoring may one day be taken for granted. Justine Wise Polier (1903-1987) was educated at Bryn Mawr, Radcliffe, and Barnard. She earned her law degree from Yale Law School where she was editor of the Yale Law Journal. In 1935, she was appointed Justice of the Family Court where she sat for 38 years. Judge Polier took a leave from the bench in 1941 when she was appointed special advisor to Eleanor Roosevelt at the Office of Civilian Defense in Washington. She also served as Chairman of the Committee on Mental Health for New York. Judge Polier was a founder and president of the Wiltwyck School; vice president of the Citizens Committee for Children of N.Y.; vice president of the American Jewish Congress; Delegate to the White House Conferences on Children and on Education. Judge Polier was a member of the Institute of Judicial Administration, American Bar Association. She was on the editorial board of the International Juridical Association and was awarded the 1964 Isaac Ray Award by the American Psychiatric Association for "contributions to the improvement of the relations of Law and Psychiatry." Following her retirement from the bench, she served as the director of the Juvenile Judge division of the Children's Defense Fund. During her illustrious career, Judge Polier was the recipient of numerous awards including: the Citation for Distinguished Service to the City of New York, 1973; the Human Services Award from the New York and Bronx Mental Health Association, 1973; the Eleanor Roosevelt Humanitarian Award from the Board of Directors of Wiltwyck School, 1975. Judge Polier also published numerous reports and several books including: Everyone's Children, Nobody's Child; Back to What Woodshed?; A View from the Bench; and The Rule of Law and the Role of Psychiatry.