Simulating production rules using ACTHEX

DOI10.1007/978-3-642-30743-0_15MaRDI QIDQ2900521zbMATH OpenOpenAlexFDO

Authors Thomas Eiter, Cristina Feier, Michael Fink

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_15

zbMATH Keywords

ACTHEXproduction rules

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• HEX programs with action atoms
• Rewrite semantics for production rule systems: theory and applications
• A formal semantics for the cognitive architecture ACT-R
• scientific article; zbMATH DE number 1203347
• An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules

Cites work

• Combining answer set programming with description logics for the semantic web
• FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
• HEX programs with action atoms
• scientific article; zbMATH DE number 3688764 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Loop formulas for splitable temporal logic programs
• Nonmonotonic causal theories
• Reconciling description logics and rules
• Representing action and change by logic programs
• Semantics and complexity of recursive aggregates in answer set programming
• Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings

Cited in

(3)

• Reactive computing as model generation
• HEX programs with action atoms
• A formal semantics for the cognitive architecture ACT-R

Describes a project that uses

Uses Software

• STeLP
• CCalc

This page was built for publication: Simulating production rules using ACTHEX

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900521)