TY - GEN
T1 - Towards a self-selective and self-healing evaluation
AU - Butler, Alastair
AU - Yoshimoto, Kei
PY - 2012/9/13
Y1 - 2012/9/13
N2 - Assume a recursive routine for evaluating expressions against an assignment function that stores accumulated binding information for variable names. This paper proposes adding an If operation that allows for what is evaluated to be automatically selected during the runtime of evaluation based on the state of the assignment function. This can (a) allow a single encoding of content that would otherwise require distinct expressions, and (b) equip an expression with a way to recover from situations that would cause unwelcome results from evaluation. The new operation is demonstrated to be an essential component for allowing a robust interpretation of unknown lexical items and for feeding an automated regulation of binding dependencies determined on a grammatical basis.
AB - Assume a recursive routine for evaluating expressions against an assignment function that stores accumulated binding information for variable names. This paper proposes adding an If operation that allows for what is evaluated to be automatically selected during the runtime of evaluation based on the state of the assignment function. This can (a) allow a single encoding of content that would otherwise require distinct expressions, and (b) equip an expression with a way to recover from situations that would cause unwelcome results from evaluation. The new operation is demonstrated to be an essential component for allowing a robust interpretation of unknown lexical items and for feeding an automated regulation of binding dependencies determined on a grammatical basis.
KW - assignment function
KW - binding dependencies
KW - grammatical roles
KW - predicate logic
KW - robust interpretation
KW - semantic evaluation
UR - http://www.scopus.com/inward/record.url?scp=84866002510&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866002510&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-32090-3_9
DO - 10.1007/978-3-642-32090-3_9
M3 - Conference contribution
AN - SCOPUS:84866002510
SN - 9783642320897
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 96
EP - 109
BT - New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Revised Selected Papers
T2 - 3rd International Symposium on Artificial Intelligence, JSAI-isAI 2011
Y2 - 1 December 2011 through 2 November 2012
ER -