Antoni Ligęza

AGH University of Science and Technology in Kraków | AGH · Department of Applied Computer Science

Grouping objects into a common, initially unknown, category underlies several important tasks, such as query suggestion or automatic lexicon generation. However, while coming up with more things “of the same kind” is easy for humans, it is not trivial for Artificial Intelligence. This task is commonly known as the Entity Set Expansion (ESE) problem...

Modeling process choreographies is a key activity to illustrate collaboration between different organizations. In this paper, we propose a method to automatically generate BPMN Choreography Diagrams based on existing models. A process choreography can be decomposed into a number of reusable parts. Such parts are then stored in a web-based repositor...

Graph-based conceptualization constitutes a natural mean for knowledge representation in several branches of Artificial Intelligence. From ontological descriptions of the universe of discourse to graphical depiction of business processes, graphs play an important role in modern intelligent systems. In this submission, we report on some of the resea...

Our review aimed to assess the current state and quality of publicly available datasets used for automated affect and emotion recognition (AAER) with artificial intelligence (AI), and emphasising cardiovascular (CV) signals. The quality of such datasets is essential to create replicable systems for future work to grow. We investigated nine sources...

The paper presents an evaluation of selected Artificial Intelligence related technologies and tools as candidates for innovative applications for sustainable Business Intelligence development. A set of core properties defining the functional features, strengths and potential impact of selected technologies on sustainable development of Business Int...

Modeling is an integral part of business process management. However, it is often a repetitive work and therefore, methods of its improvement are being invented. In this paper, we aim at facilitating the modeling phase by reusing components from existing repositories and assembling them into new models in a manual or automated way. As a first appro...

Tree-based ensemble models are widely applied in artificial intelligence systems due to their robustness and generality. However, those models are not transparent. For the sake of making systems trustworthy and dependable, multiple explanation techniques are developed.This paper presents selected explainability techniques for tree-based ensemble mo...

Operational processes are usually modeled using the standardized Business Process Model and Notation (BPMN). Processes may include the decisions, however, best practices include modeling operational decisions using the Decision Model and Notation (DMN) standard. This paper presents a proposal for creating BPMN models based on the data extracted fro...

Empathy, the ability to emotionally understand other people’s feelings, might be modeled in various ways. In this paper, we try to look at the empathy episodes from the knowledge engineering perspective. We present the possibility of modeling the empathy episodes using the Attribute Relationship Diagrams (ARD) and Decision Model and Notation (DMN)...

Business process models are subject to changing requirements. The purpose of this paper is to present methods that enable computer-aided recomposition of process models, understood as using existing processes to design new ones. This procedure involves dividing existing BPMN diagrams into smaller components, from which new models can be created. Th...

Affect Recognition has become a relevant research field in Artificial Intelligence development. Nevertheless, its progress is impeded by poor methodological conduct in psychology, computer science, and, consequently, affective computing. We address this issue by providing a rigorous overview of Emotion Elicitation utilising stimuli datasets in Affe...

High complexity of business processes is a continually growing problem in real-life organisations. Hence, modelling a workflow poses a challenge for different participants. Many methods have been proposed for automatic generation of process models. This paper aims at presenting an approach for uniting knowledge from a number of stakeholders. In ess...

This paper explores a yet another approach to Explainable Artificial Intelligence. The proposal consists in application of Constraint Programming to discovery of internal structure and parameters of a given black-box system. Apart from specification of a sample of the input and output values, some presupposed knowledge about the possible internal s...

Business Process Model and Notation (BPMN) is a widely used standard for modeling and managing process knowledge among organizations. In this paper, we present a concept of a natural language description generator for business process models. Such a generator is expected to reduce the time it takes to describe a process work manually. It may also l...

In the paper a Fuzzy Multi-Agent Problem (FMAP) is discussed both in a conceptual and a programming-wise depiction. In particular, it is illustrated how FMAP stems from a Nurse Job Rostering Problem-based formulation of MAP. Finally, a workable subcase of FMAP is explored by means of PROLOG-solvers.

