Reasoning about action and change: Defeasible observations and actions with abnormal effects

Autor:	Ewa Madalinska-Bugaj, Janusz Jabłonowski, Witold Lukaszewicz
Rok vydání:	1996
Předmět:	Theoretical computer science Action (philosophy) Computer science Default logic Subject (grammar) Inference Defeasible estate Type (model theory) Boolean data type Rotation formalisms in three dimensions
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540617082 KI
DOI:	10.1007/3-540-61708-6_55
Popis:	We provide a very general framework to reason about action and change. Our approach generalizes existing formalisms aimed at this type of inference in three respects. Firstly, we admit actions with abnormal effects, i.e. actions that may behave abnormally with respect to their intended specifications. Secondly, we admit defeasible observations, i.e. observations that are subject to invalidation. Thirdly, we admit arbitrary priorities between abnormalities, what allows us to prefer some actions and/or observations while resolving conflicts.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b6940c189a2e92cbe7888ccd84edf03d https://doi.org/10.1007/3-540-61708-6_55 Zobrazit plný text záznamu