POLISH ACADEMY of SCIENCES
TECHNICAL SCIENCES
| BULLETIN
of the
POLISH ACADEMY of SCIENCES TECHNICAL SCIENCES |
|
|||
|---|---|---|---|---|
| Volume 53, Issue 1, March 2005 | ||||
| Issue Index | Authors Index | Scope Index | Web Info | |
|
|
||||
| Aims&Scope, Subscription | Editors | Authors' guide | Vol 53-1 | mirror: http://fluid.ippt.gov.pl/~bulletin/ |
| pp 69 - 78 |
|---|
|
Reasoning with limited resources: active logics expressed as labelled deductive systems |
|---|
| M. ASKER and J. MALEC |
| 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 more interesting 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 labelled deductive systems (LDSs) oer 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 LDSs. 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. |
| Keywords: |
|
active logic, labelled deductive systems, reasoning with limited resources |
| Issue Index | Scope Index | Web Info | |
|---|---|---|---|
|
|
|||
| Aims&Scope, Subscription | Editors | Authors' guide | Vol 53-1 |
| Copyright
Bulletin of the Polish Academy of Sciences: Technical Sciences
21 April 2005, site prepared by KZ |
|---|