Scispace (Formerly Typeset)
  1. Home
  2. Topics
  3. Qualification problem
  4. 2012
  1. Home
  2. Topics
  3. Qualification problem
  4. 2012
Showing papers on "Qualification problem published in 2012"
Book Chapter•10.1007/978-3-642-30743-0_36•
A language for default reasoning about actions

[...]

Hannes Strass1, Michael Thielscher2•
Leipzig University1, University of New South Wales2
1 Jan 2012
TL;DR: This paper introduces ${\mathcal D}$, the first action language that centres around default reasoning about actions and change, which allows to specify normal Reiter-style defaults and provides a semantics that has at its core the groundedness of conclusions.
Abstract: Action languages allow for a concise representation of actions and their effects while at the same time being easily readable and writable for humans. In this paper, we introduce ${\mathcal D}$, the first action language that centres around default reasoning about actions and change. It allows to specify normal Reiter-style defaults and provides a semantics that has at its core the groundedness of conclusions. This is not only of use for default conclusions, but also for ${\mathcal D}$'s solution to the ramification problem. Additionally, our language does not suffer from Yale Shooting-like counterexamples since it uses different mechanisms for default persistence and default change. The answer set programming paradigm is used as the basis of ${\mathcal D}$'s implementation, which we prove sound and complete with respect to the language's semantics. We finally present a showcase application for the language: its straightforward solution to the qualification problem.

7 citations

Tools

SciSpace AgentBiomedical AgentSciSpace RecruitSciSpace for EnterpriseAgent GalleryChat with PDFLiterature ReviewAI WriterFind TopicsParaphraserCitation GeneratorExtract DataAI DetectorCitation Booster

Learn

ResourcesLive Workshops

SciSpace

CareersSupportBrowse PapersPricingSciSpace Affiliate ProgramCancellation & Refund PolicyTermsPrivacyData Sources

Directories

PapersTopicsJournalsAuthorsConferencesInstitutionsCitation StylesWriting templates

Extension & Apps

SciSpace Chrome ExtensionSciSpace Mobile App

Contact

support@scispace.com
SciSpace

© 2026 | PubGenius Inc. | Suite # 217 691 S Milpitas Blvd Milpitas CA 95035, USA

soc2
Secured by Delve