DocumentCode
3100602
Title
Languages for intelligent specification systems
Author
Golshani, F. ; Scott, William T. ; White, Peter D.
Author_Institution
Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
fYear
1988
fDate
9-13 Oct. 1988
Firstpage
304
Lastpage
311
Abstract
By writing specifications as theories of a logic system, the authors use proof theory to ensure that (a) the consequences of theory are properties of the object being specified, and (b) any known property of the object can be proven as a theorem of the theory. They define an extension of first-order logic that deals with events with actions. The resulting logic is a special type of modal logic with a notation similar to that of Hoare-style logics. Specifications are theories of this logic.<>
Keywords
formal logic; programming theory; specification languages; theorem proving; AI; Hoare-style logics; first-order logic; intelligent specification systems; modal logic; notation; proof theory; Intelligent systems; Logic; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location
Miami Beach, FL, USA
Print_ISBN
0-8186-0874-9
Type
conf
DOI
10.1109/ICCL.1988.13078
Filename
13078
Link To Document