Du är här

Reasoning with limited resources: An LDS-based approach

Författare:
Redaktör:
  • B Tessem
  • P Ala-Siuru
  • Patrick Doherty
  • Brian Mayoh
Publiceringsår: 2003
Språk: Engelska
Sidor: 13-24
Publikation/Tidskrift/Serie: Eight Scandinavian Conference on Artificial Intelligence
Dokumenttyp: Konferensbidrag
Förlag: IOS Press

Sammanfattning

Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in knowledge-intensive embedded systems. Classical logic is usually considered inapropriate for this purpose as no guarantees regarding deadlines can be made. One of the more interesting approaches to address this problem is built around the concept of active logics. Although a step in the right direction, active logics still do not offer the ultimate solution.
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.

Disputation

Nyckelord

  • Technology and Engineering
  • Mathematics and Statistics

Övriga

Eight Scandinavian Conference on Artificial Intelligence, SCAI'03
2003-11-02/2003-11-04
Bergen, Norway
Published
Yes
  • ISBN: 978-1-58603-390-3

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu [dot] se

 

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen