The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Active Logic and Practice

På svenska

Author

Editor

  • 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.

Publishing year

2009

Language

English

Pages

49-53

Publication/Series

Linköping Electronic Conference Proceedings

Issue

035

Document type

Conference paper

Publisher

Linköping University Electronic Press

Topic

  • 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

Research group

  • RSS

ISBN/ISSN/Other

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