Knowledge Representation and Natural-Language Semantics.
Final rept. 1 Jun 85-30 Jul 86,
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
This report summarizes a year of research on a project both to develop a richer systematic theory of the role of beliefs in the production of rational action and to develop formalisms, suitable for manipulation by computer, adequate for representing and reasoning about the concepts involved in the theoretical analysis. Specific topics on which progress was made include an account of the dependence of successful action on belief and knowledge, and a semantical analysis of adverbial modifers and event sentences. Keywords Artificial Intelligence Theories of Knowledge and Action.
- Computer Programming and Software