Reasoning with limited resources: An LDS-based approach
Author
Editor
- B Tessem
- P Ala-Siuru
- Patrick Doherty
- Brian Mayoh
Summary, in English
Our work is based on the assumption that Labelled Deductive Systems offer appropriate metamathematical methodology to study the problem. As a first step, we have reformulated a pair of systems, namely the step logic and the memory model proposed by Elgot-Drapkin, as Labelled Deductive Systems. This paper presents our motivation behind this project and presents in some detail the first system.
Department/s
- Computer Science
Publishing year
2003
Language
English
Pages
13-24
Publication/Series
Eight Scandinavian Conference on Artificial Intelligence
Document type
Conference paper
Publisher
IOS Press
Topic
- Computer Science
Conference name
Eight Scandinavian Conference on Artificial Intelligence, SCAI'03
Conference date
2003-11-02 - 2003-11-04
Conference place
Bergen, Norway
Status
Published
ISBN/ISSN/Other
- ISBN: 978-1-58603-390-3