
Interactive Theorem Proving
Matt Kaufmann, Lawrence C. Paulson
₹4,675

Fusing DL Reasoning with HTN Planning in Autonomous Robots
Free delivery. Nothing extra to pay at checkout.
The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a goal. The information, that an agent may need, is acquired and stored in the DL model. Thus, the HDL is used as the main knowledge base system for the agent.
Description supplied by the publisher.