Graphical and formal knowledge specification with KARL

Fensel, Dieter

doi:10.1109/icesd.1994.302281

Cited by 3 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [13] FLORID with path expression is used to extract, restructure and manage the semi-structured web data. In [14,15], they propose an operational knowledge specification language KARL, which contains two sublanguage Logic-KARL (F-logic) and Procedure-KARL. For specifying knowledge at conceptual and operational level, the domain layer and inference layer are expressed in Logical-KARL, while the task layer is represented by Procedure-KARL.…”

Section: F-logicmentioning

confidence: 99%

Modelling Protocols for Multiagent Interaction by F-logic

Lai

Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

Abstract. This paper proposes a method to represent agent Unified Modelling Language (AUML) in logic form using F-logic that provides deductive capability and uniform knowledge integration base. The AUML is used to differentiate relevant interaction more precisely at the analysis phase of developing a multiagent system. However, the AUML lacks for foundation and logic semantics. Thus we aim at constructing sufficient formality to facilitate formal analysis and to explore the behaviour and message route of the AUML. The AUML is transformed into F-logic language first by transformation rules. Secondly, a logic interpretation of this agent structure is presented. The transformation processes and results are illustrated using an example of E-commerce system. Finally, the significance of this approach is discussed and summarized.

show abstract

Section: F-logicmentioning

confidence: 99%