On reasoning and planning in real-time: An LDS-based approach
(2005) 2005 AAAI Spring Symposium 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:
https://lup.lub.lu.se/record/616166
- author
- Asker, Mikael and Malec, Jacek LU
- organization
- publishing date
- 2005
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Metamathematical methodology, LDS-based approach, Active logics
- host publication
- 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
- conference location
- Stanford, CA, United States
- conference dates
- 2005-03-21 - 2005-03-23
- 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
- 2016-04-04 11:35:15
- date last changed
- 2022-01-29 22:09:25
@inproceedings{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}}, booktitle = {{AAAI Spring Symposium - Technical Report}}, editor = {{Anderson, Mike and Oates, Tim}}, isbn = {{978-1-57735-230-3}}, keywords = {{Metamathematical methodology; LDS-based approach; Active logics}}, language = {{eng}}, pages = {{30--35}}, publisher = {{American Association for Artificial Intelligence}}, title = {{On reasoning and planning in real-time: An LDS-based approach}}, volume = {{SS-05-04}}, year = {{2005}}, }