Research on knowledge representation and reasoning (KR&R) dates back to mathematical logic and is one of the foundations of Artificial Intelligence. Several data models and inference tools have been proposed in the literature, varying from general purpose languages to ad-hoc reasoning systems. Recently, bioinformatics ignited new interest in this research area. Indeed, several bioinformatics problems can be effectively solved via KR&R methods. In this chapter we provide an overview of KR&R, focusing on one important paradigm named Answer Set Programming (ASP). We also showcase some interesting bioinformatics and medicine problems solved with ASP.
Knowledge and Reasoning
Mazzotta G.;Ricca F.;Terracina G.
2025-01-01
Abstract
Research on knowledge representation and reasoning (KR&R) dates back to mathematical logic and is one of the foundations of Artificial Intelligence. Several data models and inference tools have been proposed in the literature, varying from general purpose languages to ad-hoc reasoning systems. Recently, bioinformatics ignited new interest in this research area. Indeed, several bioinformatics problems can be effectively solved via KR&R methods. In this chapter we provide an overview of KR&R, focusing on one important paradigm named Answer Set Programming (ASP). We also showcase some interesting bioinformatics and medicine problems solved with ASP.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
