Questions tagged [knowledge-representation]
The knowledge-representation tag has no summary.
48 questions
1 vote
1 answer
87 views
How does the RETE algorithm for expert production systems work?
I struggle with the understanding of this algorithm. Is there anybody willing to explain me how the tree is built in RETE and how it helps with concrete inputs?
- 111
0 votes
0 answers
66 views
How to make a GUI for first-order logic representation?
This idea blows my mind, I would appreciate for any guidance. In essence, the question is how a machine should work to transform any kind of formal logic into its graphical representation (e.g. ...
1 vote
1 answer
173 views
What books are there to learn to implement these graph algorithms?
I saw a post on Reddit (https://www.reddit.com/r/math/comments/ci50d3/visualizing_mathematical_subjects/) that utilizes label propagation, Fruchterman-Reingold algorithm, and edge betweenness ...
- 113
1 vote
1 answer
96 views
Why is the certificate version of NP so ubiquitous?
I've noticed that the certificate/verification version of the definition of the class NP is much more popular online than the Turing machine version. In particular, the Wikipedia page has the ...
- 113
0 votes
2 answers
136 views
What is the difference between type inhabitant and subtyping?
I am confused with the terms inhabitant vs. subtyping. For example, We usually think that "john is an inhabitant of Human". This sentence is correct, because john is an individual, and an ...
- 295
0 votes
1 answer
132 views
Is it possible to encode contradictory horn clauses without goal clauses?
Intuitively, this seems impossible (because negation is forbidden in the head), but i am not sure. A naive (and wrong) example is p :- p But, this just means ...
- 295
0 votes
1 answer
281 views
What is the advantage of Rete algorithm compared to relational database engines?
Per my understanding, the Rete algorithm and relational database engines essentially solve the same problem: answering to a certain query about a (large) set of relational facts. To me, the Rete ...
- 389
1 vote
0 answers
119 views
Is it possible to query a Knowledge Graph using only Matrix operations?
I am interested in formulating a knowledge graph query in a matrix multiplication/dot product/inner product. I have found by chance the paper Variational Reasoning for Question Answering with ...
- 199
3 votes
0 answers
425 views
How can I Query a Knowledge Graph?
One approach for querying knowledge graph is to use nearest neighbor (NN) data structures. Read the paper On Integrating Knowledge Graph Embedding into SPARQL Query Processing for more details. ...
- 199
0 votes
1 answer
84 views
Is it possible to use "and", "or" "not" as relation/predicate in an ontology? In order to represent causality?
If we use an ontology we can represent knowledge, using notably semantic triple <s,p,o>. I was wondering how can I represent this: A and B cause C or A ...
4 votes
1 answer
362 views
How can I embed a Knowledge Graph in a vector space?
I am interested in embedding a Knowledge Graph in a vector space jointly with logical rules. Through Google, the best work I have found about that is Tim Rocktäschel's paper Injecting Logical ...
- 199
2 votes
0 answers
99 views
Ontology Editor or Something Else (in my case)? [closed]
Does there exist a system, e.g., software, an environment, a programming language, or the like, to represent knowledge and to reason with it, to query with, where the (descriptive) language used is at ...
- 39
2 votes
1 answer
211 views
How to represent symbolic knowledge using real numbers - theory about neural networks and natural/analog computing?
One can define the semantics of one definite word using the references to real world entities, relationships with the other words and other concepts and represent all this knowledge about this one ...
- 1,411
0 votes
1 answer
158 views
Proving whether $\bf{K}$(Happy $\lor$Sad) $\implies$ $\neg \bf{K}($Happy) is satisfiable, valid or unsatisfiable
I have a question that I am stuck on reasoning about knowledge. For the following statement, I need to show whether it is valid, satisfiable or unsatisfiable: $\bf{K}$(Happy $\lor$Sad) $\implies$ $\...
1 vote
2 answers
534 views
What are the essential differences and similarities among "data", "Information" and "knowledge" in the context of Computer Science?
The terms "data", "information" and "knowledge" are quite interchangeably used in Computer Science. Strictly speaking, they do carry a very different meaning. I want to know their precise meanings and ...
- 299