A formal semantics for mOPS5

Author

Groiss, Herbert

Author_Institution

Inst. fur Inf., Klagenfurt Univ., Austria

fYear

1995

fDate

5-8 Nov 1995

Firstpage

42

Lastpage

48

Abstract

A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics. The availability of a clean semantics has several advantages: it allows program analysis and optimization as well as judging the correctness of implementations

Keywords

DATALOG; computational linguistics; knowledge representation; logic programming languages; Datalog; active databases; artificial intelligence; clean semantics; correctness; expert systems; fixpoint semantics; formal declarative semantics; formal semantics; logic programming language; mOPS5; minimal model semantics; problem-near knowledge representation; program analysis; rule-based language; Availability; Calculus; Databases; Expert systems; Intelligent systems; Knowledge representation; Logic programming;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on

Conference_Location

Herndon, VA

ISSN

1082-3409

Print_ISBN

0-8186-7312-5

Type

conf

DOI

10.1109/TAI.1995.479376

Filename

479376