BDD-based reasoning in the fluent calculus - first results

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

The paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision diagrams. After reporting on an initial experiment showing promising results we discuss our findings concerning various techniques and heuristics used to speed up the reasoning process.
9 pages; Workshop on Nonmonotonic Reasoning 2000 (NMR 2000)

Keywords

Artificial Intelligence, I.2.8; I.2.3; F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30207

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0003047
 http://arxiv.org/abs/cs/0003047

Collections

arXiv