A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

J. Engelfriet, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be executed by a generic execution mechanism. The main advantages of using DESIRE (for example, compared to a direct implementation in a programming language such as PROLOG) are that the design is generic and has a transparent compositional structure, and the explicit declarative specification of both the static and dynamic aspects of the nonmonotonic reasoning processes, including their control. © 2003 Wiley Periodicals, Inc.
Original languageEnglish
Pages (from-to)593-608
JournalInternational journal of intelligent systems
Volume18
DOIs
Publication statusPublished - 2003

Fingerprint

Nonmonotonic Reasoning
PROLOG (programming language)
Reasoning
Multi agent systems
Computer programming languages
Specifications
Multi-agent Systems
Programming Languages
Specification
Design
Model

Bibliographical note

IJIS

Cite this

@article{cc144747ab0341809043867d893ed1b7,
title = "A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning",
abstract = "In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be executed by a generic execution mechanism. The main advantages of using DESIRE (for example, compared to a direct implementation in a programming language such as PROLOG) are that the design is generic and has a transparent compositional structure, and the explicit declarative specification of both the static and dynamic aspects of the nonmonotonic reasoning processes, including their control. {\circledC} 2003 Wiley Periodicals, Inc.",
author = "J. Engelfriet and J. Treur",
note = "IJIS",
year = "2003",
doi = "10.1002/int.10108",
language = "English",
volume = "18",
pages = "593--608",
journal = "International journal of intelligent systems",
issn = "0884-8173",
publisher = "John Wiley and Sons Ltd",

}

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. / Engelfriet, J.; Treur, J.

In: International journal of intelligent systems, Vol. 18, 2003, p. 593-608.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

AU - Engelfriet, J.

AU - Treur, J.

N1 - IJIS

PY - 2003

Y1 - 2003

N2 - In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be executed by a generic execution mechanism. The main advantages of using DESIRE (for example, compared to a direct implementation in a programming language such as PROLOG) are that the design is generic and has a transparent compositional structure, and the explicit declarative specification of both the static and dynamic aspects of the nonmonotonic reasoning processes, including their control. © 2003 Wiley Periodicals, Inc.

AB - In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be executed by a generic execution mechanism. The main advantages of using DESIRE (for example, compared to a direct implementation in a programming language such as PROLOG) are that the design is generic and has a transparent compositional structure, and the explicit declarative specification of both the static and dynamic aspects of the nonmonotonic reasoning processes, including their control. © 2003 Wiley Periodicals, Inc.

U2 - 10.1002/int.10108

DO - 10.1002/int.10108

M3 - Article

VL - 18

SP - 593

EP - 608

JO - International journal of intelligent systems

JF - International journal of intelligent systems

SN - 0884-8173

ER -