Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Rule-based versus structure-based models for explaining and generating expert behavior
Communications of the ACM
Applications of Artificial Intelligence for Chemical Inference: The Dendral Project
Applications of Artificial Intelligence for Chemical Inference: The Dendral Project
Planning with constraints
Lisp machine manual
Market expert surveillance system
Communications of the ACM
IEEE Transactions on Knowledge and Data Engineering
Seteli: The Strategy Expert for Telecommunication Investments
IEEE Expert: Intelligent Systems and Their Applications
IEEE Expert: Intelligent Systems and Their Applications
ACP: reason maintenance and inference control for constraint propagation over intervals
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.02 |
The authors describe an implemented system supporting the maintenance of evolving symbolic models and the spreadsheet-like algebraic models based on them. The system's primitives are knowledge fragments that are instantiated into symbolic models; these fragments can be modified in response to changes in the task environment, and appropriate changes induced in the algebraic model to reflect changes in the symbolic model. They analyze model features for problem-solving in domains with three levels of structuredness: highly formalized problems. The authors define data structures used for representing choice sets and constraints and describe the system's procedural knowledge component, which allows knowledge represented in the structures to be used in an integrated way.