A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Applying CHC Models to Reasoning in Fictions
[chapter]
2014
Communications in Computer and Information Science
In figuring out the complete content of a fictional story, all kinds of consequences are drawn from the explicitly given material. It may seem natural to assume a closure deductive principle for those consequences. Notwithstanding, the classical closure principle has notorious problems because of the possibility of inconsistencies. This paper aims to explore an alternative approach to reasoning with the content of fictional works, based on the application of a mathematical model for
doi:10.1007/978-3-319-08855-6_53
fatcat:zw4xi7qhbveznb6jyhp3g3fm4u