Wyniki wyszukiwania dla: MODULAR REASONING

• Thinking & Reasoning

  Czasopisma

  ISSN: 1354-6783 , eISSN: 1464-0708

• Reasoning about trust in IT infrastructures

  Publikacja

  • J. Górski
  • M. Zagórski

  - Rok 2005

  W artykule zaprezentowano metodę pozwalającą na ilościowe określenie poziomu zaufania do systemu TI.

• Contextual approach to reasoning with rules

  Publikacja

  • A. Waloszek
  • W. Waloszek

  - Rok 2015

  In the paper we present a method of reasoning with Horn rules within a contextual framework. We show that by proper use of a structure of contexts we can obtain partial OWA compliance with no necessity of extending the syntax of underlying Description Logics.

  Pełny tekst do pobrania w serwisie zewnętrznym

• Automated Reasoning Based User Interface

  Publikacja

  • P. Kapłański
  • A. Seganti
  • K. Cieśliński
  • A. Chrabrowa
  • I. Ługowska

  - EXPERT SYSTEMS WITH APPLICATIONS - Rok 2017

  Motivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Concrete-domain reasoning techniques in knowledge cartography

  Publikacja

  • K. Goczyła
  • A. Waloszek
  • W. Waloszek

  - Rok 2006

  Wiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...

• Cognitum Ontorion: Knowledge Representation and Reasoning System

  Publikacja

  • P. Kapłański
  • P. Weichbroth

  - Rok 2017

  At any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Cognitum Ontorion: Knowledge Representation and Reasoning System

  Publikacja

  • P. Kapłański
  • P. Weichbroth

  - Rok 2015

  “If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....

  Pełny tekst do pobrania w serwisie zewnętrznym

• Journal of Formalized Reasoning

  Czasopisma

  ISSN: 1972-5787

• Logic, Argumentation and Reasoning

  Czasopisma

  ISSN: 2214-9120 , eISSN: 2214-9139

• JOURNAL OF AUTOMATED REASONING

  Czasopisma

  ISSN: 0168-7433 , eISSN: 1573-0670