Ligęza, Antoni
Loading...
Email Address
Employee
aktywny
Alternative name
Discipline
informatyka techniczna i telekomunikacja
Author Profiles
Systemy AGH
8 results
Filters
Advanced Search
Filter by
Settings
Search Results
Now showing 1 - 8 of 8
Item type:Book Chapter, Access status: Open Access , On graph models in knowledge engineering(Wydawnictwa AGH, 2023) Ligęza, Antoni; Adrian, Weronika Teresa; Adrian, Marek; Kluza, Krzysztof; Jobczyk, Krystian; Wiśniewski, Piotr; Ślażyński, Mateusz; Jemioło, Paweł; Sepioło, Dominik; Stachura-Terlecka, Bernadetta; Zaremba, Mateusz; Szymkowski, Mateusz; Suchenia, Anna; Potempa, TomaszThe paper presents selected applications of graph models in knowledge engineering. Starting from the basic definition of a graph as a set of nodes connected by edges, the article presents possible extensions of this concept aimed at increasing the power of expression and the ability to process knowledge. In particular, the work focuses on selected applications of graph models in research areas explored by the members of the KRaKEn research team.Item type:Article, Access status: Open Access , BPMN - a logical model and property analysis(2011) Ligęza, AntoniBusiness Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.Item type:Article, Access status: Open Access , Models and tools for improving efficiency in constraint logic programming(2011) Ligęza, AntoniConstraint Satisfaction Problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in Constraint Logic Programming. A hypergraph model of constraints is presented and an outline of strategy planning approach focused on entropy minimization is put forward. An example cryptoaritmetic problem is explored in order to explain the proposed approach.Item type:Article, Access status: Open Access , Knowledge representation and inference for analysis and design of databases and tabular rule-based systems(Wydawnictwa AGH, 2001) Ligęza, AntoniRule-based systems constitute a powerful tool for specification of knowledge in design and implementation of knowledge-based systems. They provide also a universal programming paradigm for domains such as intelligent control, decision support, situation classification and operational knowledge encoding. In order to assure safe and reliable performance, such systems should satisfy certain formal requirements, including completeness and consistency. This paper addresses the issue of analysis and verification of selected properties of a class of such systems in a systematic way. A uniform, tabular scheme of single-level rule-based systems is considered. Such systems can be applied as a generalized form of databases for specification of data patterns (unconditional knowledge), or can be used for defining attributive decision tables (conditional knowledge in form of rules). They can also serve as lower-level components of a hierarchical, multi-level control and decision support knowledge-based systems. An algebraic knowledge representation paradigm using extended tabular representation, similar to relational database tables is presented and algebraic bases for system analysis, verification and design support are outlined.Item type:Article, Access status: Open Access , A conceptual model for web knowledge acquisition system with GIS component(Wydawnictwa AGH, 2009) Ligęza, Antoni; Ernst, Sebastian; Nalepa, Grzegorz Jacek; Szpyrka, MarcinBuilding efficient tools for supporting Knowledge Acquisition and Knowledge Management is a challenge and hot research topic with potentially infinite numbers of applications. In modern computer science, the web technologies open a completely new chances for massive, distributed knowledge acquisition. Examples of such social phenomena as Wikipedia constitute a working proof of high potentials incorporated in the synergy of human and web interaction. This paper discusses certain issues concerning the conceptual model for a distributed knowledge acquisition system gathering and organizing knowledge on threats of various nature and aimed at improving safety of citizens in urban environments. The system for registering citizen-provided information is a part of the INDECT FP7 Project. Contemporary tools and techniques to be applied, including GIS technologies and Semantic Wikis are presented in brief and future problems to be solved are identified.Item type:Article, Access status: Open Access , AND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems(Wydawnictwa AGH, 2009) Ligęza, AntoniIn this paper a model for Constraint Satisfaction Problems based on the concept of AND-OR graph is presented. The graph provides a structure to model search-space for alternative solutions. In order to represent auxiliary constraints it is completed with a set of rules for knowledge propagation. The rules can be used for efficient modelling of constraints for knowledge propagation and for detection of inconsistency. An example from the area of automated diagnosis is used to illustrate the application.Item type:Article, Access status: Open Access , Modeling BPMN diagrams within XTT2 framework. A critical analysis(Wydawnictwa AGH, 2011) Ligęza, Antoni; Maślanka, Tomasz; Kluza, Krzysztof; Nalepa, Grzegorz JacekW pracy przedstawiono wstępne wyniki badań możliwości integracji narzędzi opisu procesów biznesowych z narzędziami do modelowania reguł. Proponowane podejście pozwala na translację bazowych diagramów BPMN do postaci regułowej w modelu XTT2, oraz na analizę i wykonanie otrzymanych reguł za pomocą silnika regułowego HeaRT. Badania ukierunkowane są na budowę logicznego, deklaratywnego modelu procesów BPMN, który pozwalałby na ich formalną analizę.Item type:Article, Access status: Open Access , From content to knowledge: a perspective on CMS(Wydawnictwa AGH, 2007) Nalepa, Grzegorz Jacek; Ligęza, Antoni; Wojnicki, IgorBuilding efficient tools for supporting Knowledge Management is a hot research topic and a great challenge for modern computer science. Increasing functionality of web applications and almost unlimited computational power of modern hardware seems to promise that solving this problem is a matter of time. Up to now efficient database technology has been developed and web technology has achieved relatively satisfactory level. However, the goal to build a real knowledge servers seem still far from being realistic. The paper discusses certain issues concerning the so-called Content Management Systems (CMS) which can be regarded as a partial solution with respect to knowledge storing, retrieval and presentation. Contemporary tools and techniques applied in CMS are presented in brief and future problems to be solve are identified.