Explaining Object Motion Using Answer Set Programming

Franz Wotawa; Lorenz Klampfl

doi:10.1007/978-3-030-59491-6_28

Explaining Object Motion Using Answer Set Programming

Franz Wotawa^*, Lorenz Klampfl

^*Corresponding author for this work

Institute of Software Technology (7160)

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

Abstract

Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile systems like autonomous cars or mobile robots. Although the reliability of object recognition has been increased significantly, there are often cases arising where objects are not classified correctly. There might be objects detected in almost all images of a sequence but not all. Hence, there is a need for finding such situations and taking appropriate measures to improve the overall detection performance. In this paper, we contribute to this research direction and discuss the use of logic for identifying motion in sequences of images that can be used for this purpose. In particular, we introduce the application of diagnosis and show an implementation using answer set programming.

Original language	English
Title of host publication	Foundations of Intelligent Systems
Subtitle of host publication	25th International Symposium, ISMIS 2020, Proceedings
Editors	Denis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras
Place of Publication	Cham
Publisher	Springer, Cham
Pages	298-307
Number of pages	10
ISBN (Print)	9783030594909
DOIs	https://doi.org/10.1007/978-3-030-59491-6_28
Publication status	Published - 17 Sept 2020
Event	25th International Symposium on Methodologies for Intelligent Systems - TU Graz, Virtuell, Austria Duration: 23 Sept 2020 → 25 Sept 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12117 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	25th International Symposium on Methodologies for Intelligent Systems
Abbreviated title	ISMIS 2020
Country/Territory	Austria
City	Virtuell
Period	23/09/20 → 25/09/20

Keywords

Application of answer set programming
Diagnosis
Qualitative reasoning
Spatial reasoning

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-030-59491-6_28

Cite this

Wotawa, F., & Klampfl, L. (2020). Explaining Object Motion Using Answer Set Programming. In D. Helic, M. Stettinger, A. Felfernig, G. Leitner, & Z. W. Ras (Eds.), Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings (pp. 298-307). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12117 LNAI). Springer, Cham. https://doi.org/10.1007/978-3-030-59491-6_28

Explaining Object Motion Using Answer Set Programming. / Wotawa, Franz ; Klampfl, Lorenz.
Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings. ed. / Denis Helic; Martin Stettinger; Alexander Felfernig; Gerhard Leitner; Zbigniew W. Ras. Cham: Springer, Cham, 2020. p. 298-307 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12117 LNAI).

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

Wotawa, F & Klampfl, L 2020, Explaining Object Motion Using Answer Set Programming. in D Helic, M Stettinger, A Felfernig, G Leitner & ZW Ras (eds), Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12117 LNAI, Springer, Cham, Cham, pp. 298-307, 25th International Symposium on Methodologies for Intelligent Systems, Virtuell, Austria, 23/09/20. https://doi.org/10.1007/978-3-030-59491-6_28

Wotawa F , Klampfl L. Explaining Object Motion Using Answer Set Programming. In Helic D, Stettinger M, Felfernig A, Leitner G, Ras ZW, editors, Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings. Cham: Springer, Cham. 2020. p. 298-307. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-59491-6_28

Wotawa, Franz ; Klampfl, Lorenz. / Explaining Object Motion Using Answer Set Programming. Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings. editor / Denis Helic ; Martin Stettinger ; Alexander Felfernig ; Gerhard Leitner ; Zbigniew W. Ras. Cham : Springer, Cham, 2020. pp. 298-307 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e26742c2f4104602ba42679cd117a73c,

title = "Explaining Object Motion Using Answer Set Programming",

abstract = "Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile systems like autonomous cars or mobile robots. Although the reliability of object recognition has been increased significantly, there are often cases arising where objects are not classified correctly. There might be objects detected in almost all images of a sequence but not all. Hence, there is a need for finding such situations and taking appropriate measures to improve the overall detection performance. In this paper, we contribute to this research direction and discuss the use of logic for identifying motion in sequences of images that can be used for this purpose. In particular, we introduce the application of diagnosis and show an implementation using answer set programming.",

keywords = "Application of answer set programming, Diagnosis, Qualitative reasoning, Spatial reasoning",

author = "Franz Wotawa and Lorenz Klampfl",

year = "2020",

month = sep,

day = "17",

doi = "10.1007/978-3-030-59491-6_28",

language = "English",

isbn = "9783030594909",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Cham",

pages = "298--307",

editor = "Denis Helic and Martin Stettinger and Alexander Felfernig and Gerhard Leitner and Ras, {Zbigniew W.}",

booktitle = "Foundations of Intelligent Systems",

note = "25th International Symposium on Methodologies for Intelligent Systems, ISMIS 2020 ; Conference date: 23-09-2020 Through 25-09-2020",

}

TY - GEN

T1 - Explaining Object Motion Using Answer Set Programming

AU - Wotawa, Franz

AU - Klampfl, Lorenz

PY - 2020/9/17

Y1 - 2020/9/17

N2 - Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile systems like autonomous cars or mobile robots. Although the reliability of object recognition has been increased significantly, there are often cases arising where objects are not classified correctly. There might be objects detected in almost all images of a sequence but not all. Hence, there is a need for finding such situations and taking appropriate measures to improve the overall detection performance. In this paper, we contribute to this research direction and discuss the use of logic for identifying motion in sequences of images that can be used for this purpose. In particular, we introduce the application of diagnosis and show an implementation using answer set programming.

AB - Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile systems like autonomous cars or mobile robots. Although the reliability of object recognition has been increased significantly, there are often cases arising where objects are not classified correctly. There might be objects detected in almost all images of a sequence but not all. Hence, there is a need for finding such situations and taking appropriate measures to improve the overall detection performance. In this paper, we contribute to this research direction and discuss the use of logic for identifying motion in sequences of images that can be used for this purpose. In particular, we introduce the application of diagnosis and show an implementation using answer set programming.

KW - Application of answer set programming

KW - Diagnosis

KW - Qualitative reasoning

KW - Spatial reasoning

UR - http://www.scopus.com/inward/record.url?scp=85092077651&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-59491-6_28

DO - 10.1007/978-3-030-59491-6_28

M3 - Conference paper

AN - SCOPUS:85092077651

SN - 9783030594909

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 298

EP - 307

BT - Foundations of Intelligent Systems

A2 - Helic, Denis

A2 - Stettinger, Martin

A2 - Felfernig, Alexander

A2 - Leitner, Gerhard

A2 - Ras, Zbigniew W.

PB - Springer, Cham

CY - Cham

T2 - 25th International Symposium on Methodologies for Intelligent Systems

Y2 - 23 September 2020 through 25 September 2020

ER -

Explaining Object Motion Using Answer Set Programming

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Activities

Explaining Object Motion Using Answer Set Programming

25th International Symposium on Methodologies for Intelligent Systems

Cite this