Modelling inertia in action languages

Mikhail Prokopenko, Pavlos Peppas

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Logic-based approaches to reasoning about actions, change and causality, highlight efficient representation and processing of domain background knowledge as an important task. Action theories recently developed in the framework of action languages with inertia and ramifications [20,14] not only adopt the principle of minimal change reinforced with the policy of categorisation (assigning different degrees of inertia to language elements) but also try to incorporate background causal knowledge. In this paper we aim to trace the evolution of action languages and to explore interactions between ontological characteristics of action domains such as inertia and causality. Such an analysis should clarify how possible solutions to the frame and the ramification problems are affected by applying the policy of categorisation to causal' domains. We first attempt to identify conditions (more precisely, restrictions) which preserve the meaning of domain descriptions when moving among various analysed languages. Relaxing such restrictions can help in evaluating the role of the frame concept (and policy of categorisation, in general) in an action language with fluent-triggered causality.

Original languageEnglish
Title of host publicationLearning and Reasoning with Complex Representations
Subtitle of host publicationPRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26–30, 1996 Selected Papers
EditorsGrigoris Antoniou, Aditya K. Ghose, Mirosław Truszczyński
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Pages234-247
Number of pages14
ISBN (Electronic)9783540697800
ISBN (Print)9783540644132
DOIs
Publication statusPublished - 1998
EventWorkshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, PRICAI 1996 - Cairns, Australia
Duration: 26 Aug 199630 Aug 1996

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume1359
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherWorkshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, PRICAI 1996
CountryAustralia
CityCairns
Period26/08/9630/08/96

Fingerprint Dive into the research topics of 'Modelling inertia in action languages'. Together they form a unique fingerprint.

Cite this