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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-30743-0_15 | Correct Reasoning |
Keywords | Field | DocType |
factual knowledge base,specific semantics,concrete execution semantics,abstract access,model-based semantics,production rule,simulating production rule,external source,external environment,operational semantics,declarative knowledge | Descriptive knowledge,Operational semantics,Programming language,Semantics of Business Vocabulary and Business Rules,Computer science,Knowledge base,Logic programming,Formalism (philosophy),Database,Well-founded semantics,Semantics | Conference |
Citations | PageRank | References |
2 | 0.36 | 20 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Eiter | 1 | 7238 | 532.10 |
Cristina Feier | 2 | 99 | 10.23 |
Michael Fink | 3 | 1145 | 62.43 |