Paraconsistent Reasoning in Ontopedia
•
0 likes•489 views
T
tmraParaconsistent logic allows for reasonable inferences to be made from inconsistent assertion systems by assigning different truth values to assertions. Ontopedia is an inconsistency tolerant system that collects assertions from various sources and uses paraconsistent reasoning and a decision procedure to calculate truth values and contradiction levels while suppressing contradictions. This allows Ontopedia to safely infer new information from a large number of assertions without being limited by inconsistencies.
Report
Share
Report
Share
Download to read offline
Recommended
ActiveTM - A Topic Maps - Object Mapper
Currently, the most common way to programmatically access Topic Maps data is the use of a Topic Maps API, like TMAPI. Another approach, besides the use of a query language like TMQL, is the encapsulation of the Topic Maps related code in domain-specific model classes. This concept is similar to object-relational mapping (ORM) which encapsulates access to a relational database inside the model classes. These techniques decouple the data store specific code from the business logic. For ORM, there are several prevalent design patterns, most notable the Active Record pattern by Fowler. For Topic Maps, no such pattern is established. This paper introduces Active Topic Maps, a pattern for topic maps -- object mapping, the domain-specific language ActiveTMML to define such a mapping and a prototypical implementation, called ActiveTM. ActiveTM is based on Ruby Topic Maps and also supports the generation of web-formulars based on ActiveTMML definitions. This full-featured software stack greatly improves the development productivity of Topic Maps based portals compared to other solutions.
XML Holland 2008
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
Dense Topic Maps
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
What is a subject?
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
Real-time Generation of Topic Maps from Speech Streams
Topic Maps are means for representing sophisticated indexes of any information collections for the purpose of semantic information. The creation of Topic Maps bases on a theoretic fundament which is introduced in this paper. Moreover, the Observation Principle is the result of a deep investigation of the Subject Equality Decision Chain will be discussed as well as the Semantic Talk System which generates sophisticated, conceptual indexes of speech streams in realtime. This paper describes how these indexes are created, how they are represented as Topic Maps and how they can be used for integration purposes.
Building and Integrating Competitive Intelligence Reports Using the Topic Map...
Competitive intelligence (CI) supports the decision makers in understanding the competitive environment by means of textual reports prepared based on public resources. CI is particularly demanding in the context of larger business
clusters. We report on a long-term project featuring large-scale manual semantic annotation of CI reports wrt. business clusters in several industries. The underlying ontologies are the result of collaborative editing by multiple student teams. The results of annotation are finally merged into CI maps that allow easy access to both the original documents and the knowledge structures.
Topic Maps in ‘Not working on the web shock!’
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
Temporal Qualification in Topic Maps
This paper will introduce a number of predefined elements for the topic mas data model. The paper will start with a short introduction of the level and possible context of these elements. Then the problem the elements proposed here are supposed to solve will be described. This will be the problem of adding temporal qualifications to a topic map. A set of criteria for the quality of a possible solution will be given and possible solutions will be evaluated against these criteria. This will lead to the final proposal for adding temporal qualification to a topic map.
Recommended
ActiveTM - A Topic Maps - Object Mapper
Currently, the most common way to programmatically access Topic Maps data is the use of a Topic Maps API, like TMAPI. Another approach, besides the use of a query language like TMQL, is the encapsulation of the Topic Maps related code in domain-specific model classes. This concept is similar to object-relational mapping (ORM) which encapsulates access to a relational database inside the model classes. These techniques decouple the data store specific code from the business logic. For ORM, there are several prevalent design patterns, most notable the Active Record pattern by Fowler. For Topic Maps, no such pattern is established. This paper introduces Active Topic Maps, a pattern for topic maps -- object mapping, the domain-specific language ActiveTMML to define such a mapping and a prototypical implementation, called ActiveTM. ActiveTM is based on Ruby Topic Maps and also supports the generation of web-formulars based on ActiveTMML definitions. This full-featured software stack greatly improves the development productivity of Topic Maps based portals compared to other solutions.
XML Holland 2008
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
Dense Topic Maps
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
What is a subject?
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
Real-time Generation of Topic Maps from Speech Streams
Topic Maps are means for representing sophisticated indexes of any information collections for the purpose of semantic information. The creation of Topic Maps bases on a theoretic fundament which is introduced in this paper. Moreover, the Observation Principle is the result of a deep investigation of the Subject Equality Decision Chain will be discussed as well as the Semantic Talk System which generates sophisticated, conceptual indexes of speech streams in realtime. This paper describes how these indexes are created, how they are represented as Topic Maps and how they can be used for integration purposes.
Building and Integrating Competitive Intelligence Reports Using the Topic Map...
Competitive intelligence (CI) supports the decision makers in understanding the competitive environment by means of textual reports prepared based on public resources. CI is particularly demanding in the context of larger business
clusters. We report on a long-term project featuring large-scale manual semantic annotation of CI reports wrt. business clusters in several industries. The underlying ontologies are the result of collaborative editing by multiple student teams. The results of annotation are finally merged into CI maps that allow easy access to both the original documents and the knowledge structures.
Topic Maps in ‘Not working on the web shock!’
Presentation for the open space session of TMRA 2008, International Conference on Topic Maps Research and Applications, Leipzig, Germany.
Temporal Qualification in Topic Maps
This paper will introduce a number of predefined elements for the topic mas data model. The paper will start with a short introduction of the level and possible context of these elements. Then the problem the elements proposed here are supposed to solve will be described. This will be the problem of adding temporal qualifications to a topic map. A set of criteria for the quality of a possible solution will be given and possible solutions will be evaluated against these criteria. This will lead to the final proposal for adding temporal qualification to a topic map.
Topic Maps Web Service: Case Examples and General Structure
We implemented Topic Maps besed web applications which use the Topic Maps web service. We are publishing the applications on the internet. By using the service, according to identified subjects the web applications can get richer information from other topic map web applications easily and effectively. In this paper, we describe usable components for the service. We report the case examples of topic map web applications and Topic Maps web services which we implemented. They use the PSIs to identify subjects among applications. They also use TMRAP (Topic Maps Remote Access Protocol) which is a Web API to exchange Topic Maps fragment. We also consider the general structure of Topic Maps web service.
Connecting Topincs - Using transclusion to connect proxy spaces
Topincs is a software system for agile and distributed knowledge management on top of the common web infrastructure and the Topic Maps Data Model. It segments knowledge into stores and offers users a way to establish a temporary connection between stores through transclusion and merging. This allows them to easily copy topics and statements. Through this mechanism later acts of integration are simplified, because of matching item identifiers. Furthermore transclusion can be used to create permanent connections between stores.
Why not scoping Subject Identifiers?
This presentation was hold in the open space session of TMRA 2007. It contributed to the discussion of scoping subject identifiers.
TM/XML - Representing Topic Maps in XML
his paper describes TM/XML, an XML syntax for topic maps that is very close to the natural, or colloquial, XML representation the information in the topic map. It can be used to integrate non-topic map systems with topic map systems, and also to easily create topic maps from XML data.
Semantic Mashups with Wandora
Wandora is a general purpose Topic Maps editor application with a vast collection of information extractors. Extractors enable Wandora user to aggregate information from various open data sources. In this hands-on tutorial participants are shown how to create and publish multidimensional information mashups with Wandora and open data sources such as GeoNames and YouTube.
National Data Standardization: A Place for Topic Maps?
This paper deals with national data standardization efforts in Denmark and discusses the role Topic Maps – and topic maps – may play in a new standardization strategy currently being considered by the Danish National IT and Telecom Agency. The strategy entails a paradigm shift from syntactic data standards based on XML schema to a more semantically based approach involving, among other things, the development, publishing and sharing of so-called definitions. The paper accounts for the historical, political and technical context of the strategy pointing out some of the opportunities and constraints this context poses for the introduction and application of Topic Maps as a recognized “data standardization standard” in Denmark.
A PHP library for Ontopia-CMS Integration
This document summarizes a PHP library called KBI Library that allows integration between PHP content management systems (CMS) and knowledge bases. The library acts as an information broker between the CMS and knowledge bases, enabling presentation of knowledge contained in knowledge bases through the CMS. It features a generic implementation to support standard operations and specific implementations for Ontopia knowledge bases. It also includes administration and editor interfaces for Joomla to manage remote sources and queries.
Putting topic maps to rest.tmra2010
The document discusses putting Topic Maps to REST. It describes existing Topic Map APIs and their limitations. It then introduces Tropics, a proposed RESTful API for Topic Maps. Tropics would support resources like topics, associations, and search results. It advocates the HATEOAS principle to structure navigation between resources. The document outlines Tropics' proposed URI structure and status of implementation.
Topic Maps for improved access to and use of content in relational databases ...
The document describes a case study using topic maps to improve access to content from a relational database of German variety lists. A topic maps-based web application was built on top of the relational data to offer subject-centric access through networked knowledge models, providing many access paths and perspectives not possible in the original data-centric interface. This increased the usability and answerability of questions over the restricted views of the original relational database interface.
TMCL and OWL
A number of proposals have been made for Topic Maps/OWL interoperability, but this is really looking for interoperability on the wrong level. This paper instead looks at interoperability between OWL and TMCL, and shows how it is possible to convert OWL ontologies into TMCL schemas and vice versa, once a mapping for the vocabulary is available.
Event based modelling
Dr. Lutz Maicher gave a presentation on event based modelling at the University of Leipzig. He argued that subjects change over time and most ontologies and applications do not reflect this. Dr. Maicher proposed representing events as key facts and viewing topic maps as a stream of facts about subjects. This would provide the full life cycle of each subject in the database. He encouraged changing ontologies to represent events and called for participation in this new approach.
Kr using rules
This file contains the slides for the topic "Representing Knowledge using Rules". The slides focus mainly on difference b/w declarative and procedural knowledge, and forward & backward reasoning. In addition, the role of control knowledge in problem solving is depicted.
Systemic Design Toolkit - Systems Innovation Barcelona
The Systemic Design Toolkit represents a formalized set of methods and research tools designed by Namahn and developed with collaboration by me (SDA) and Alex Ryan of MaRS. The Toolkit can be discovered at https://www.systemicdesigntoolkit.org/
Grounded Theory and Design
This document provides an overview of grounded theory as a qualitative research methodology. It discusses key concepts of grounded theory including that it is used for theory generation rather than verification, relies on induction rather than deduction, and aims to systematically discover theory from data as concepts emerge. The document reviews grounded theory processes such as open coding, selective coding, sorting memos, and writing up findings. It also discusses criteria for evaluating grounded theories and the potential applicability of grounded theory for design research problems that have a significant social dimension.
Geuvers slides
- De Bruijn developed the Automath system in the 1970s as one of the first formalized mathematics proof assistants. Automath used a proofs-as-terms approach and was intended as a logical framework.
- Automath allowed users to formalize large parts of mathematics and specify their own logical rules. It had a small kernel so proof checking amounted to type checking, satisfying De Bruijn's criterion for reliability.
- Later proof assistants like Coq, Agda, and Nuprl built on Automath's approach using constructive type theory, giving computational meaning to proofs through the propositions-as-types isomorphism. Major mathematical theorems have now been fully formalized in systems like Co
Biswa research
The document outlines key steps in the research methodology process:
1) Clearly formulating the research problem in relation to existing literature and practical situations.
2) Defining key terms for audience understanding and separating factual from interpretive controversies.
3) Choosing appropriate data sources and research design, such as experiments, case studies, or statistical analysis, while ensuring data quality, validity, and reliability.
4) Evaluating hypotheses against evidence using statistical analysis, alternative explanations, and Bayesian probability to determine the most likely conclusions given existing knowledge.
Vayacondios: Divine into Complex Systems
This presentation given by Flip Kromer and Huston Hoburg on March 24, 2014 at the MongoDB Meetup in Austin.
Vayacondios is a system we're building at Infochimps to gather metrics on highly complex systems and help humans make sense of their operation. You can think of it as a "data goes in, the right thing happens" machine: send in facts from anywhere about anything, and Vayacondios will promptly process and syndicate them to all consumers. Producers don't have to (or get to) worry about the needs of those who will use the data, or the details of transport, storage, filtering or anything else: the data will go where it needs to go. Each consumer, meanwhile, finds that everything they need to know is available to them, on the fly or on demand, without crufty adapters or extraneous dependencies. They don't have to (or get to) worry about the distribution of their sources, the tempo of update, or how the data came to be.
Vayacondios was built for our technical ops team to monitor all the databases and systems they superintend, but it suggests a better way to build database driven applications of any kind. The quiet tyranny of developing against a traditional database has left us with many bad habits: not duplicating data, using models that serve the query engine not the user, assembling application objects from raw parts on every page refresh. Combining streaming data processing systems with distributed datastores like MongoDB let you do your query on the way _in_ to the database -- any number of queries, decoupled, of any complexity or tempo. The resulting approach is simpler, fault-tolerant, and scales in terms of machines and developers. Most importantly, your data models are purely faithful to the needs of your application, uncontaminated by differing opinions of other consumers or by incidentals of the robots that gather and process and store the data.
Advanced topics research
The study reviewed literature on ICT for governance and policy modelling to identify gaps in the research area. It found 4 relevant background references and listed 64 related projects with about 80M euros in total grant funding. However, it did not include any primary research or analysis. The study concluded that more work is needed to address gaps in using ICT for governance and policy modelling, but it did not specify what particular gaps need to be addressed.
Target-Based Sentiment Anaysis as a Sequence-Tagging Task
November 2019, Zoe Gerolemou successfully presented our paper on Target-Based Sentiment Analysis as a Sequence-Tagging Task at the Benelux Artificial Intelligence Conference (BNAIC 2019). In this research, we were not only able to detect sentiments with very high confidence, but also to determine WHO expressed this sentiments and about WHAT. Many great questions and several other very interesting presentations in the NLP session.
Serendipity module in Item Recommender System
The document discusses serendipity and its applications in computer science and information filtering. It proposes an architecture for a serendipity module that uses an inverted user profile to search for less similar recommendations and promote discovery. The module would select random but poorly similar items to support, not replace, typical recommendations. Upcoming developments include analogy-based recommendations and adaptive algorithms based on user tasks.
Machine Learning & Apache Mahout
Machine Learning es una rama de la inteligencia artificial, que nos permite utilizar algoritmos que pueden operar sobre datos para determinar comportamiento, patrones, preferencias, etc.
Apache Mahout es una librería de código abierto que implementa una diversidad de algoritmos de Machine Learning, que bien pueden ser usados para construir un motor de recomendaciones para dirigir compras.
Dr. Eliot Siegel: Watson and Deep QA Software in Pursuit of Personalized Medi...
Dr. Eliot Siegel: Watson and Deep QA Software in Pursuit of Personalized Medi...National Cancer Institute National Cancer Informatics Program
The Jeopardy match between the two best human players of all time and the IBM Deep Q/A software, “Watson,” captured the spotlight and stimulated the imagination of the entire world. The subsequent announcement of IBM’s involvement in the creation of “Dr. Watson” has created a high level of interest in the healthcare community about the potential of this breakthrough technology as well as the potential pitfalls of the use of “artificial intelligence” in medicine. Dr. Siegel is currently working together with IBM engineers to explore how Dr. Watson can work together with physicians and medical specialists. His presentation, which was delivered on March 28th, provided a high level overview of the uniqueness of Deep Q/A Software and how it differs from other previous artificial intelligence applications.More Related Content
Viewers also liked
Topic Maps Web Service: Case Examples and General Structure
We implemented Topic Maps besed web applications which use the Topic Maps web service. We are publishing the applications on the internet. By using the service, according to identified subjects the web applications can get richer information from other topic map web applications easily and effectively. In this paper, we describe usable components for the service. We report the case examples of topic map web applications and Topic Maps web services which we implemented. They use the PSIs to identify subjects among applications. They also use TMRAP (Topic Maps Remote Access Protocol) which is a Web API to exchange Topic Maps fragment. We also consider the general structure of Topic Maps web service.
Connecting Topincs - Using transclusion to connect proxy spaces
Topincs is a software system for agile and distributed knowledge management on top of the common web infrastructure and the Topic Maps Data Model. It segments knowledge into stores and offers users a way to establish a temporary connection between stores through transclusion and merging. This allows them to easily copy topics and statements. Through this mechanism later acts of integration are simplified, because of matching item identifiers. Furthermore transclusion can be used to create permanent connections between stores.
Why not scoping Subject Identifiers?
This presentation was hold in the open space session of TMRA 2007. It contributed to the discussion of scoping subject identifiers.
TM/XML - Representing Topic Maps in XML
his paper describes TM/XML, an XML syntax for topic maps that is very close to the natural, or colloquial, XML representation the information in the topic map. It can be used to integrate non-topic map systems with topic map systems, and also to easily create topic maps from XML data.
Semantic Mashups with Wandora
Wandora is a general purpose Topic Maps editor application with a vast collection of information extractors. Extractors enable Wandora user to aggregate information from various open data sources. In this hands-on tutorial participants are shown how to create and publish multidimensional information mashups with Wandora and open data sources such as GeoNames and YouTube.
National Data Standardization: A Place for Topic Maps?
This paper deals with national data standardization efforts in Denmark and discusses the role Topic Maps – and topic maps – may play in a new standardization strategy currently being considered by the Danish National IT and Telecom Agency. The strategy entails a paradigm shift from syntactic data standards based on XML schema to a more semantically based approach involving, among other things, the development, publishing and sharing of so-called definitions. The paper accounts for the historical, political and technical context of the strategy pointing out some of the opportunities and constraints this context poses for the introduction and application of Topic Maps as a recognized “data standardization standard” in Denmark.
A PHP library for Ontopia-CMS Integration
This document summarizes a PHP library called KBI Library that allows integration between PHP content management systems (CMS) and knowledge bases. The library acts as an information broker between the CMS and knowledge bases, enabling presentation of knowledge contained in knowledge bases through the CMS. It features a generic implementation to support standard operations and specific implementations for Ontopia knowledge bases. It also includes administration and editor interfaces for Joomla to manage remote sources and queries.
Putting topic maps to rest.tmra2010
The document discusses putting Topic Maps to REST. It describes existing Topic Map APIs and their limitations. It then introduces Tropics, a proposed RESTful API for Topic Maps. Tropics would support resources like topics, associations, and search results. It advocates the HATEOAS principle to structure navigation between resources. The document outlines Tropics' proposed URI structure and status of implementation.
Topic Maps for improved access to and use of content in relational databases ...
The document describes a case study using topic maps to improve access to content from a relational database of German variety lists. A topic maps-based web application was built on top of the relational data to offer subject-centric access through networked knowledge models, providing many access paths and perspectives not possible in the original data-centric interface. This increased the usability and answerability of questions over the restricted views of the original relational database interface.
TMCL and OWL
A number of proposals have been made for Topic Maps/OWL interoperability, but this is really looking for interoperability on the wrong level. This paper instead looks at interoperability between OWL and TMCL, and shows how it is possible to convert OWL ontologies into TMCL schemas and vice versa, once a mapping for the vocabulary is available.
Event based modelling
Dr. Lutz Maicher gave a presentation on event based modelling at the University of Leipzig. He argued that subjects change over time and most ontologies and applications do not reflect this. Dr. Maicher proposed representing events as key facts and viewing topic maps as a stream of facts about subjects. This would provide the full life cycle of each subject in the database. He encouraged changing ontologies to represent events and called for participation in this new approach.
Viewers also liked (11)
Topic Maps Web Service: Case Examples and General Structure
Topic Maps Web Service: Case Examples and General Structure
Connecting Topincs - Using transclusion to connect proxy spaces
Connecting Topincs - Using transclusion to connect proxy spaces
National Data Standardization: A Place for Topic Maps?
National Data Standardization: A Place for Topic Maps?
Topic Maps for improved access to and use of content in relational databases ...
Topic Maps for improved access to and use of content in relational databases ...
Similar to Paraconsistent Reasoning in Ontopedia
Kr using rules
This file contains the slides for the topic "Representing Knowledge using Rules". The slides focus mainly on difference b/w declarative and procedural knowledge, and forward & backward reasoning. In addition, the role of control knowledge in problem solving is depicted.
Systemic Design Toolkit - Systems Innovation Barcelona
The Systemic Design Toolkit represents a formalized set of methods and research tools designed by Namahn and developed with collaboration by me (SDA) and Alex Ryan of MaRS. The Toolkit can be discovered at https://www.systemicdesigntoolkit.org/
Grounded Theory and Design
This document provides an overview of grounded theory as a qualitative research methodology. It discusses key concepts of grounded theory including that it is used for theory generation rather than verification, relies on induction rather than deduction, and aims to systematically discover theory from data as concepts emerge. The document reviews grounded theory processes such as open coding, selective coding, sorting memos, and writing up findings. It also discusses criteria for evaluating grounded theories and the potential applicability of grounded theory for design research problems that have a significant social dimension.
Geuvers slides
- De Bruijn developed the Automath system in the 1970s as one of the first formalized mathematics proof assistants. Automath used a proofs-as-terms approach and was intended as a logical framework.
- Automath allowed users to formalize large parts of mathematics and specify their own logical rules. It had a small kernel so proof checking amounted to type checking, satisfying De Bruijn's criterion for reliability.
- Later proof assistants like Coq, Agda, and Nuprl built on Automath's approach using constructive type theory, giving computational meaning to proofs through the propositions-as-types isomorphism. Major mathematical theorems have now been fully formalized in systems like Co
Biswa research
The document outlines key steps in the research methodology process:
1) Clearly formulating the research problem in relation to existing literature and practical situations.
2) Defining key terms for audience understanding and separating factual from interpretive controversies.
3) Choosing appropriate data sources and research design, such as experiments, case studies, or statistical analysis, while ensuring data quality, validity, and reliability.
4) Evaluating hypotheses against evidence using statistical analysis, alternative explanations, and Bayesian probability to determine the most likely conclusions given existing knowledge.
Vayacondios: Divine into Complex Systems
This presentation given by Flip Kromer and Huston Hoburg on March 24, 2014 at the MongoDB Meetup in Austin.
Vayacondios is a system we're building at Infochimps to gather metrics on highly complex systems and help humans make sense of their operation. You can think of it as a "data goes in, the right thing happens" machine: send in facts from anywhere about anything, and Vayacondios will promptly process and syndicate them to all consumers. Producers don't have to (or get to) worry about the needs of those who will use the data, or the details of transport, storage, filtering or anything else: the data will go where it needs to go. Each consumer, meanwhile, finds that everything they need to know is available to them, on the fly or on demand, without crufty adapters or extraneous dependencies. They don't have to (or get to) worry about the distribution of their sources, the tempo of update, or how the data came to be.
Vayacondios was built for our technical ops team to monitor all the databases and systems they superintend, but it suggests a better way to build database driven applications of any kind. The quiet tyranny of developing against a traditional database has left us with many bad habits: not duplicating data, using models that serve the query engine not the user, assembling application objects from raw parts on every page refresh. Combining streaming data processing systems with distributed datastores like MongoDB let you do your query on the way _in_ to the database -- any number of queries, decoupled, of any complexity or tempo. The resulting approach is simpler, fault-tolerant, and scales in terms of machines and developers. Most importantly, your data models are purely faithful to the needs of your application, uncontaminated by differing opinions of other consumers or by incidentals of the robots that gather and process and store the data.
Advanced topics research
The study reviewed literature on ICT for governance and policy modelling to identify gaps in the research area. It found 4 relevant background references and listed 64 related projects with about 80M euros in total grant funding. However, it did not include any primary research or analysis. The study concluded that more work is needed to address gaps in using ICT for governance and policy modelling, but it did not specify what particular gaps need to be addressed.
Target-Based Sentiment Anaysis as a Sequence-Tagging Task
November 2019, Zoe Gerolemou successfully presented our paper on Target-Based Sentiment Analysis as a Sequence-Tagging Task at the Benelux Artificial Intelligence Conference (BNAIC 2019). In this research, we were not only able to detect sentiments with very high confidence, but also to determine WHO expressed this sentiments and about WHAT. Many great questions and several other very interesting presentations in the NLP session.
Serendipity module in Item Recommender System
The document discusses serendipity and its applications in computer science and information filtering. It proposes an architecture for a serendipity module that uses an inverted user profile to search for less similar recommendations and promote discovery. The module would select random but poorly similar items to support, not replace, typical recommendations. Upcoming developments include analogy-based recommendations and adaptive algorithms based on user tasks.
Machine Learning & Apache Mahout
Machine Learning es una rama de la inteligencia artificial, que nos permite utilizar algoritmos que pueden operar sobre datos para determinar comportamiento, patrones, preferencias, etc.
Apache Mahout es una librería de código abierto que implementa una diversidad de algoritmos de Machine Learning, que bien pueden ser usados para construir un motor de recomendaciones para dirigir compras.
Dr. Eliot Siegel: Watson and Deep QA Software in Pursuit of Personalized Medi...
Dr. Eliot Siegel: Watson and Deep QA Software in Pursuit of Personalized Medi...National Cancer Institute National Cancer Informatics Program
The Jeopardy match between the two best human players of all time and the IBM Deep Q/A software, “Watson,” captured the spotlight and stimulated the imagination of the entire world. The subsequent announcement of IBM’s involvement in the creation of “Dr. Watson” has created a high level of interest in the healthcare community about the potential of this breakthrough technology as well as the potential pitfalls of the use of “artificial intelligence” in medicine. Dr. Siegel is currently working together with IBM engineers to explore how Dr. Watson can work together with physicians and medical specialists. His presentation, which was delivered on March 28th, provided a high level overview of the uniqueness of Deep Q/A Software and how it differs from other previous artificial intelligence applications.The Creative Value of Bad Ideas
1. The document presents a computational model of creative ideation that explores the value of "bad ideas" in generating new ideas.
2. The model shows that the highest number of total ideas results from an exploration/exploitation rate of .25/.75, due to higher idea variances enabling more exploitation.
3. The model distinguishes between different types of idea connections, finding that "low-accessibility ideas can lead to uncommon ideas" and that "easy shortcuts to rare ideas" exist, demonstrating the potential value of seemingly bad ideas.
Social Dynamics on Networks
This is my "overview talk" at the WINQ Workshop on Complex Dynamical Networks (Nordita, Stockholm, Sweden).
My talk is Monday 13 June 2022 local time.
Envisioning argumentation and decision making support for debates in open onl...
Paper for the First Workshop on Argumentation Mining at the 52nd Annual Meeting of the Association for Computational Linguistics, Baltimore, Maryland, June 26 2014
Abstract:
Argumentation mining, a relatively new area of discourse analysis, involves automatically identifying and structuring arguments. Following a basic introduction to argumentation, we describe a new possible domain for argumentation mining: debates in open online collaboration communities. Based on our experience with manual annotation of arguments in debates, we envision argumentation mining as the basis for three kinds of support tools, for authoring more persuasive arguments, finding weaknesses in others’ arguments, and summarizing a debate’s overall conclusions.
Full paper:
http://jodischneider.com/pubs/aclargmining2014.pdf
Proceedings with links:
http://acl2014.org/acl2014/W14-21/index.html
Workshop homepage:
http://www.uncg.edu/cmp/ArgMining2014/
How to improve the acceptance of AltMetrics
This document discusses a breakout group at the CERN Workshop on Innovations in Scholarly Communication focused on altmetrics. The group aims to make recommendations to improve acceptance of altmetrics. Key issues to be discussed include methodology, data quality, stability, and reliability of altmetrics. Under each issue, questions are posed about how altmetrics measure various dimensions like quality and relevance, how to ensure consistent and verifiable data, and what infrastructure is needed to provide a stable altmetrics service.
Value Sensitive Design: Four Challenges
The document discusses four challenges of value sensitive design (VSD): 1) determining what values to include in design, 2) translating values into design requirements, 3) resolving conflicts between values, and 4) verifying that a design embodies intended values. Each challenge raises deeper philosophical issues. The document provides approaches for addressing the challenges, such as constructing a values hierarchy to guide design requirements and using non-optimizing techniques like satisficing when values conflict.
Hcic muller guha davis geyer shami 2015 06-29
Grounded theory and machine learning methods have more similarities than initially expected. Both approaches involve modeling theories or descriptions up from the data through an iterative process of constant comparison between the emerging theory/description and the data. They also both involve modeling down from a priori premises by applying theorized categories or relationships to the data and refining them based on how well they fit the data. A key difference is that grounded theory aims to develop theory without prematurely imposing categories, while machine learning often involves applying theorized categories or relationships to data from the beginning.
openSNP - Crowdsourcing Genome Wide Association Studies
The document discusses the potential for using direct-to-consumer (DTC) genetic testing results and self-tracked health data from the Quantified Self movement to enable new types of genome-wide association studies and medical research. It outlines plans to create an open-source platform called openSNP that would allow users to voluntarily share their DTC genetic test results and phenotypes. This could generate large datasets for scientific studies while lowering costs compared to traditional research methods. However, challenges include ensuring representative sample sizes and accurate self-reported user data. Positive examples from other platforms like 23andMe and PatientsLikeMe that have successfully conducted research using crowdsourced data are provided.
Connecting the epistemology and ethics of AI
The document discusses connecting the ethics and epistemology of AI. It argues that ethics and epistemology should be considered together throughout the entire AI process, from design to use, rather than as separate post-hoc assessments. The authors propose an "ethics-cum-epistemology" approach where normative and epistemological questions are addressed at each stage. They also analyze scenarios involving experts and non-experts to show how ethics and epistemology can be addressed depending on levels of expertise between actors. The goal is to shift the focus from AI outcomes to the full process in order to better ensure AI systems are developed and used responsibly.
NYAI #7 - Top-down vs. Bottom-up Computational Creativity by Dr. Cole D. Ingr...
This document summarizes a talk on computational creativity given by Dr. Cole D. Ingraham. It discusses top-down and bottom-up approaches to computational creativity. Top-down approaches involve defining the structure of a program, while bottom-up approaches use machine learning and large datasets. The talk compares these approaches and provides examples like Google's Wavenet model. It also summarizes Dr. Ingraham's work on the Amper Music platform, which uses a hybrid approach combining top-down structure with bottom-up machine learning to generate personalized music.
Similar to Paraconsistent Reasoning in Ontopedia (20)
Systemic Design Toolkit - Systems Innovation Barcelona
Systemic Design Toolkit - Systems Innovation Barcelona
Target-Based Sentiment Anaysis as a Sequence-Tagging Task
Target-Based Sentiment Anaysis as a Sequence-Tagging Task
Dr. Eliot Siegel: Watson and Deep QA Software in Pursuit of Personalized Medi...
Dr. Eliot Siegel: Watson and Deep QA Software in Pursuit of Personalized Medi...
Envisioning argumentation and decision making support for debates in open onl...
Envisioning argumentation and decision making support for debates in open onl...
openSNP - Crowdsourcing Genome Wide Association Studies
openSNP - Crowdsourcing Genome Wide Association Studies
NYAI #7 - Top-down vs. Bottom-up Computational Creativity by Dr. Cole D. Ingr...
NYAI #7 - Top-down vs. Bottom-up Computational Creativity by Dr. Cole D. Ingr...
More from tmra
External Schema for Topic Map Database
In order to cope with large-scale topic maps that store a lot of information, it is necessary to utilize topic map databases. Although, database management systems should provide users with external schema functions such as views, topic map databases do not have such functions. In this paper, we propose a method of implementing a view function, by focusing on the fact that the substructure of topic maps can be regarded as a topic map. In order to realize the idea, we developed an access control system based on the view function. Through an experiment to measure the execution time, we confirmed that these functions work correctly and have little effect on the execution time.
Weber 2010 brn
1) A case study describes a Topic Maps-based web application that was built on top of a document-centric content management system (CMS) used for a website about a regional cluster of biotech companies.
2) The Topic Maps application improved usability by enabling subject-centric views of information rather than isolating related pieces of information across many documents. It allowed multiple access paths to information through different perspectives and views generated from the underlying topic map graph.
3) The Topic Maps application provided concise, one-click access to information about companies located in particular areas, active in specific fields, or related to other companies or projects, improving on the usability of isolating this information across many pages in the
Subject Headings make information to be topic maps
This paper reports the efforts to make topic maps from Subject Headings (SHs) and discuss practical use of them for organizing information and knowledge. SHs are often maintained by libraries and used in bibliographic records. SHs are thesauri and they are well organized. Fortunately some SHs are published on the Web. We transformed them to topic maps. Usually each subject in SHs has own ID. It can play PSI role. By keeping the relationships included in SHs such as Broader-Narrower, Related, USE-UF etc in topic maps, information or knowledge can be linked together and organized according to the structure of SHs. In other words, by using SHs information and knowledge can be topic maps easily.
Inquiry Optimization Technique for a Topic Map Database
This document proposes an inquiry optimization technique for topic map databases. It discusses using an object-oriented data model for topic map databases to improve query performance compared to a relational model. The document defines cost estimation formulas to help the database system select the optimal retrieval route, either following associations or searching by topic, when answering queries. An experiment is needed to evaluate the effectiveness of using these cost estimations to optimize queries of a topic map database.
Topic Merge Scenarios for Knowledge Federation
This paper introduces a socio-technical infrastructure, described as a boundary infrastructure, based on improvements to existing and emerging Issue-based Information Systems (IBIS) conversation platforms.
JavaScript Topic Maps in server environments
1. The document discusses using the tmjs Topic Maps engine, written in JavaScript, for server-side applications like a PSI server.
2. Tmjs allows full Topic Maps processing in JavaScript and can operate on servers via Node.js.
3. A sample PSI server application is shown that uses tmjs and Node.js to serve Topic Map-based information about subjects from an HTTP request.
Modelling IMS QTI with Topic Maps
This document discusses modeling QTI (IMS Question and Test Interoperability) assessments in topic maps. QTI is used to share assessment content between systems but has changing specifications that are challenging to support. Embedding QTI questions and responses as topics within a topic map allows the content to be richer than QTI and supports generating QTI output. An example shows embedding gaps and sounds within a fill-in-the-blank question topic. Authoring tools can generically edit embedded topics. This technique is useful for other content like images, links, and videos. In conclusion, embedding topics solved their needs and is used extensively in their production systems.
Hatana - Virtual Topic Map Merging
The document discusses Hatana, a virtual merging engine that creates a unified view of information from multiple data sources by merging them on demand according to Topic Map standards. Hatana behaves like a topic map layer over the underlying sources, merging topics, associations, and other constructs virtually based on equality rules while maintaining the original sources. This allows related information to be queried and browsed together seamlessly.
Designing a gui_description_language_with_topic_maps
The document proposes a GUI Description Language (GDL) that uses Topic Maps to generate configurable and domain-specific user interfaces. GDL aims to simplify Topic Maps for end users by defining default values, restricting actions, and automatically generating identifiers and layouts corresponding to the semantic meaning of the data domain. However, GDL also inserts an additional layer of processing between the user and the Topic Map engine. The document discusses the goals and features of GDL, and concludes that GDL can bridge users and Topic Map internals without limiting the ontology, while allowing customizable but not hard-coded user interfaces.
Maiana - The social Topic Maps explorer
Maiana is a platform for structured data developed by Lutz Maicher and Uta Schulze at the University of Leipzig. It allows users to manage, browse, query, and validate topic maps. Maiana is social in that it enables users to discuss resources, observe data sources, and follow other users. Data sources on Maiana can be kept private or shared publicly. The platform also includes an API and semantic search capabilities.
Tmra2010 matsuuraposter
1. The document proposes using the Nintendo Wii Remote as an intuitive interface for interacting with web-based learning content, such as a topic map-based science learning website.
2. Specifically, it describes using the Wii Remote as a pointer for real-world interactions like selecting constellations, and as a navigation device for exploring 3D representations and the structure of the topic map.
3. Motions and buttons on the Wii Remote are mapped to navigating different aspects of the topic map and triggering content from the website in an immersive way, allowing students to intuitively explore related science topics.
Automatic semantic interpretation of unstructured data for knowledge management
The document summarizes a demo of an automatic semantic analysis technique for knowledge discovery from unstructured data like Wikipedia articles. The demo shows a linked concept graph and linked data graph created by analyzing astronomy articles. It also discusses how the technique can be used for knowledge representation, discovery, navigation, and intelligence by linking isolated data and deriving a taxonomy. The technical solution takes a bottom-up approach using semantic data integration and analysis to dynamically create and update object and concept graphs in real-time from various data sources.
Evaluation of Instances Asset in a Topic Maps-Based Ontology
The document discusses evaluating the information asset of topics in a topic maps ontology. It describes assigning partial weights to topics based on attribute richness and total weights based on surrounding topic descriptions. The user can set attribute weights and weights for three categories of associations. Normalizing total topic weights results in information asset values that can be used to rank search results based on usefulness to the user.
Defining Domain-Specific Facets for Topic Maps With TMQL Path Expressions
The automatic generation of facets works fairly bad for fine-modeled ontologies, in which not all information concerning a single Topic is available through occurrences and direct associations. In this paper, we share our conception of using TMQL path expressions for the definition of domain-specific facets by means of using standard-based Topic Maps technologies. The generated facets must be evaluated, even though they are defined manually by a domain expert. We therefore propose metrics for automatic evaluation of the defined facets, as well as a mechanism for using automatically stored user feedback.
Mappe1
The document outlines the schedule for a two-day Topic Maps tutorial. Day one includes talks on using Topic Maps for discourse semantics, developing ontologies and facet definitions, and Topic Maps tools and applications. Day two covers semantic integration approaches, integrating Topic Maps with content management systems, interpreting unstructured data, merging topic maps, and modeling learning standards. A poster session is also included on using the Wii remote for an educational website.
Et Tu, Brute? Topic Maps and Discourse Semantics
This paper proposes how to propositional, grammatical, modal and textual meaning may be encoded using a layered approach.
Live Integration Framework
The Live Integration Framework aims to provide a unified view of information stored across heterogeneous data stores by using topic maps to semantically merge the data sources. It allows read-only access to integrated data without modifying the original systems. The framework uses a mapping file to define how data from different sources like relational databases are translated into topic map constructs. It is currently implemented for MySQL integration but the architecture supports integrating other data stores and technologies in the future.
Hatana tmra 2010
The document discusses Hatana, a virtual merging engine that creates a layer over multiple data sources and allows them to be queried and accessed as if they were a single topic map. Hatana merges the data sources on demand by creating virtual topics, associations, and other constructs according to the equality rules for topics maps. This allows different information sources to be merged without editing the original sources. Examples of merging participant data and opera information from different sources are provided.
Designing a GUI Description Language with Topic Maps
This paper presents the concepts of a description language to be created to design a graphical user interface (GUI) for specific ontologies defined in Topic Maps.
More from tmra (20)
Subject Headings make information to be topic maps
Subject Headings make information to be topic maps
Inquiry Optimization Technique for a Topic Map Database
Inquiry Optimization Technique for a Topic Map Database
Designing a gui_description_language_with_topic_maps
Designing a gui_description_language_with_topic_maps
Automatic semantic interpretation of unstructured data for knowledge management
Automatic semantic interpretation of unstructured data for knowledge management
Evaluation of Instances Asset in a Topic Maps-Based Ontology
Evaluation of Instances Asset in a Topic Maps-Based Ontology
Defining Domain-Specific Facets for Topic Maps With TMQL Path Expressions
Defining Domain-Specific Facets for Topic Maps With TMQL Path Expressions
Designing a GUI Description Language with Topic Maps
Designing a GUI Description Language with Topic Maps
Recently uploaded
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Tomaz Bratanic
Graph ML and GenAI Expert - Neo4j
Northern Engraving | Nameplate Manufacturing Process - 2024
Manufacturing custom quality metal nameplates and badges involves several standard operations. Processes include sheet prep, lithography, screening, coating, punch press and inspection. All decoration is completed in the flat sheet with adhesive and tooling operations following. The possibilities for creating unique durable nameplates are endless. How will you create your brand identity? We can help!
Leveraging the Graph for Clinical Trials and Standards
Katja Glaß
OpenStudyBuilder Community Manager - Katja Glaß Consulting
Marius Conjeaud
Principal Consultant - Neo4j
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
A Mix Chart displays historical data of numbers in a graphical or tabular form. The Kalyan Rajdhani Mix Chart specifically shows the results of a sequence of numbers over different periods.
Fueling AI with Great Data with Airbyte Webinar
This talk will focus on how to collect data from a variety of sources, leveraging this data for RAG and other GenAI use cases, and finally charting your course to productionalization.
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Folding is a recent technique for building efficient recursive SNARKs. Several elegant folding protocols have been proposed, such as Nova, Supernova, Hypernova, Protostar, and others. However, all of them rely on an additively homomorphic commitment scheme based on discrete log, and are therefore not post-quantum secure. In this work we present LatticeFold, the first lattice-based folding protocol based on the Module SIS problem. This folding protocol naturally leads to an efficient recursive lattice-based SNARK and an efficient PCD scheme. LatticeFold supports folding low-degree relations, such as R1CS, as well as high-degree relations, such as CCS. The key challenge is to construct a secure folding protocol that works with the Ajtai commitment scheme. The difficulty, is ensuring that extracted witnesses are low norm through many rounds of folding. We present a novel technique using the sumcheck protocol to ensure that extracted witnesses are always low norm no matter how many rounds of folding are used. Our evaluation of the final proof system suggests that it is as performant as Hypernova, while providing post-quantum security.
Paper Link: https://eprint.iacr.org/2024/257
Demystifying Knowledge Management through Storytelling
The Department of Veteran Affairs (VA) invited Taylor Paschal, Knowledge & Information Management Consultant at Enterprise Knowledge, to speak at a Knowledge Management Lunch and Learn hosted on June 12, 2024. All Office of Administration staff were invited to attend and received professional development credit for participating in the voluntary event.
The objectives of the Lunch and Learn presentation were to:
- Review what KM ‘is’ and ‘isn’t’
- Understand the value of KM and the benefits of engaging
- Define and reflect on your “what’s in it for me?”
- Share actionable ways you can participate in Knowledge - - Capture & Transfer
Skybuffer SAM4U tool for SAP license adoption
Manage and optimize your license adoption and consumption with SAM4U, an SAP free customer software asset management tool.
SAM4U, an SAP complimentary software asset management tool for customers, delivers a detailed and well-structured overview of license inventory and usage with a user-friendly interface. We offer a hosted, cost-effective, and performance-optimized SAM4U setup in the Skybuffer Cloud environment. You retain ownership of the system and data, while we manage the ABAP 7.58 infrastructure, ensuring fixed Total Cost of Ownership (TCO) and exceptional services through the SAP Fiori interface.
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Simplify your search for a reliable Python development partner! This list presents the top 10 trusted US providers offering comprehensive Python development services, ensuring your project's success from conception to completion.
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks creates AI-boosted business software that helps employees work more efficiently and effectively. Managing data across multiple RDBMS and NoSQL databases was already a challenge at their current scale. To prepare for 10X growth, they knew it was time to rethink their database strategy. Learn how they architected a solution that would simplify scaling while keeping costs under control.
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
At this talk we will discuss DDoS protection tools and best practices, discuss network architectures and what AWS has to offer. Also, we will look into one of the largest DDoS attacks on Ukrainian infrastructure that happened in February 2022. We'll see, what techniques helped to keep the web resources available for Ukrainians and how AWS improved DDoS protection for all customers based on Ukraine experience
5th LF Energy Power Grid Model Meet-up Slides
5th Power Grid Model Meet-up
It is with great pleasure that we extend to you an invitation to the 5th Power Grid Model Meet-up, scheduled for 6th June 2024. This event will adopt a hybrid format, allowing participants to join us either through an online Mircosoft Teams session or in person at TU/e located at Den Dolech 2, Eindhoven, Netherlands. The meet-up will be hosted by Eindhoven University of Technology (TU/e), a research university specializing in engineering science & technology.
Power Grid Model
The global energy transition is placing new and unprecedented demands on Distribution System Operators (DSOs). Alongside upgrades to grid capacity, processes such as digitization, capacity optimization, and congestion management are becoming vital for delivering reliable services.
Power Grid Model is an open source project from Linux Foundation Energy and provides a calculation engine that is increasingly essential for DSOs. It offers a standards-based foundation enabling real-time power systems analysis, simulations of electrical power grids, and sophisticated what-if analysis. In addition, it enables in-depth studies and analysis of the electrical power grid’s behavior and performance. This comprehensive model incorporates essential factors such as power generation capacity, electrical losses, voltage levels, power flows, and system stability.
Power Grid Model is currently being applied in a wide variety of use cases, including grid planning, expansion, reliability, and congestion studies. It can also help in analyzing the impact of renewable energy integration, assessing the effects of disturbances or faults, and developing strategies for grid control and optimization.
What to expect
For the upcoming meetup we are organizing, we have an exciting lineup of activities planned:
-Insightful presentations covering two practical applications of the Power Grid Model.
-An update on the latest advancements in Power Grid -Model technology during the first and second quarters of 2024.
-An interactive brainstorming session to discuss and propose new feature requests.
-An opportunity to connect with fellow Power Grid Model enthusiasts and users.
A Deep Dive into ScyllaDB's Architecture
This talk will cover ScyllaDB Architecture from the cluster-level view and zoom in on data distribution and internal node architecture. In the process, we will learn the secret sauce used to get ScyllaDB's high availability and superior performance. We will also touch on the upcoming changes to ScyllaDB architecture, moving to strongly consistent metadata and tablets.
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
HERE IS YOUR WEBINAR CONTENT! 'Mastering Customer Journey Management with Dr. Graham Hill'. We hope you find the webinar recording both insightful and enjoyable.
In this webinar, we explored essential aspects of Customer Journey Management and personalization. Here’s a summary of the key insights and topics discussed:
Key Takeaways:
Understanding the Customer Journey: Dr. Hill emphasized the importance of mapping and understanding the complete customer journey to identify touchpoints and opportunities for improvement.
Personalization Strategies: We discussed how to leverage data and insights to create personalized experiences that resonate with customers.
Technology Integration: Insights were shared on how inQuba’s advanced technology can streamline customer interactions and drive operational efficiency.
Dandelion Hashtable: beyond billion requests per second on a commodity server
This slide deck presents DLHT, a concurrent in-memory hashtable. Despite efforts to optimize hashtables, that go as far as sacrificing core functionality, state-of-the-art designs still incur multiple memory accesses per request and block request processing in three cases. First, most hashtables block while waiting for data to be retrieved from memory. Second, open-addressing designs, which represent the current state-of-the-art, either cannot free index slots on deletes or must block all requests to do so. Third, index resizes block every request until all objects are copied to the new index. Defying folklore wisdom, DLHT forgoes open-addressing and adopts a fully-featured and memory-aware closed-addressing design based on bounded cache-line-chaining. This design offers lock-free index operations and deletes that free slots instantly, (2) completes most requests with a single memory access, (3) utilizes software prefetching to hide memory latencies, and (4) employs a novel non-blocking and parallel resizing. In a commodity server and a memory-resident workload, DLHT surpasses 1.6B requests per second and provides 3.5x (12x) the throughput of the state-of-the-art closed-addressing (open-addressing) resizable hashtable on Gets (Deletes).
Astute Business Solutions | Oracle Cloud Partner |
Your goto partner for Oracle Cloud, PeopleSoft, E-Business Suite, and Ellucian Banner. We are a firm specialized in managed services and consulting.
Essentials of Automations: Exploring Attributes & Automation Parameters
Building automations in FME Flow can save time, money, and help businesses scale by eliminating data silos and providing data to stakeholders in real-time. One essential component to orchestrating complex automations is the use of attributes & automation parameters (both formerly known as “keys”). In fact, it’s unlikely you’ll ever build an Automation without using these components, but what exactly are they?
Attributes & automation parameters enable the automation author to pass data values from one automation component to the next. During this webinar, our FME Flow Specialists will cover leveraging the three types of these output attributes & parameters in FME Flow: Event, Custom, and Automation. As a bonus, they’ll also be making use of the Split-Merge Block functionality.
You’ll leave this webinar with a better understanding of how to maximize the potential of automations by making use of attributes & automation parameters, with the ultimate goal of setting your enterprise integration workflows up on autopilot.
Recently uploaded (20)
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving | Nameplate Manufacturing Process - 2024
Leveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and Standards
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Demystifying Knowledge Management through Storytelling
Demystifying Knowledge Management through Storytelling
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Nordic Marketo Engage User Group_June 13_ 2024.pptx
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
inQuba Webinar Mastering Customer Journey Management with Dr Graham Hill
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
Essentials of Automations: Exploring Attributes & Automation Parameters
Essentials of Automations: Exploring Attributes & Automation Parameters
Paraconsistent Reasoning in Ontopedia
- 1. Paraconsistent Reasoning in Ontopedia http://psi.ontopedia.net/Dmitry_Bogachev http://psi.ontopedia.net/Ontopedia
- 2. Large-scale systems of assertions • Any large-scale system of assertions modeling real world is inconsistent • Inconsistency is the norm • With traditional logic: • if we have a contradiction, we can infer any assertion • Not very useful for modeling systems with large-scale number of assertions
- 3. Possible alternative: Paraconsistent logic • Paraconsistent logic allows to make reasonable inferences inside of inconsistent assertion systems • Many Paraconsistent logics are interesting puzzles • Some can be useful (I think so) • Direct Logic (Carl Hewitt)
- 4. Ontopedia • PSI Server (http://psi.ontopedia.net)
- 5. Ontopedia • Inconsistency tolerant system of assertions populated by users (external systems, inference modules)
- 6. Ontopedia: Proposals • Each assertion can have multiple proposals from different sources with different truth values • Proposals can be provided by: • people • external systems (scanning topic maps, RDF, REST API) • with (known mapping to) Ontopedia’s PSIs • inference modules (in future)
- 7. Ontopedia: Multivalued truth assignment • Each assertion has truth value: • monotonic false • default false • unknown • default true • monotonic true
- 8. Ontopedia: Contradiction Level • Each assertion has contradiction level: • no contradictions • default contradiction • monotonic contradiction • We can calculate contradiction level for topics, any fragment, and full knowledge base • In general, Ontopedia tries to keep contradiction level “under control” and minimize it when it is possible
- 9. Ontopedia: Decision Procedure • Decision procedure tries to calculate truth value of an assertion based on existing proposals • Decision procedure also calculates contradiction level • Result of decision procedure is “visible assertion” • New proposals can change truth value and/or contradiction level (non monotonic system) • Contradictions do not participate in future inferences • Engine can suppress some pervious inferences
- 10. Why • Paraconsistent reasoning allows to collect assertions from various sources and “safely” infer new information
- 11. Interested? • Take a look at Paraconsistent Logic • Learn about Carl Hewitt’s work (Actors, Planner, Organizational Computing, ORGs, Direct Logic) • db3000@mac.com