328 Result(s)
-
Chapter and Conference Paper
A Logical Framework for Design Processes
Designing often involves rather complex processes of reasoning. For building knowledge-based systems for designing, a detailed logical analysis of these processes is inevitable. This paper aims to present a lo...
-
Chapter and Conference Paper
Declarative functionality descriptions of interactive reasoning modules
In this paper a semantical framework is developed that provides a logical description of the functionality of an interactive reasoning module. In particular it can be made more transparent by this framework wh...
-
Chapter and Conference Paper
Towards a formal framework to compare protocol interpretations and task specifications
In this paper we discuss a formal framework that can be used to relate and compare different possible interpretations and formal task specifications of a given (verbal) expert protocol. Notions are defined tha...
-
Chapter and Conference Paper
A temporal model theory for default logic
By explicitly identifying the temporal aspect of a default rule as it is used in a reasoning process, it is argued that a natural semantic theory of Reiter's default logic is a temporal one. To be able to acco...
-
Chapter and Conference Paper
Temporal semantics of meta-level architectures for dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are described, usually in a procedural m...
-
Chapter and Conference Paper
Temporal theories of reasoning
-
Chapter and Conference Paper
Formal semantics of temporal epistemic reflection
In this paper we show how a formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and changes of them. Especially the attention is f...
-
Chapter and Conference Paper
Nonmonotonic belief state frames and reasoning frames
In this paper five levels of specification of nonmonotonic reasoning are distinguished. The notions of semantical frame, belief state frame and reasoning frame are introduced and used as a semantical basis for...
-
Chapter and Conference Paper
Compositional formal specification of multi-agent systems
In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge...
-
Chapter and Conference Paper
Specification of nonmonotonic reasoning
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the sec...
-
Chapter and Conference Paper
Infinitary default logic for specification of nonmonotonic reasoning
In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an infinite sequence of th...
-
Chapter
A Logical Theory of Design
Design tasks typically deal with incomplete information and involve flexible reasoning patterns for which sophisticated control strategies are needed. As a result, the reasoning patterns are highly dynamic and...
-
Chapter and Conference Paper
The acquisition of a shared task model
The process of the acquisition of an agreed, shared task model as a means to structure interaction between expert users and knowledge engineers is described. The role existing (generic) task models play in thi...
-
Chapter and Conference Paper
A purpose driven method for language comparison
Current efforts to compare knowledge engineering (KE) modelling languages have been limited to either rather shallow comparisons on a broad-set of languages, or to detailed comparisons with limited applicabili...
-
Chapter and Conference Paper
Nonmonotonic reasoning with multiple belief sets
In the present paper we introduce nonmonotonic belief set operators and selection operators to formalize and to analyze multiple belief sets in an abstract setting. We define and investigate formal properties ...
-
Chapter
Modeling Distributed Industrial Processes in a Multi-Agent Framework
Automation of industrial and business processes has focused primarily on modeling information available within and applicable to an organization. Large quantities of data have become not only available but als...
-
Chapter and Conference Paper
Modelling competitive co-operation of agents in a compositional multi-agent framework
-
Chapter and Conference Paper
Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
In this paper a compositional verification method for models of knowledge-based systems is introduced. Required properties of the system are formally verified by deriving them from assumptions that themselves ...
-
Chapter and Conference Paper
Formalisation of a cooperation model based on joint intentions
A cooperation model based on joint intentions introduced by Jennings is formalised within the modelling framework DESIRE for compositional multi-agent systems. By formalising the model in the DESIRE framework ...
-
Chapter and Conference Paper
Modelling an agent's mind and matter
In agent models often it is assumed that the agent maintains internal representations of the material world (e.g., its beliefs). An overall model of the agent and the material world necessarily incorporates su...
