This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages.

The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency.

The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference.

Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh.

Rese�a del editor

This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages.The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency.The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference.Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

The Bookseller is located in Edmonton, Alberta, Canada. We offer a select stock (approximately 40,000 volumes) of used, rare, and out-of-print books including 19th and 20th century first editions and collectible literature, as well as illustrated and juvenile books, art, architecture, theology, church history, philosophy and history. We have major specializations in Christian Theology and ecclesiastical and literary catholica including the works of John Henry Cardinal Newman, G. K. Chesterton, H. Belloc, C. S. Lewis and similar authors. Please take some time to browse our listings at www.thebookseller.ca. We are always buying collections large or small within the areas noted above. Please feel free to contact us if you are selling, no matter where you are located, as we are willing to travel and make shipping arrangements.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

The Bookseller
AB, Canada

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Please note that we grade our books carefully and conservatively -- your satisfaction is our goal and is guaranteed! VISA and MasterCard payments processed by Abebooks' secure server. We also accept Canadian and US cheques, PayPal (sales@thebookseller.ca), and International money orders. Prices in other currencies available upon request. Canadian residents must add 5% GST. For orders outside of Canada, all importation fees, Customs fees and taxes are the responsibility of the buyer. ***Your orde...

Mehr Information

Versandbedingungen

Shipping within Canada is by CanadaPost Expedited Parcel or airmail depending on the weight of the package. Shipping to the USA is by CanadaPost Small Packets Surface. For packages over 1 kg, shipping is by Expedited Parcel USA. International shipping is by Small Packets Surface. Shipping rates are based on packages weighing 2.2 lbs (1 kg). On occasion, very heavy books, as well as sets, may require additional shipping charges. Larger, multi-volume orders can be shipped at actual cost. We will contact you in these cases in order to arrange shipping in accordance with your preference. Insurance may be purchased where necessary. ***Your order is shipped on the same business day as received***

****** INTERNATIONAL ORDERS ******
****** VERY IMPORTANT! ******

Travel time on International orders via regular parcel post can take up to 8 WEEKS to arrive. It averages 20-30 days, with some packages arriving faster than that, but 35+ day travel time is VERY common and quite normal, and can even be a bit longer if the package is held up in the Customs Department in your country waiting to be cleared for delivery.

The countries that take the longest are....
RUSSIA & UKRAINE (VERY LONG 50 to 60 days, even for PRIORITY MAIL!)
BRAZIL (40-50 days)
ITALY (35-45 days)
GERMANY (25-35 days)
AUSTRALIA (30-40 days of late for some unknown reason, however, this is not normal).

I do thank you for your patience. Airmail times are of course speedier.