Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/a-survey-of-imperatives-and-action-representation-formalisms-XGMX4nw6EB
References (40)
-
A Ross (1941)
Imperatives and logicTheoria, 7
-
IW Goddard (2008)
A logic and semantics for imperativesNoesis, 187
-
H Lee, J Tannock, JS Williams (1993)
Logic-based reasoning about actions and plans in artificial intelligenceKnowl Eng Rev, 8
-
A Hofstadter, J McKinsey (1939)
On the logic of imperativesPhilos Sci, 6
-
A Hunter, W Liu (2010)
A survey of formalisms for representing and reasoning with scientific knowledgeKnowl Eng Rev, 25
-
M Shanahan, LS Bz (1995)
A circumscriptive calculus of eventsArtif Intell, 77
-
P Vranas (2008)
New foundation for imperative logic i: logical connectives, consistency and quantifiersNous, 42
-
EL Beardsley (1944)
Imperative sentences in relation to indicativesPhilos Rev, 53
-
E Rich (2010)
Artificial intelligence -
P Russell, P Norvig (2009)
Artificial intelligence: a modern approach -
J Forrester (1984)
Gentle murder, or the adverbial samaritanJ Philos, 81
-
F Harmelen, F Harmelen, V Lifschitz, B Porter (2007)
Handbook of knowledge representation -
N Rescher (1966)
The logic of commands Monographs in modern logic -
R Kowalski, M Sergot (1986)
A logic-based calculus of eventsNew Gen Comput, 4
-
J Austin (1962)
How to do things with words -
R Reiter (2001)
Knowledge in action: logical foundations for specifying and implementing dynamical systems. The frame problem and the situation calculus -
GH Wright (1971)
Norm and action: a logical enquiry -
(1985)
Readings in knowledge representation -
K Segerberg (1990)
Validity and satisfaction in imperative logicNotre Dame J Formal Log, 31
-
DK Lewis (1969)
Convention: a philosophical study -
M Perez-Ramirez, C Fox (2003)
An axiomatisation of imperatives using hoare logic -
PT Geach (1958)
Imperative and deontic logicAnalysis, 18
-
B Srinivasan, R Parthasarathi (2012)
A formalism for action representation inspired by mīmāsāJ Intell Syst, 21
-
AJ Kenny (1966)
Practical inferenceAnalysis, 26
-
MJ Fischer, RE Ladner (1979)
Propositional dynamic logic of regular programsJ Comput Syst Sci, 18
-
RM Hare (1967)
Some alleged differences between imperatives and indicativesMind LXXV, I
-
PB Vranas (2011)
New foundations for imperative logic: pure imperative referenceMind, 120
-
B Srinivasan, R Parthasarathi (2013)
An intelligent task analysis approach for special education based on miraJ Appl Log, 11
-
J-Y Girard (1987)
Linear logicTheor Comput Sci, 50
-
BD Eugenio (1998)
An action representation formalism to interpret natural language instructionsComput Intell, 14
-
C Hamblin (1987)
Imperatives -
PR Cohen, HJ Levesque (1990)
Intention is choice with commitmentArtif Intell, 42
-
J Searle (1976)
A classification of illocutionary actsLang Soc, 5
-
K Trentelman (2009)
Survey of knowledge representation and reasoning systems -
E Sosa (1967)
The semantics of imperativesAm Philos Q, 4
-
M Thielscher (2011)
A unifying action calculusArtif Intell, 175
-
J Eijck (2000)
Making things happenStud Log, 66
-
J Hansen (2014)
Be nice! how simple imperatives simplify imperative logicJ Philos Log, 43
-
E Sosa (1966)
The logic of imperatives1Theoria, 32
-
C Fox (2012)
Imperatives: a judgemental analysisStud Log, 100
- Publisher
- Springer Journals
- Copyright
- Copyright © 2016 by Springer Science+Business Media Dordrecht
- Subject
- Computer Science; Artificial Intelligence (incl. Robotics); Computer Science, general
- ISSN
- 0269-2821
- eISSN
- 1573-7462
- DOI
- 10.1007/s10462-016-9501-y
- Publisher site
- See Article on Publisher Site
Abstract
Representation and reasoning of actions is a wide spread area in the domain of Artificial Intelligence. The representation involves natural language instructions, which are based on the linguistic concepts and the reasoning methodology deals with the logical structures. In the computational domain, several theories pertaining to the state-space approach have been proposed to represent and reason out actions. Considering these aspects, this paper provides an account of work from the viewpoint of linguistics, logic and action representation formalisms. Based on this study, this paper then proposes a seven axes categorization scheme, that can be used to compare and analyze different theories.
Journal
Artificial Intelligence Review – Springer Journals
Published: Jul 29, 2016