Reasoning with limited resources: An LDS-based approach
Asker, Mikael and Malec, Jacek LU
(2003)
Eight Scandinavian Conference on Artificial Intelligence, SCAI'03
p.13-24
- Abstract
- 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,... (More) - 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. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/959318
- author
- Asker, Mikael
and Malec, Jacek
LU
- organization
- publishing date
- 2003
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Eight Scandinavian Conference on Artificial Intelligence
- editor
- Tessem, B ; Ala-Siuru, P ; Doherty, Patrick and Mayoh, Brian
- pages
- 13 - 24
- publisher
- IOS Press
- conference name
- Eight Scandinavian Conference on Artificial Intelligence, SCAI'03
- conference location
- Bergen, Norway
- conference dates
- 2003-11-02 - 2003-11-04
- ISBN
- 978-1-58603-390-3
- language
- English
- LU publication?
- yes
- id
- 30703cc4-805c-467b-9a60-49d543c742d9 (old id 959318)
- date added to LUP
- 2016-04-04 11:46:33
- date last changed
- 2021-10-05 02:26:18
@inproceedings{30703cc4-805c-467b-9a60-49d543c742d9,
abstract = {{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. <br/><br>
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.}},
author = {{Asker, Mikael and Malec, Jacek}},
booktitle = {{Eight Scandinavian Conference on Artificial Intelligence}},
editor = {{Tessem, B and Ala-Siuru, P and Doherty, Patrick and Mayoh, Brian}},
isbn = {{978-1-58603-390-3}},
language = {{eng}},
pages = {{13--24}},
publisher = {{IOS Press}},
title = {{Reasoning with limited resources: An LDS-based approach}},
year = {{2003}},
}