Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMiller, R.en
dc.creatorKakas, Antonis C.en
dc.creatorMiller, R.en
dc.date.accessioned2019-11-13T10:40:29Z
dc.date.available2019-11-13T10:40:29Z
dc.date.issued1997
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54144
dc.description.abstractWe describe a simple declarative language ℰ for describing the effects of a series of action occurrences within a narrative. ℰ is analogous to Gelfond and Lifschitz's Language script A sign and its extensions, but is based on a different ontology. The semantics of ℰ is based on a simple characterisation of persistence which facilitates a modular approach to extending the expressivity of the language. Domain descriptions in script A sign can be translated to equivalent theories in ℰ. We show how, in the context of reasoning about actions, ℰ's narrative-based ontology may be exploited in order to characterise and synthesise two complementary notions of explanation. According to the first notion, explanation may be partly modelled as the process of suitably extending an apparently inconsistent theory written in ℰ so as to establish consistency, thus providing a natural method, in many cases, to account for conflicting sets of information about the domain. According to the second notion, observations made at later times can sometimes be explained in terms of what is true at earlier times. This enables domains to be given an alternative characterisation in which knowledge arising from observations is appropriately separated from other aspects of the domain. We also describe how ℰ domains may be implemented as Event Calculus style logic programs, which facilitate automated reasoning both backwards and forwards in time, and which behave correctly even when the knowledge entailed by the domain description is incomplete. © Elsevier Science Inc., 1997.en
dc.sourceJournal of Logic Programmingen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-30244520602&partnerID=40&md5=42eb1997ee7c4c6774344df37e9b98e7
dc.titleA simple declarative language for describing narratives with actionsen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume31
dc.description.issue1-3
dc.description.startingpageX
dc.description.endingpage200
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Cited By :3</p>en
dc.source.abbreviationJ Logic Programen
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]
dc.gnosis.orcid0000-0001-6773-3944


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record