Handbook of Logic in Artificial Intelligence and Logic Programming Volume 4: Epistemic and temporal reasoning

Gabbay, Dov M., Hogger, C. J., Robinson, J. A., Galton, Antony i A.

ISBN 10: 0198537913 / ISBN 13: 9780198537915

Verlag: Oxford University Press, 1995

Beschreibung

*Price HAS BEEN REDUCED by 10% until Monday, June 9 (weekend SALE item)* 628 pp., hardcover, NEW!! - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request. Bestandsnummer des Verkäufers ZB1319968

Bibliografische Details

Titel: Handbook of Logic in Artificial Intelligence...

Verlag: Oxford University Press

Erscheinungsdatum: 1995

Einband: Hardcover

Zustand: New

Über diesen Titel

Inhaltsangabe:

Knowledge, belief, and time can all qualify statements of truth and falsity. This volume addresses the modal logics involved in such qualifications, by modelling of the changing state of knowledge and belief through time. The first three chapters survey reasoning by knowledge, and the need to update belief systems to deal with contradictory information. The next two chapters address the relationship of time and change, and include a review and comparison of existing models. An analysis of computational issues in temporal logic - executable temporal logic, temporal databases, and logic programming - and an overview of current research in non-monotonic reasoning strategies follow. The final chapter focuses on modal resolution techniques as applied to the logic of knowledge and time. This book is intended for the volume is of interest to logicians, computer scientists, philosophers, linguists and AI researchers. It is of special use to researchers in deductive databases and object oriented approaches. Volume Co-ordinator:: Galton, A. (University of Exeter);