Contributions to Books:
T. Eiter, C. Feier, M. Fink:
"Simulating Production Rules Using ACTHEX";
in: "Correct Reasoning, Essays on Logic-Based AI in Honour of Vladimir Lifschitz",
E. Erdem, J. Lee, Y. Lierler, D. Pearce (ed.);
Springer, LNCS 7265,
2012, (invited),
ISBN: 978-3-642-30742-3,
211
- 228.
English abstract:
Production rules are a premier formalism to describe actions which, given that certain conditions are met, change the state of a factual knowledge base and/or effect a change of the external environment in which they are situated, based on an operational semantics. acthex is a recent formalism extending hex programs, such that the specification of declarative knowledge in the form of logic programming rules can be interleaved with a type of condition-action rules which prescribe the execution of (sequences of) actions that can change the external environment. Under the provision of a specific semantics of conditions, the operational semantics of production rules can be simulated using the model-based semantics of acthex. Given that the latter features abstract access to external sources of computation, it can capture a range of concrete execution semantics and, moreover, facilitate access to heterogeneous information sources.
Keywords:
acthex, production rules
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-30743-0_15
Created from the Publication Database of the Vienna University of Technology.