Prolog for Scientific Explanation

Jean Christophe Rohner; Håkan Kjellerstrand

doi:10.1007/978-3-031-35254-6_30

Prolog for Scientific Explanation

Jean Christophe Rohner, Håkan Kjellerstrand

Institutionen för psykologi

No affiliation available (private)

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Kapitel samlingsverk › Forskning › Peer review

Sammanfattning

Scientific explanations play an important role in most academic disciplines because they give us a fundamental understanding of why things happen or do not happen. In this paper we argue that Prolog has certain properties that make the language ideal for generating scientific explanations. We illustrate these properties in relation to a scientific theory.

Originalspråk	engelska
Titel på värdpublikation	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Förlag	Springer Science and Business Media B.V.
Sidor	372-385
Antal sidor	14
DOI	https://doi.org/10.1007/978-3-031-35254-6_30
Status	Published - 2023

Publikationsserier

Namn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volym	13900 LNAI
ISSN (tryckt)	0302-9743
ISSN (elektroniskt)	1611-3349

Ämnesklassifikation (UKÄ)

Filosofi

Tillgång till dokument

10.1007/978-3-031-35254-6_30

Citera det här

Rohner, J. C., & Kjellerstrand, H. (2023). Prolog for Scientific Explanation. I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 372-385). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13900 LNAI). Springer Science and Business Media B.V.. https://doi.org/10.1007/978-3-031-35254-6_30

Rohner, Jean Christophe ; Kjellerstrand, Håkan. / Prolog for Scientific Explanation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media B.V., 2023. s. 372-385 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{a3aef58e10f34ebb95a4b91152d9ef36,

title = "Prolog for Scientific Explanation",

abstract = "Scientific explanations play an important role in most academic disciplines because they give us a fundamental understanding of why things happen or do not happen. In this paper we argue that Prolog has certain properties that make the language ideal for generating scientific explanations. We illustrate these properties in relation to a scientific theory.",

keywords = "Abduction, Scientific explanation",

author = "Rohner, {Jean Christophe} and H{\aa}kan Kjellerstrand",

year = "2023",

doi = "10.1007/978-3-031-35254-6_30",

language = "English",

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

publisher = "Springer Science and Business Media B.V.",

pages = "372--385",

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

address = "United States",

}

Rohner, JC & Kjellerstrand, H 2023, Prolog for Scientific Explanation. i Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13900 LNAI, Springer Science and Business Media B.V., s. 372-385. https://doi.org/10.1007/978-3-031-35254-6_30

Prolog for Scientific Explanation. / Rohner, Jean Christophe; Kjellerstrand, Håkan.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media B.V., 2023. s. 372-385 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13900 LNAI).

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Kapitel samlingsverk › Forskning › Peer review

TY - CHAP

T1 - Prolog for Scientific Explanation

AU - Rohner, Jean Christophe

AU - Kjellerstrand, Håkan

PY - 2023

Y1 - 2023

N2 - Scientific explanations play an important role in most academic disciplines because they give us a fundamental understanding of why things happen or do not happen. In this paper we argue that Prolog has certain properties that make the language ideal for generating scientific explanations. We illustrate these properties in relation to a scientific theory.

AB - Scientific explanations play an important role in most academic disciplines because they give us a fundamental understanding of why things happen or do not happen. In this paper we argue that Prolog has certain properties that make the language ideal for generating scientific explanations. We illustrate these properties in relation to a scientific theory.

KW - Abduction

KW - Scientific explanation

U2 - 10.1007/978-3-031-35254-6_30

DO - 10.1007/978-3-031-35254-6_30

M3 - Book chapter

AN - SCOPUS:85163150743

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

SP - 372

EP - 385

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

PB - Springer Science and Business Media B.V.

ER -

Rohner JC, Kjellerstrand H. Prolog for Scientific Explanation. I Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media B.V. 2023. s. 372-385. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-35254-6_30