Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

Active Logic and Practice

In English

Författare

Redaktör

  • Fredrik Heintz
  • Jonas Kvarnström

Summary, in English

The problem of finding a suitable formal approach to describe on-going reasoning process has been open since the very beginning of AI. In this paper we argue that active logic might be a formalism useful in this context. Active logic is first introduced, then we analyze resource limitations that constrain the space of possible practical realisations of such reasoners. Finally some steps towards creating a practical active logic reasoner are presented.

Publiceringsår

2009

Språk

Engelska

Sidor

49-53

Publikation/Tidskrift/Serie

Linköping Electronic Conference Proceedings

Issue

035

Dokumenttyp

Konferensbidrag

Förlag

Linköping University Electronic Press

Ämne

  • Computer Science

Conference name

The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University

Conference date

2009-05-27 - 2009-05-28

Conference place

Linköping, Sweden

Status

Published

Forskningsgrupp

  • RSS

ISBN/ISSN/Övrigt

  • ISSN: 1650-3686
  • ISSN: 1650-3740