In the paper a Fuzzy Multi-Agent Problem (FMAP) is discussed both in a conceptual and a programming-wise depiction. In particular , it is illustrated how FMAP stems from a Nurse Job Roster-ing Problem-based formulation of MAP. Finally, a workable subcase of FMAP is explored by means of PROLOG-solvers.

A Multi-Agent Problem (MAP) may be seen as a class of planning and scheduling problems with multiple interacting intelligent agants. These problems may be naturally expressible and solveable by means of solvers of such programming languages as PROLOG. MAP is sometimes fuzzified because of a vagueness of information, for example-about abilities and...

Business process models are a way of knowledge representation which is widely exploited in various areas of economy and industry. They illustrate workflows executed manually by people, as well as automated sequences of tasks processed by computer software. Manual creation of a workflow model is a complex activity which requires a significant worklo...

Decision Model and Notation provides a modeling notation for decisions, supports decision management, and business rules specification. In this paper, we identify research directions concerning DMN standard, outline classification of DMN research areas and perspectives of this relatively new formalism.

Business Process Model and Notation (BPMN) is a well established standard for modeling and managing process knowledge of organizations. Recently, the Decision Model and Notation (DMN) standard has been proposed as a complementary technique to enact particular type of knowledge, namely the organizational rules (decision logic). An integrated model o...

Collecting process-related information from different stakeholders is a complex and error-prone task. Therefore, there exists a variety of methods to generate process models automatically. In this paper, we present a novel method for merging process knowledge from a number of participants. According to the main principle of the approach, a set of t...

Business process models help to visualize processes of an organization. In enterprises, these processes are often specified in internal regulations, resolutions or other law acts of a company. Such descriptions, like task lists, have mostly form of enumerated lists or spreadsheets. In this paper, we present a mapping of process model elements into...

Development of modern software systems consists of many different phases, the sequence of whom is referred to as the software life cycle. During these phases, business analysts gather requirements from clients and try to design a system in order to fulfil these requirements. Software design of complex systems exploits various notations for represen...

Modeling a business process is a complex task which involves different participants who should be familiar with the chosen modeling notation. In this paper, we propose an idea of generating business process models based on a declarative specification. Given an unordered list of process activities along with their input and output data entities, our...

Diagnostic reasoning is often based on abduction. Abductive inference consists in generation of hypotheses which explain the current behavior of the system under investigation. Such a reasoning is based on accessible background knowledge and the results must be consistent with all auxiliary observations. Efficient abductive diagnosis is carried out...

Designing business process models plays a vital role in business process management. The acquisition of such models may consume up to 60% of the project time. This time can be shortened using methods for the automatic or semi-automatic generation of process models. In this paper, we present a user-friendly method of business process composition. It...

The Allen's relations between temporal intervals found its logical representation in terms of the so-called Halpern-Shoham logic (HS). This system forms a modal-type logic interpreted in the interval-based Kripke semantics. Unfortunately, not all phenomena of temporal reasoning may be rendered by HS. In 2013, an epistemic extension of HS was propos...

This paper proposes a new integrated approach to the hybrid plan controller construction. It forms a synergy of the logic-based approach in terms of LTL-description and automata of Buchi with the integral-based approach. It is shown that the integral-based complementation may be naturally exploited in detection of the robot trajectories by the app...

In this paper, a new temporal extension of Traveling Salesman Problem (TSP)-as an old optimization problem-is proposed. This proposal stems from a need to elucidate TSP not only as an optimization problem, but also as a potentially paradigmatic problem for the subject specification of temporal planning. This new Temporal Traveling Salesman Problem...

