Javascript verkar inte påslaget? - Vissa delar av Lunds universitets webbplats fungerar inte optimalt utan javascript, kontrollera din webbläsares inställningar.
Du är här

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

  • Mike Anderson
  • Tim Oates
Publiceringsår: 2005
Språk: Engelska
Sidor: 30-35
Publikation/Tidskrift/Serie: AAAI Spring Symposium - Technical Report
Volym: SS-05-04
Dokumenttyp: Konferensbidrag
Förlag: American Association for Artificial Intelligence


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.


  • Computer Science
  • Metamathematical methodology
  • LDS-based approach
  • Active logics


2005 AAAI Spring Symposium
  • ISBN: 978-1-57735-230-3

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu [dot] se

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen