Title :
A formal semantics for mOPS5
Author_Institution :
Inst. fur Inf., Klagenfurt Univ., Austria
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;
Conference_Titel :
Tools with Artificial Intelligence, 1995. Proceedings., Seventh International Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-7312-5
DOI :
10.1109/TAI.1995.479376
