Active Logic and Practice

Jacek Malec

Active Logic and Practice

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

113 Downloads (Pure)

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.

Original language	English
Title of host publication	Linköping Electronic Conference Proceedings
Editors	Fredrik Heintz, Jonas Kvarnström
Publisher	Linköping University Electronic Press
Pages	49-53
Number of pages	5
Publication status	Published - 2009
Event	The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University - Linköping, Sweden Duration: 2009 May 27 → 2009 May 28

Publication series

Name
Number	035
ISSN (Print)	1650-3686
ISSN (Electronic)	1650-3740

Conference

Conference	The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University
Country/Territory	Sweden
City	Linköping
Period	2009/05/27 → 2009/05/28

Subject classification (UKÄ)

Computer Sciences

Access to Document

ecp0935009

http://www.ep.liu.se/ecp/035/ecp09035.pdf

Cite this

@inproceedings{7d1c3e7ddc8e4779923ffbc965ec4831,

title = "Active Logic and Practice",

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 = "Jacek Malec",

year = "2009",

language = "English",

publisher = "Link{\"o}ping University Electronic Press",

number = "035",

pages = "49--53",

editor = "Fredrik Heintz and Jonas Kvarnstr{\"o}m",

booktitle = "Link{\"o}ping Electronic Conference Proceedings",

note = "The Swedish AI Society Workshop May 27-28, 2009 IDA, Link{\"o}ping University ; Conference date: 27-05-2009 Through 28-05-2009",

}

TY - GEN

T1 - Active Logic and Practice

AU - Malec, Jacek

PY - 2009

Y1 - 2009

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

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

M3 - Paper in conference proceeding

SP - 49

EP - 53

BT - Linköping Electronic Conference Proceedings

A2 - Heintz, Fredrik

A2 - Kvarnström, Jonas

PB - Linköping University Electronic Press

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

Y2 - 27 May 2009 through 28 May 2009

ER -

Active Logic and Practice

Abstract

Publication series

Conference

Subject classification (UKÄ)

Access to Document

Fingerprint

Cite this