Abstract | ||
---|---|---|
Much of our commonsense knowledge about the real world is concerned with the way things are done. This knowledge is often in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for representing such knowledge based on the notion of process. A declarative semantics for the represen tation is given, which allows a user to state facts about the effects of doing things in the problem domain of interest. An operational semantics is also provided, which shows how this knowledge can be used to achieve given goals or to form intentions regarding their achievement. The for malism also serves as an executable program specification language suitable for constructing complex systems. |
Year | Venue | Keywords |
---|---|---|
1985 | IJCAI | commonsense knowledge,complex system,procedural logic,real world,operational semantics,state fact,particular goal,executable program specification language,declarative semantics,problem domain,knowledge base |
Field | DocType | ISBN |
Procedural knowledge,Specification language,Commonsense knowledge,Operational semantics,Programming language,Problem domain,Computer science,Knowledge-based systems,Formalism (philosophy),Executable | Conference | 0-934613-02-8 |
Citations | PageRank | References |
20 | 27.20 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael P. Georgeff | 1 | 3998 | 669.02 |
amy l lansky | 2 | 494 | 184.77 |
Pierre Bessière | 3 | 425 | 86.40 |