Prolog for Scientific Explanation
(2023) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13900 LNAI. p.372-385- 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.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/a3aef58e-10f3-4ebb-95a4-b91152d9ef36
- author
- Rohner, Jean Christophe LU and Kjellerstrand, Håkan
- organization
- publishing date
- 2023
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Abduction, Scientific explanation
- host publication
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- series title
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- volume
- 13900 LNAI
- pages
- 14 pages
- publisher
- Springer Science and Business Media B.V.
- external identifiers
-
- scopus:85163150743
- ISSN
- 1611-3349
- 0302-9743
- DOI
- 10.1007/978-3-031-35254-6_30
- language
- English
- LU publication?
- yes
- id
- a3aef58e-10f3-4ebb-95a4-b91152d9ef36
- date added to LUP
- 2023-10-13 15:20:07
- date last changed
- 2024-04-19 02:21:04
@inbook{a3aef58e-10f3-4ebb-95a4-b91152d9ef36, abstract = {{<p>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.</p>}}, author = {{Rohner, Jean Christophe and Kjellerstrand, Håkan}}, booktitle = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, issn = {{1611-3349}}, keywords = {{Abduction; Scientific explanation}}, language = {{eng}}, pages = {{372--385}}, publisher = {{Springer Science and Business Media B.V.}}, series = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, title = {{Prolog for Scientific Explanation}}, url = {{http://dx.doi.org/10.1007/978-3-031-35254-6_30}}, doi = {{10.1007/978-3-031-35254-6_30}}, volume = {{13900 LNAI}}, year = {{2023}}, }