Visit our Christmas Gift Finder
Automated Deduction for Projection Elimination - Dissertations in Artificial Intelligence v. 324 (Paperback)
  • Automated Deduction for Projection Elimination - Dissertations in Artificial Intelligence v. 324 (Paperback)
zoom

Automated Deduction for Projection Elimination - Dissertations in Artificial Intelligence v. 324 (Paperback)

(author)
£48.00
Paperback 296 Pages / Published: 10/02/2009
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Projection is a logic operation which allows to express tasks in knowledge representation. These tasks involve extraction or removal of knowledge concerning a given sub-vocabulary. It is a generalization of second-order quantification, permitting, so to speak, to 'quantify' upon an arbitrary set of ground literals instead of just (all ground literals with) a given predicate symbol. In "Automated Deduction for Projection Elimination", a semantic characterization of projection for first-order logic is presented. On this basis, properties underlying applications and processing methods are derived. The computational processing of projection, called projection elimination in analogy to quantifier elimination, can be performed by adapted theorem proving methods. This is shown for resolvent generation and, more in depth, tableau construction. An abstract framework relates projection elimination with knowledge compilation and shows the adaption of key features of high performance tableau systems. As a prototypical instance, an adaption of a modern DPLL method, such as underlying state-of-the-art SAT solvers, is worked out. It generalizes various recent knowledge compilation methods and utilizes the interplay with projection elimination for efficiency improvements.

Publisher: IOS Press
ISBN: 9781586039837
Number of pages: 296

You may also be interested in...

Programming Game AI By Example
Added to basket
Artificial Intelligence for Games
Added to basket
Artificial Intelligence: The Basics
Added to basket
Artificial Intelligence
Added to basket
Thoughtful Machine Learning
Added to basket
Automata and Computability
Added to basket
Machine Learning
Added to basket
The Singularity Is Near
Added to basket
Emotion: A Very Short Introduction
Added to basket
The Elements of Statistical Learning
Added to basket
Dark Pools
Added to basket
£9.99
Paperback
Machine Learning
Added to basket
£37.99
Paperback
Understanding Beliefs
Added to basket
Essentials of Game Theory
Added to basket
Programming Computer Vision with Python
Added to basket

Please sign in to write a review

Your review has been submitted successfully.