Search

Cognition in computer sciences refers to the ability of a system to learn at scale, reason with purpose, and naturally interact with humans and other smart systems, such as humans do. To enhance intelligence, as well as to introduce cognitive functions into machines, recent studies have brought humans into the loop, turning the system into a human–AI hybrid. To effectively integrate and manipulate hybrid knowledge, suitable technologies and guidelines are required to sustain the human–AI interface so that communication can occur. However, traditional Knowledge Management (KM) and Knowledge Engineering (KE) approaches encounter problems when dealing with cutting-edge technologies, imposing impediments for the use of traditional methods in cognitive systems (CS). This paper presents a brief overview of the Smart Knowledge Engineering for Cognitive Systems (SKECS), which is based on methods, technologies, and procedures that bring innovations to the fields of KE, KM, and CS. The goal is to bridge the gap in the hybrid cognitive interface by the combination of experience-based knowledge representation with the use of emerging technologies such as deep learning, context-aware indexing/retrieval, active learning with a human-in-the-loop, and stream reasoning. In this work Set of Experience Knowledge Structure (SOEKS) and Decision DNA (DDNA) is extended to the visual domain and utilized for knowledge capture, representation, reuse, and evolution. These technologies are examined throughout the layers of SKECS for applications in knowledge acquisition, formalization, storage/retrieval, learning, and reasoning, with the final goal of achieving knowledge augmentation (wisdom) in CS. Features of the SKECS and their practical implementation is discussed through a case study—the Cognitive Vision Platform for Hazard Control (CVP-HC)—suggesting that methods, techniques and procedures comprising the SKECS are suitable for advancing systems toward augmented cognition. [ABSTRACT FROM AUTHOR]

