Advanced

Active Logic and Practice

Malec, Jacek LU (2009) The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University In Linköping Electronic Conference Proceedings p.49-53
Abstract
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.
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
in
Linköping Electronic Conference Proceedings
editor
Heintz, Fredrik; Kvarnström, Jonas; and
issue
035
pages
5 pages
publisher
Linköping University Electronic Press
conference name
The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University
ISSN
1650-3740
1650-3686
language
English
LU publication?
yes
id
7d1c3e7d-dc8e-4779-923f-fbc965ec4831 (old id 4679170)
alternative location
http://www.ep.liu.se/ecp/035/ecp09035.pdf
date added to LUP
2014-09-25 13:43:29
date last changed
2016-04-15 18:38:56
@inproceedings{7d1c3e7d-dc8e-4779-923f-fbc965ec4831,
  abstract     = {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.},
  author       = {Malec, Jacek},
  booktitle    = {Linköping Electronic Conference Proceedings},
  editor       = {Heintz, Fredrik and Kvarnström, Jonas},
  issn         = {1650-3740},
  language     = {eng},
  number       = {035},
  pages        = {49--53},
  publisher    = {Linköping University Electronic Press},
  title        = {Active Logic and Practice},
  year         = {2009},
}