Advanced

On reasoning and planning in real-time: An LDS-based approach

Asker, Mikael and Malec, Jacek LU (2005) 2005 AAAI Spring Symposium In AAAI Spring Symposium - Technical Report SS-05-04. p.30-35
Abstract
Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in cognitive 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 still do not offer the ultimate 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 shown that the LDS-based approach is strictly more expressive than active logics. We have also implemented a prototype... (More)
Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in cognitive 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 still do not offer the ultimate 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 shown that the LDS-based approach is strictly more expressive than active logics. We have also implemented a prototype automatic theorem prover for LDS-based systems. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
Metamathematical methodology, LDS-based approach, Active logics
in
AAAI Spring Symposium - Technical Report
editor
Anderson, Mike and Oates, Tim
volume
SS-05-04
pages
30 - 35
publisher
American Association for Artificial Intelligence
conference name
2005 AAAI Spring Symposium
external identifiers
  • Scopus:32944479180
ISBN
978-1-57735-230-3
language
English
LU publication?
yes
id
9f5e1d64-1646-4baa-8265-778272c572be (old id 616166)
date added to LUP
2007-11-25 09:21:15
date last changed
2016-10-13 04:46:34
@misc{9f5e1d64-1646-4baa-8265-778272c572be,
  abstract     = {Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in cognitive 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 still do not offer the ultimate 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 shown that the LDS-based approach is strictly more expressive than active logics. We have also implemented a prototype automatic theorem prover for LDS-based systems.},
  author       = {Asker, Mikael and Malec, Jacek},
  editor       = {Anderson, Mike and Oates, Tim},
  isbn         = {978-1-57735-230-3},
  keyword      = {Metamathematical methodology,LDS-based approach,Active logics},
  language     = {eng},
  pages        = {30--35},
  publisher    = {ARRAY(0xad9d4e8)},
  series       = {AAAI Spring Symposium - Technical Report},
  title        = {On reasoning and planning in real-time: An LDS-based approach},
  volume       = {SS-05-04},
  year         = {2005},
}