DocumentCode :
3227706
Title :
Reconciling Logic and Objects
Author :
Kowalski, R.
Author_Institution :
Imperial College
fYear :
2005
fDate :
26-30 Sept. 2005
Abstract :
Logic and objects can be combined and reconciled in at least three main ways. The simplest and most conservative way is to use logic to describe OO systems. This is useful for specifying and proving properties of OO systems. A more ambitious, but also straight-forward way is to use logic to implement OO methods. Used in this way, logic can implement both condition-action rules and goal-reduction rules. In this combination of logic and objects, objects can be viewed as agents embedded in an object-oriented world, which use logic to represent and reason about the world, as well as to generate actions to change the world. This second way reconciles logic and objects by allocating them separate areas of concern: Objects provide semantic structure, and logic provides their syntactic representation. Unfortunately, this second way leaves a major conflict, concerning their different views of atomic facts, unresolved.
Keywords :
Logic; Message passing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on
ISSN :
1550-4069
Print_ISBN :
0-7695-2454-0
Type :
conf
DOI :
10.1109/ENC.2005.35
Filename :
1592192
Link To Document :
بازگشت