In this paper, we introduce a programming language for an abductive reasoner. We propose the syntax for an imperative language in the usual manner and its semantics as a mapping from the language statements to an abductive logic program. The design is such that any semantics for abductive logic programs could be taken as the basic semantics for the programming language that we propose. In this way, we build upon existing formalizations of abductive reasoning and abductive logic programming. One innovative aspect of this work is that the agent processing and executing OPENLOG programs will stay open to the environment and will allow for changes in its environment and assimilation of new information generated by these changes.
CITATION STYLE
Dávila, J. A. (1999). OPENLOG: A logic programming language based on abduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1702, pp. 278–293). Springer Verlag. https://doi.org/10.1007/10704567_17
Mendeley helps you to discover research relevant for your work.