logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Representing action: indeterminacy and ramifications

delete1997-09-01
delete43
PRE
AI
E
Enrico Giunchiglia
G
G. Kartha
L
Lifschitz, V
DOI：10.1016/S0004-3702(97)00037-4delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
We define and study a high-level language for describing actions, more expressive than the action language A introduced by Gelfond and Lifschitz. The new language, AR, allows us to describe actions with indirect effects (ramifications), nondeterministic actions, and actions that may be impossible to execute. It has symbols for nonpropositional fluents and for the fluents that are exempt from the commonsense law of inertia. Temporal projection problems specified using the language AR can be represented as nested abnormality theories based on the situation calculus. (C) 1997 Elsevier Science B.V.
Keyword:
action languages
circumscription
nested abnormality theories
nondeterministic actions
ramification problem
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Artificial Intelligence Review 封面图
Artificial Intelligence Review
IF:
13.9
论文数:
6.1K
被引数:
1.9W

机构

暂无机构信息
引用论文

引用论文

A fluidized-bed powder sampler for inductively coupled plasma emission: hardware design, performance evaluation with geological reference materials
errSpectrochimica Acta Part B: Atomic Spectroscopy
IF0
err1990-01-01
err0
PREAI
errK.Nimalasiri De Silva; Roger Guevremont
err分享
err收藏
APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMONSENSE KNOWLEDGE
errartificial intelligence review
IF4.6
err1986-02-01
err479
PREAI
errMCCARTHY, J
err分享
err收藏
NONMONOTONIC LOGIC AND TEMPORAL PROJECTION
errartificial intelligence review
IF4.6
err1987-11-01
err181
PREAI
errHANKS, S; MCDERMOTT, D
err分享
err收藏
Evaluation of the 210mBi/210gBi Branching Ratio of the 209Bi(n,.GAMMA.)210Bi Cross Section in the Neutron Energy Range from 200 keV to 3.0 MeV
errJournal of Nuclear Science and Technology
IF0
err2003-01-01
err0
errOAAI
errAkira ICIHARA; Keiichi SHIBATA
err分享
err收藏
THE EFFECT OF ADHERENCE TO TREATMENT ON SMOKING ABSTINENCE IN PATIENTS POST-ACUTE MYOCARDIAL INFARCTION
errJournal of the American College of Cardiology
IF0
err2012-03-01
err0
errOAAI
errSonia Grandi; Kristian Filion; Andre Gervais; Lawrence Joseph; Jennifer O' Loughlin; Gilles Paradis; Louise Pilote; Stephane Rinfret; Mark Eisenberg
err分享
err收藏
Characterization and Computation of Partial Synchronization Manifolds for Diffusive Delay-Coupled Systems
errSIAM Journal on Applied Dynamical Systems
IF0
err2016-01-01
err0
errOAAI
errE. Steur; H. U. Ünal; C. van Leeuwen; W. Michiels
err分享
err收藏
The measurement of long lived radionuclides by non-radiometric methods
errScience of The Total Environment
IF0
err1988-03-01
err0
PREAI
errR.M. Brown; S.E. Long; C.J. Pickford
err分享
err收藏
NONMONOTONIC REASONING IN THE FRAMEWORK OF SITUATION CALCULUS
errartificial intelligence review
IF4.6
err1991-05-01
err49
errOAAI
errBAKER, AB
err分享
err收藏
Flap designs for gaining access to periapical lesions
errOral Surgery, Oral Medicine, Oral Pathology
IF0
err1983-11-01
err0
PREAI
errDavid M. Nosonowitz
err分享
err收藏
没有更多内容