In this paper, a new temporal extension of Traveling Salesman Problem (TSP)-as an old optimization problem-is proposed. This proposal stems from a need to elucidate TSP not only as an optimization problem, but also as a potentially paradigmatic problem for the subject specification of temporal planning. This new Temporal Trav-eling Salesman Problem...

Process models help organizations to visualize and optimize their activities, and achieve their business goals in a more efficient way. Modeling a business process requires exact information about possible execution sequences of the activities as well as process modeling notation knowledge. We present a method of business process composition based...

Modeling based on a graphical notation understandable for different specialists has become very popular. Within the area of business processes, the most common one is the Business Process Modeling and Notation (BPMN). BPMN is aimed at all business users who design, analyze, manage and monitor business processes. BPMN specification is relatively pre...

Formal verification of process models is an impor-tant issue in Business Process Management. Such a verificationprovides the information about the correctness of a processmodel, can be also used for checking business compliance oras a preliminary step to simulation. In this paper, we provide anoverview of the existing tools for such a verification.

W dziedzinie procesów biznesowych najbardziej popularne jest modelowanie Business Process Modeling Notation (BPMN). BPMN jest istotny z praktycznego punktu widzenia, a przy tym oferuje wiele wyzwań dla programistów i naukowców. Specyfikacja diagramu BPMN jest stosunkowo precyzyjna, ale jest to tylko forma opisowa prezentowana na abstrakcyjnym pozio...

In 1960 M. Davis and H. Putnam introduced some logical verification procedure for propositional languages – called later Putnam-Davis procedure. It found a broad application in AI as a basis of the planning paradigm based on satisfiability of formulas. Unfortunately, this procedure refers to satisfiability in a classical two-valued logic. This pape...

In 1971 N. Nilson introduced a very smart improvement of forward search methodology in classical planning. It is commonly known as STRIPS. However, the original STRIPS is not sensitive to temporal and preferential aspects of reasoning and planning (in particular). Unfortunately, neither temporal, nor preferential extension of STRIPS is known. Accor...

H. P. van Ditmarsch, W. van der Hoek and B.P. Kooi proposed in 2003 some complete formalism for representation of actions for Multi-Agent Systems. This paper is aimed at proposing a new preferential hybrid extension of this formalism in terms of dynamic-epistemic logic supported by a unique multi-valued logic. This new hybrid system of Dynamic-Epis...

The problem of Causal Structure Discovery is defined by given inputs, outputs, auxiliary knowledge of components and possible internal connections. Constraints Programming is employed to discover admissible system models. Existence of internal connections and predefined functionality of components is handled through reification.

Business Process Model and Notation is a standard for process modeling. However, such models do not specify the time issues such as time of performing tasks or time of utilizing the resources. We propose the complementary UML sequence model generated from the BPMN model. Such a model can support time specification and provide direct time visualizat...

In this paper, we present a mathematical model of public transport network, which can be used for generation of alternative routes during crisis situations. It is based on a mixed graph, where decision points are represented by vertices and track sections by edges. Route and vehicle definitions are also provided. We determine the objective function...

Most of the research in the area of performance evaluation of rule-based expert systems (RBESs) is focused on verification and validation issues. Many researchers discuss usability, usefulness, portability, and response time for the evolution of RBES. The final goal of all such studies is to construct a system with optimal, accurate knowledge base....

Diagnostic reasoning is an activity aimed at finding the causes of incorrect behavior of various technological systems. In order to perform diagnosis, a typical diagnostic system should be equipped with the expert knowledge of the domain and statistical evidence of former failures. More advanced solution combines model-based reasoning (MBR ) and ab...

This paper is aimed at presenting some general construction method of the hybrid plan controller for some task of temporal planning with preferences. This construction is multi-stage and it begins with a description of a chosen robot environment and its plan in some extended version of Linear Temporal Logic. This description is later transformed to...

