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
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;
Conference_Titel :
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location :
Miami Beach, FL, USA
Print_ISBN :
0-8186-0874-9
DOI :
10.1109/ICCL.1988.13078
