Advanced

Reasoning with Limited Resources: Active Logics Expressed as Labeled Deductive Systems

Asker, Mikael and Malec, Jacek LU (2005) In Bulletin of the Polish Academy of Sciences: Technical Sciences 53(1). p.69-78
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 inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the moreinteresting approaches to address this problem is built around the concept of active logics. Although a step in the right direction, active logics are just a preliminary attempt towards finding an acceptable solution.

Our work is based on the assumption that Labeled Deductive Systems offer appropriate metamathematical methodology to study the problem. As a first step, we have reformulated a pair of active logics systems, namely the memory model and... (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 inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the moreinteresting approaches to address this problem is built around the concept of active logics. Although a step in the right direction, active logics are just a preliminary attempt towards finding an acceptable solution.

Our work is based on the assumption that Labeled Deductive Systems offer appropriate metamathematical methodology to study the problem. As a first step, we have reformulated a pair of active logics systems, namely the memory model and its formalized simplification, the step logic, as Labeled Deductive Systems.

This paper presents our motivation behind this project, followed by an overview of the investigations on meta-reasoning relevant to this work, and introduces in some reasonable detail the MM system. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
reasoning with limited resources, Active Logic, Labeled Deductive Systems
in
Bulletin of the Polish Academy of Sciences: Technical Sciences
volume
53
issue
1
pages
69 - 78
publisher
Polish Academy of Sciences
ISSN
0239-7528
language
English
LU publication?
yes
id
7822f6e6-4340-48be-9e64-4650e1ad3a4a (old id 959272)
alternative location
http://bulletin.pan.pl/(53-1)69.pdf
date added to LUP
2008-01-28 12:43:49
date last changed
2016-04-16 03:54:05
@article{7822f6e6-4340-48be-9e64-4650e1ad3a4a,
  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 inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the moreinteresting approaches to address this problem is built around the concept of active logics. Although a step in the right direction, active logics are just a preliminary attempt towards finding an acceptable solution. <br/><br>
Our work is based on the assumption that Labeled Deductive Systems offer appropriate metamathematical methodology to study the problem. As a first step, we have reformulated a pair of active logics systems, namely the memory model and its formalized simplification, the step logic, as Labeled Deductive Systems. <br/><br>
This paper presents our motivation behind this project, followed by an overview of the investigations on meta-reasoning relevant to this work, and introduces in some reasonable detail the MM system.},
  author       = {Asker, Mikael and Malec, Jacek},
  issn         = {0239-7528},
  keyword      = {reasoning with limited resources,Active Logic,Labeled Deductive Systems},
  language     = {eng},
  number       = {1},
  pages        = {69--78},
  publisher    = {Polish Academy of Sciences},
  series       = {Bulletin of the Polish Academy of Sciences: Technical Sciences},
  title        = {Reasoning with Limited Resources: Active Logics Expressed as Labeled Deductive Systems},
  volume       = {53},
  year         = {2005},
}