The main idea of Consistency-Based Diagnosis rests in generation of diagnostic hypotheses stating which components of the system may be faulty, so that assuming them faulty explains the observations in a consistent way. Such diagnostic process is analyzed from qualitative perspective. Qualitative diagnostic inference, qualitative conflicts and qual...

This paper is aimed at the engineering evaluating of 3 well-known temporal logic systems: of the Linear Temporal Logic (LTL), of a Fuzzy Linear Temporal Logic (FLTL) and some alternative fuzzy extension of LTL – called a Fuzzy-Time Temporal Logic as a system suitable for an explicit rendering of a fuzzy nature of time. We intend to formulate and de...

This paper is aimed at the evaluating of utility of 3 temporal logics: linear temporal logic (LTL) and Halpern-Shoham interval logic from the point of view of the engineering practice. We intend to defend the thesis that chosen systems are only partially capable of satisfying typical requirements of engineers.

This paper is aimed at proposing some new formal system of a fuzzy logic – suitable for representation the “before” relation between temporal intervals. This system and an idea of the integral-based approach to the representation of the Allen’s relations between temporal intervals is later used for a specification of a class of solutions of the so-...

Krystian Jobczyk This paper is aimed at the engineering evaluating of 3 well-known temporal logic systems: of the Linear Temporal Logic (LTL), of a Fuzzy Linear Temporal Logic (FLTL) and some alternative fuzzy extension of LTL – called a Fuzzy-Time Temporal Logic as a system suitable for an explicit rendering of a fuzzy nature of time. We intend to...

Inconsistency in knowledge bases traditionally was considered undesired. Systematic eradication of it served to ensure high quality of a system. However, in case of semantic wikis, where distributed, hybrid knowledge bases are developed and maintained collectively, and inconsistency appears to be an intrinsic phenomena. In this paper, we analyze in...

This paper is aimed at the evaluating of utility of 3 temporal logics: linear temporal logic (LTL), Allen’s interval algebra and Halpern-Shoham interval logic from the point of view of the engineering practice. We intend to defend the thesis that chosen systems are only partially able to satisfy typical requirements of engineers.

An extensive, in-depth study of cardiovascular risk factors (CVRF) seems to be of crucial importance in the research of cardiovascular disease (CVD) in order to prevent (or reduce) the chance of developing or dying from CVD. The main focus of data analysis is on the use of models able to discover and understand the relationships between different C...

The paper presents a new approach to modeling and analysis of conflicting spatial phenomena. The proposal is based on an extension of Cellular Automata. A new approach, namely Layered Competitive Cellular Automata for modeling of spatial conflicts of dynamic nature is put forward. The idea of this approach consists in building two or more levels of...

Efficient management of big Rule-Based Systems constitutes an important challenge for Knowledge Engineering. This paper presents an approach based on Granular Sets and Granular Relations. Granules of data replace numerous low-level items and allow for concise definition of constraints over a single attribute. Granular Relations are used for specifi...

Very popular is a modeling based on a graphical notation, because it is understandable for different specialists. The most common one is the Business Process Modeling and Notation (BPMN). BPMN is aimed at all business users who design, analyze, manage and monitor business processes. BPMN is relevant from a practical point of view while at the same...

In this paper we propose a multi-valued extension of the Halpern-Shoham logic (HS). The HS system is a modal logic of time intervals, with a rich set of ordering relations between intervals, which is potentially useful for temporal planning issues. Our extension may be exploited for a representation of both temporal relations and preferences, which...

This paper presents a comparative analysis of expressive power of PDDL and its known extensions versus a language of a Fuzzy Logic for Integrals (as a far extension of Łukasiewicz logic) with respect to some components of temporal planning. This comparative perspective is determined not only by the problem of the representation of planning objects,...

This paper presents an interesting discrete optimization problem which was stated as a challenge at the 2014 Bologna Summer School of Constraint Programming. The problem is given in two versions: A tractable one of a small size, for training, and a large one for the competition. A formalization of the problem is proposed, and its theoretical proper...