Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

Reasoning with limited resources: An LDS-based approach

In English

Författare

Redaktör

  • B Tessem
  • P Ala-Siuru
  • Patrick Doherty
  • Brian Mayoh

Summary, in English

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.

Avdelning/ar

  • Computer Science

Publiceringsår

2003

Språk

Engelska

Sidor

13-24

Publikation/Tidskrift/Serie

Eight Scandinavian Conference on Artificial Intelligence

Dokumenttyp

Konferensbidrag

Förlag

IOS Press

Ämne

  • 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/Övrigt

  • ISBN: 978-1-58603-390-3