Paper Info
Title
A formal model for heuristic search
Abstract
: We develop a formal theory, the so-calledLinguistic Geometry, in order to discover the innerproperties of human expert heuristics, which weresuccessful in a certain class of complex control systems,and apply them to different systems. This research includesthe development of syntactic tools for knowledgerepresentation andreasoningabout large-scale hierarchicalcomplex systems. It relies on the formalization of searchheuristics of high-skilled human experts, which allow todecompose...
Year
DOI
Venue
1994
10.1145/197530.197658
ACM Conference on Computer Science
Keywords
Field
DocType
heuristic search,formal model,control system
Heuristic,Computer science,Theoretical computer science
Conference
ISBN
Citations 
PageRank 
0-89791-634-4
6
1.10
References 
Authors
11
1
Name
Order
Citations
PageRank
boris stilman18717.77