Files:DescriptionFile size FormatBrowse
Fulltext0.12 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:Jacek Malec: Department of Computer Science, Lund University, Sweden
Publication title:Active logic and practice
Conference:The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University
Publication type: Abstract and Fulltext
Issue:035
Article No.:009
Abstract:The problem of nding 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 rst introduced, then we analyse 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.
Language:English
Year:2009
No. of pages:5
Pages:49-53
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/035/009/ecp0935009.pdf
Available:2009-05-27
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Jacek Malec (2009). Active logic and practice, The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University http://www.ep.liu.se/ecp_article/index.en.aspx?issue=035;article=009 (accessed 9/19/2014)