Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext revised PDF (requires Acrobat Reader)
Fulltext part 1 PostScript (requires a PostScript Reader)
  Fulltext part 2 PostScript (requires a PostScript Reader)
  Fulltext revised PostScript (requires a PostScript Reader)
Author: Eyal Amir
Article title: Object-Oriented First-Order Logic
Publ. type: Article
Volume: 4
Article No: 42
Language: English
Abstract [en]: This paper describes a novel logic that extends First-Order Logic (FOL) to create counterparts of the Object-Oriented paradigm. We call it Object-Oriented First-Order Logic (OOFOL). FOL provides richness of representation, but is unwieldy in modeling large, complex tasks. On the other hand, the Object-Oriented paradigm has been successful at treating large, complex tasks in both software and knowledge engineering.

In OOFOL, 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 semantics using FOL. A variant of the logic that allows links between the objects to be unidirectional is also examined. This variant is called Directed Object-Oriented First-Order Logic (Directed OOFOL). We show that such a system can be given semantics using Circumscription.

Our new tools facilitate the object-oriented design of theories. We demonstrate this through a few applications taken from model-based reasoning, theories of action and cognitive robotics. These examples also demonstrate the use of the object-oriented methodology and tools for the construction of first-order theories. We conclude with proposed inference algorithms for these logics.

Publisher: Linköping University Electronic Press
Year: 1999
Available: 1999-12-22, revidsed 2001-03-20
No. of pages: 21, revised 20
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21