Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives

Last modified by Roberta Calegari on 11/06/2021 16:38

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

Together with the disruptive development of modern sub-symbolic approaches to artificial intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more and more researchers exploit their potential to make AI more comprehensible, explainable, and therefore trustworthy. Since logic-based approaches lay at the core of symbolic AI, summarizing their state of the art is of paramount importance now more than ever, in order to identify trends, benefits, key features, gaps, and limitations of the techniques proposed so far, as well as to identify promising research perspectives. Along this line, this paper provides an overview of logic-based approaches and technologies by sketching their evolution and pointing out their main application areas. Future perspectives for exploitation of logic-based technologies are discussed as well, in order to identify those research fields that deserve more attention, considering the areas that already exploit logic-based approaches as well as those that are more likely to adopt logic-based approaches in the future

(keywords) symbolic AI; logic-based technologies; intelligent systems
Information 11(3), pages 1–29, 29 pages, article no. 167, March 2020.
Willy Susilo (eds.), MDPI
Special Issue “10th Anniversary of Information—Emerging Research Challenges”
@article{logictech-information11,
ArticleNo = 167,
Author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
Doi = {10.3390/info11030167},
Editor = {Susilo, Willy},
IrisId = {11585/752671},
Issn = {2078-2489},
Journal = {Information},
Keywords = {symbolic AI; logic-based technologies; intelligent systems},
Month = mar,
Note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
Number = 3,
Pages = {1--29},
Publisher = {MDPI},
ScholarId = {15744297419438793629},
ScopusId = {2-s2.0-85082507008},
Title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
Url = {http://www.mdpi.com/2078-2489/11/3/167},
Volume = 11,
WosId = {000524309400026},
Year = 2020}

    

Publication Data

Status
Published

IDs

(DOI)
10.3390/info11030167
(IRIS)
11585/752671
(Scholar)
15744297419438793629
(Scopus)
2-s2.0-85082507008
(WoS / ISI)
000524309400026

Biblio

(Print ISSN)
2078-2489

BibTeX

(BibTeX ID)
logictech-information11
(BibTeX Category)
article
(BibTeX Cross Reference)

APICe

(journal/series)
INFOGG

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
1.1