Hart, P. E.


Semantic network representations in rule-based inference systems

Classics

"Rule-based inference systems allow judgmental knowledge about a specific problem domain to be represented as a collection of discrete rules. Each rule states that if certain premises are known, then certain conclusions can be inferred. An important design issue concerns the representational form for the premises and conclusions of the rules. We describe a rule-based system that uses a partitioned semantic network representation for the premises and conclusions." In Waterman and Hayes-Roth, 203-221.


A Formal Basis for the Heuristic Determination of Minimum Cost Paths

Classics

"Although the problem of determining the minimum cost path through a graph arises naturally in a number of interesting applications, there has been no underlying theory to guide the development of efficient search procedures. Moreover, there is no adequate conceptual framework within which the various ad hoc search strategies proposed to date can be compared. This paper describes how heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching and demonstrates an optimality property of a class of search strategies."See also: Correction IEEE Transactions on Systems Science and Cybernetics, SSC-4 (2), 100-107.