Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Object-Oriented First-Order Logic Department of Computer Science,

Summary: Object-Oriented First-Order Logic
Eyal Amir
Department of Computer Science,
Gates Building, 2A wing
Stanford University, Stanford, CA 94305-9020, USA
First-Order Logic (FOL) provides richness of repre-
sentation, but is unwieldy in modeling large, com-
plex tasks. On the other hand, the Object-Oriented
paradigm has been successful in treating large, com-
plex tasks in both software and knowledge engineering.
This paper describes a novel logic that extends FOL to
create counterparts of the Object-Oriented paradigm.
We call this logic Object-Oriented First-Order Logic
(OOFOL). In this logic, objects are theories that are
connected via interface vocabularies to other objects,
classes are used to provide a reusable logical template,
and inheritance is used to adapt classes to specialized
tasks. We show that such a logic can be given simple


Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign


Collections: Computer Technologies and Information Sciences