14.0%OFF
Download App
| >> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | Logic-based Knowledg... |
14.0%OFF
Logic-Based Knowledge Representation (Logic Programming)
-
ISBN
:
9780262100380
-
Publisher
:
The MIT Press
-
Subject
:
Mathematics, Computer Programming / Software Development, Computer Science
-
Binding
:
HARDCOVER
-
Pages
:
273
-
Year
:
1989
₹
4265.0
14.0% OFF
₹
3667.0
3667.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View Details
-
Description
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.
Related Items
-
of
-
OFFER
The Electronic Design Studio: Architectural Education in the Computer Era
Malcolm McCullough
Starts At
6602.0
7677.0
14% OFF
-
OFFER
Artificial Life VI: Proceedings of the Sixth International Conference on Artificial Life (Complex Adaptive Systems)
Cristoph Adami
Starts At
5834.0
7677.0
24% OFF
-
OFFER
Perspectives in Information Management 1 (v. 1)
Charles Oppenheim
Starts At
14668.0
17056.0
14% OFF
-
OFFER
Probabilistic Similarity Networks (ACM Doctoral Dissertation Award)
David Heckerman
Starts At
2934.0
3412.0
14% OFF
-
OFFER
Do the Right Thing: Studies in Limited Rationality (Artificial Intelligence)
Stuart Russell
Starts At
2934.0
3412.0
14% OFF
-
OFFER
Vision, Instruction, and Action (Artificial Intelligence)
David Chapman
Starts At
3081.0
3583.0
14% OFF
-
OFFER
Ssadm in Practice (Macmillan Computer Science Ser)
Joyce Duncan
Starts At
2286.0
2659.0
14% OFF
-
OFFER
Computer-Based Diagnostic Systems (Practitioner Series)
Chris Price
Starts At
8187.0
8529.0
4% OFF
-
OFFER
A New Paradigm of Knowledge Engineering by Soft Computing (Fuzzy Logic Systems Institute Soft Computing)
Japan) International Conference on Soft Computing 1998 (Iizuka-Shi
Starts At
19073.0
22178.0
14% OFF
-
OFFER
Godel, Escher, Bach: An Eternal Golden Braid, 20th Anniversary Edition
Douglas R. Hofstadter
Starts At
813.0
1099.0
26% OFF
-
OFFER
Moral Minds: How Nature Designed Our Universal Sense of Right and Wrong
Marc Hauser
Starts At
865.0
1169.0
26% OFF
-
OFFER
How to Mind Map : The Thinking Tool That Will Change Your Life 01 Edition
Tony Buzan
Starts At
262.0
350.0
25% OFF
