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

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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.

Originalsprache	englisch
Titel	Foundations of Intelligent Systems
Untertitel	25th International Symposium, ISMIS 2020, Proceedings
Redakteure/-innen	Denis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras
Erscheinungsort	Cham
Herausgeber (Verlag)	Springer, Cham
Seiten	298-307
Seitenumfang	10
ISBN (Print)	9783030594909
DOIs	https://doi.org/10.1007/978-3-030-59491-6_28
Publikationsstatus	Veröffentlicht - 17 Sept. 2020
Veranstaltung	25th International Symposium on Methodologies for Intelligent Systems - TU Graz, Virtuell, Österreich Dauer: 23 Sept. 2020 → 25 Sept. 2020

Publikationsreihe

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

Konferenz

Konferenz	25th International Symposium on Methodologies for Intelligent Systems
Kurztitel	ISMIS 2020
Land/Gebiet	Österreich
Ort	Virtuell
Zeitraum	23/09/20 → 25/09/20

ASJC Scopus subject areas

Theoretische Informatik
Informatik (insg.)

Zugriff auf Dokument

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

Andere Dateien und Links

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

1 Konferenz oder Fachtagung (Teilnahme an/Organisation von)
1 Vortrag bei Konferenz oder Fachtagung

Explaining Object Motion Using Answer Set Programming
Lorenz Klampfl (Redner/in)
24 Sept. 2020
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
25th International Symposium on Methodologies for Intelligent Systems
Lorenz Klampfl (Teilnehmer/-in)
23 Sept. 2020 → 25 Sept. 2020
Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)

Dieses zitieren

Wotawa, F., & Klampfl, L. (2020). Explaining Object Motion Using Answer Set Programming. in D. Helic, M. Stettinger, A. Felfernig, G. Leitner, & Z. W. Ras (Hrsg.), Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings (S. 298-307). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. Hrsg. / Denis Helic; Martin Stettinger; Alexander Felfernig; Gerhard Leitner; Zbigniew W. Ras. Cham: Springer, Cham, 2020. S. 298-307 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12117 LNAI).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Wotawa, F & Klampfl, L 2020, Explaining Object Motion Using Answer Set Programming. in D Helic, M Stettinger, A Felfernig, G Leitner & ZW Ras (Hrsg.), 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), Bd. 12117 LNAI, Springer, Cham, Cham, S. 298-307, 25th International Symposium on Methodologies for Intelligent Systems, Virtuell, Österreich, 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, Hrsg., Foundations of Intelligent Systems : 25th International Symposium, ISMIS 2020, Proceedings. Cham: Springer, Cham. 2020. S. 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. Hrsg. / Denis Helic ; Martin Stettinger ; Alexander Felfernig ; Gerhard Leitner ; Zbigniew W. Ras. Cham : Springer, Cham, 2020. S. 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

Publikationsreihe

Konferenz

ASJC Scopus subject areas

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Aktivitäten

Explaining Object Motion Using Answer Set Programming

25th International Symposium on Methodologies for Intelligent Systems

Dieses zitieren