Knowledge representation is one of the most explored areas in nowadays computer science research. In this paper authors pursue definition and semantics of semantic networks that are defined as part of Semantic Knowledge Base being a hybrid knowledge oriented system. The approach presented in here aims at introducing advanced properties of networks such as cardinality, partitioning or certainty at the same time using simple structure based on two operands and operators. Following paper is an extension of a conference publication that introduced advanced aspects of semantic networks modelling with the use of Association-Oriented Metamodel. The extension includes a discussion related to the formal description of the structure, as well as the description and use of association-oriented design patterns. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Abstract: Knowledge intensive service processes should be managed in a human-oriented way since human workers who naturally undertake complex operations of an intellectual nature in the processes are the most valuable resources for service-providing companies. For the human-oriented management, a role-based approach has been widely applied. The foremost step in the role-based human process management is to assign relevant roles to appropriate humans. The role assignment task is also highly dependent on the ability of humans to consider information about roles and humans. In order to manage the role assignment in a human-oriented way, this paper presents two fundamental principles upon which the assignment task is carried out. First, roles should not be assigned until they need to be activated; second, the authority for the role assignment should be distributed to participants in the processes. In order to support the principles, the information should be explicitly and formally described to enable all the participants to easily understand and utilize it. Consequently, this paper proposes a methodology for managing the role assignment in a human-oriented way by adopting an ontological approach which can precisely describe the information. From the proposed methodology, human workers can be notified which roles are triggered to be activated and wait to be assigned. Moreover, they can be provided appropriate candidate humans when carrying out the assignment task. The contribution of this paper is to suggest a role assignment methodology that not only lightens the assignment workload by providing the capability of identifying a small set of appropriate candidates but also enables the efficient assignment by streamlining the assignment task. [Copyright &y& Elsevier]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA... [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Abstract: After having recalled some well-known shortcomings linked with the Semantic Web approach to the creation of (application oriented) systems of “rules” – e.g., limited expressiveness, adoption of an Open World Assumption (OWA) paradigm, absence of variables in the original definition of OWL – this paper examines the technical solutions successfully used for implementing advanced reasoning systems according to the NKRL’s methodology. NKRL (Narrative Knowledge Representation Language) is a conceptual meta-model and a Computer Science environment expressly created to deal, in an ‘intelligent’ and complete way, with complex and content-rich non-fictional ‘narrative’ data sources. These last include corporate memory documents, news stories, normative and legal texts, medical records, surveillance videos, actuality photos for newspapers and magazines, etc. In this context, we will expound first the need for distinguishing between “plain/static” and “structured/dynamic” knowledge and for introducing appropriate (and different) knowledge representation structures for these two types of knowledge. In a structured/dynamic context, we will then show how the introduction of “functional roles” – associated with the possibility of making use of n-ary structures – allows us to build up highly ‘expressive’ rules whose “atoms” can directly represent complex situations, actions, etc. without being restricted to the use of binary clauses. In an NKRL context, “functional roles” are primitive symbols interpreted as “relations” – like “subject”, “object”, “source”, “beneficiary”, etc. – that link a semantic predicate with its arguments within an n-ary conceptual formula. Functional roles contrast then with the “semantic roles” that are equated to ordinary concepts like “student”, to be inserted into the “non-sortal” (no direct instances) branch of a traditional ontology. [Copyright &y& Elsevier]

Abstract: One critical problem in the operations of chemical processes is the occurrence of abnormal events. Therefore, an effective process monitoring methodology that can help detect, diagnose and predict abnormal events becomes potentially very useful. For the purpose of knowledge representation of chemical abnormality, a specified type of timed fuzzy Petri net (tFPN) approach is explicitly introduced in this paper. The dominant feature of tFPN metrics can be recognized from the fact that a timing factor is assigned to each transition, as well as a degree of reliability is associated with each place, which allows accurately representing the dynamic nature of fuzzy knowledge pertaining to abnormal events. Following a procedure towards abnormal event monitoring, two efficient algorithms in terms of abnormality prognostication and diagnosis are exploited by means of reachability analysis of tFPN. The benefits of derived techniques and solutions are illustrated through a case study consisting in a polypropylene reactor. [Copyright &y& Elsevier]

Inconsistency-tolerant reasoning and paraconsistent logic are of growing importance not only in Knowledge Representation, AI and other areas of Computer Science, but also in Philosophical Logic. In this paper, a new logic, paraconsistent linear-time temporal logic (PLTL), is obtained semantically from the linear-time temporal logic LTL by adding a paraconsistent negation. Some theorems for embedding PLTL into LTL are proved, and PLTL is shown to be decidable. A Gentzentype sequent calculus PLTω for PLTL is introduced, and the completeness and cut-elimination theorems for this calculus are proved. In addition, a display calculus δPLTω for PLTL is defined. [ABSTRACT FROM AUTHOR]

Abstract: Visual tracking consists of locating or determining the configuration of a known object at each frame of a video sequence. Usually, the description of the whole scene involves the participation of multiple targets, their movements and interactions, etc., and the scenario particular features. This paper presents a visual tracking system framework oriented to provide a “near natural language” description of the involved targets in the scene actions. Our prototype focuses on the detection, tracking and feature extraction of a dynamic number of targets in a scenario along time. The design of any visual tracking system usually needs the injection of human knowledge at each transformed level of description, in order to produce from raw videos a linguistic scene summary. The main aim of this work was to make explicit the knowledge injection needed to link the low-level representations (associated to signals) to the high-level semantics (related to knowledge) in the visual tracking problem. As a result, the emerging semantic necessary at the two transformation level is analysed and presented. We have concentrated on the representation spaces for the memetic algorithm particle filter applied to multiple object tracking in annotated scenarios, oriented to video-based surveillance applications. Finally, some example applications on different surveillance scenarios are presented and discussed. [Copyright &y& Elsevier]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Computer science provides with virtual laboratories, places where one can merge real experiments with the formalism of algorithms and mathematics and where, with the advent of multimedia, sounds and movies can also be added. In this paper we present a method, based on principles of formal ontology, allowing one to develop interactive educational tools. The structure of our system starts from general considerations on knowledge itself moving on to formal ontological principles in order to obtain a robust knowledge frame and good awareness of knowledge levels involved during the teaching process. Our system is split into object-knowledge - the knowledge of the phenomenon to be taught - and meta-knowledge - i.e., how to teach it. Using a trip (journey) metaphor, together with the flexibility of semantic graph representations, we define the reference frame and we apply it to a case study related to the Planetary Missions, the subject of our research. This tool is provided with a multimedia interface to show the results of several current missions , but may be implemented with new missions. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

This section is maintained by Vladik Kreinovich. Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to: Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

This section is maintained by Vladik Kreinovich. Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@utep.edu, or by regular mail to: V. Kreinovich, Department of Computer Science, University of Texas, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

This section is maintained by Vladik Kreinovich. Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@cs.utep.edu, or by regular mail to: Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

This section is maintained by Vladik Kreinovich. Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@cs.utep.edu, or by regular mail to: Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]

This section is maintained by Vladik Kreinovich. Please send your abstracts (or copies of papers that you want to see reviewed here) to vladik@cs.utep.edu, or by regular mail to: Vladik Kreinovich, Department of Computer Science, University of Texas at El Paso, El Paso, TX 79968, USA. [ABSTRACT FROM AUTHOR]