Skip to main content

Questions tagged [knowledge-representation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
39 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. ...
Danila Nikolaychuk's user avatar
1 vote
1 answer
107 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 ...
ZENG's user avatar
  • 113
1 vote
1 answer
55 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 ...
Lockjaw's user avatar
  • 113
0 votes
2 answers
100 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 ...
chansey's user avatar
  • 295
0 votes
1 answer
90 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 ...
chansey's user avatar
  • 295
0 votes
1 answer
212 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 ...
apen's user avatar
  • 369
1 vote
0 answers
91 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 ...
R. S.'s user avatar
  • 177
2 votes
0 answers
388 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. ...
R. S.'s user avatar
  • 177
0 votes
1 answer
62 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 ...
greenzeitoun's user avatar
3 votes
1 answer
308 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 ...
R. S.'s user avatar
  • 177
2 votes
0 answers
71 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 ...
user101144's user avatar
2 votes
1 answer
145 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 ...
TomR's user avatar
  • 1,401
0 votes
1 answer
128 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$ $\...
user24376's user avatar
1 vote
2 answers
429 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 ...
Maxood's user avatar
  • 299
4 votes
1 answer
506 views

Haskell type classes as ontological categories

A paper uses Haskell type classes to represent ontological categories. A type class hierarchy is used to represent "concept hierarchies" where "functions are the units of inheritance&...
Patrick Browne's user avatar
2 votes
3 answers
168 views

What is the difference between Coding and Programming?

In our daily life we use both coding and programming for the same meaning. I want to know the difference between these terms (If any). If they are used for different meanings than please anyone can ...
Rahat Batool's user avatar
5 votes
1 answer
765 views

Why is this expression (A and ¬A |= C) entailed?

Hopefully I am posting this in the right place, I am currently in a course of knowledge representation, and I came across an exercise about entailment: $$A\land\neg A\vDash C\,.$$ I would argue that ...
Necronet's user avatar
  • 153
3 votes
1 answer
544 views

Trying to understand interpretation and denotation in FOL

I am going through the book "Knowledge Representation and Reasoning" by Brachman and Levesque. So an interpretation $ F $ is defined as a pair $ \langle D,I \rangle $ mapping from a set of objects $ ...
Sheldon Kripke's user avatar
1 vote
0 answers
18 views

Subsymbolic/multimedia knowledge - query, creation and reasoning? Reference request?

One can consider multimedia data as a matrix of pixels, but, of course - multimedia data contains higher-order knowledge as well. E.g. everyone can describe famous paintings in terms of colours, ...
TomR's user avatar
  • 1,401
6 votes
2 answers
840 views

Do we have knowledge bases only because the logics are not automated enough?

Do we have knowledge bases only because the logics are not automated enough? I.e. - is it true, that the ideal situation would be that we use the set of logical formulas as the knowledge base together ...
TomR's user avatar
  • 1,401
5 votes
1 answer
391 views

Can lambda-calculus be used for knowledge representation?

Natural language semantics (in computational linguistics) uses lambda terms for expressing the semantics of natural language sentences. There is vast literature about combinatorial categorial grammars ...
TomR's user avatar
  • 1,401
1 vote
0 answers
57 views

is-child-of, is-instance-of as intensional and extensional inheritance relation - is object-oriented modelling an great oversimplification?

I am trying to build knowledge base in OpenCog cognitive architecture (http://wiki.opencog.org/w/The_Open_Cognition_Project) and I see that OpenCog lacks usual means to express notions of object-...
TomR's user avatar
  • 1,401
4 votes
1 answer
340 views

New Applications of Network Flow

I am thinking of explaining the topic of Network flow to an audience of computer sciecne students, and I want to make it more enjoyable by giving some real life examples where a software Developer may ...
rishabh's user avatar
  • 41
3 votes
0 answers
60 views

How to express modalities in rule bases, knowledge bases or expert systems?

Knowledge bases and expert systems are usually production rules systems and as such they lack expressive means for expressing modalities like "agent believes in statement", "agent has duty to perform ...
TomR's user avatar
  • 1,401
1 vote
2 answers
699 views

How to generate (Java) source code in academically acceptable way - using abstract syntax tree?

I am trying to do automated programming research: business software generation from the knowledge base that is implemented as Scheme (Lisp dialect) code (in the framework of http://opencog.org/ ...
TomR's user avatar
  • 1,401
0 votes
1 answer
52 views

How to conceptually represent attributes (characteristics) of an object in logics?

I am reading about/working on the knowledge representation using OpenCog framework http://wiki.opencog.org/w/OpenCog_Framework which essentially is special kind of probabilistic logic (s.c. PLN - ...
TomR's user avatar
  • 1,401
0 votes
1 answer
230 views

How to represent software code for code generation / automatic programming? How to integrate procedural and declarative knowledge?

I am learning about deontic logics and there I can make the following inferences: If A then there is **duty to create an entity of class C**, ...
TomR's user avatar
  • 1,401
1 vote
0 answers
67 views

Knowledge driven software development - is it possible?

Model driven software development is driven by UML models and OCL expressions, ontology driven software development is driven by ontologies but is it possible (are there research trends) to introduce ...
TomR's user avatar
  • 1,401
4 votes
1 answer
2k views

"Semantic Web", "Semantic Network", "Semantic Search", "Knowledge graph"(not Google's Knowledge Graph) and "knowledge base"

who can help me explain the concepts of "Semantic Web", "Semantic Network", "Semantic Search", "Knowledge graph"(not Google's Knowledge Graph) and "knowledge base" and the relations among them?
Hereme's user avatar
  • 41
1 vote
0 answers
49 views

Which fields of Computer Science are involved in knowledge-based and text-based dialog systems? [closed]

One of my future goals is to know in depth about building a text-based dialog system to answer questions about a specific topic (say, Tolkien's legendarium), assume that I have a large body of article-...
Vincent J. Ruan's user avatar
0 votes
0 answers
44 views

Fundamental representation of data relationships?

This is an offshoot of this question Which is more fundamental: key-value or subject-predicate-object? Is there any fundamental, hypothetical or practical, representation of data relationships? Both ...
Greg's user avatar
  • 239
1 vote
0 answers
56 views

Reasoning approaches for implementing a Knowledge-based System?

What are the major approaches in implementing a Knowledge-based System (KBS)? Approaches used to take decisions in a KBS that I have come across so far are the case-based and rule-based reasoning ...
NurShomik's user avatar
  • 173
2 votes
1 answer
218 views

What is a good example to illustrate the difference between isomorphic and homomorphic representations?

I am learning about "knowledge representation" in my intro to AI course and one of the key ideas has to do with isomorphic vs homomorphic representations. The examples I find when I google around are ...
Teusz's user avatar
  • 121
0 votes
1 answer
28 views

Minimum variable size if the information are coded in non-binary system

A typical HDD would represent information as either 1 (e.g. spin up) or 0 (e.g. spin down). Let's assume you want to represent the information physically in a hex system with 16 states, and assume ...
student1's user avatar
  • 103
1 vote
1 answer
399 views

What is the difference between cyber security ontologies and scenario ontologies in this system?

I have been reading the paper Towards a Cognitive System for Decision Support in Cyber Operations. And I have been trying to understand the role of two ontologies proposed here, cyber security ...
Freelancer's user avatar
3 votes
2 answers
225 views

Does XML covers the representation of any structured data and knowledge

I see nowadays XML is used to structure any file or data. It can represent both flat and hierarchical relationships. For example, it can be used to show the parse tree of a sentence in a natural ...
Ahmad's user avatar
  • 449
2 votes
0 answers
63 views

How to store linguistic data?

I'm both interested in practical and theoretical aspects of the problem. How do you store linguistic data. Suppose you have stemmed, parsed, tagged and, perhaps even did some preliminary analysis, ...
wvxvw's user avatar
  • 1,388
8 votes
5 answers
4k views

What are the practical uses of ontologies?

I have read many papers and books about ontologies and I am trying to figure out that how they are used in a real project? For example how the ontology for a soccer player robot can be defined and ...
Freelancer's user avatar
3 votes
0 answers
234 views

Open Standard Prolog Knowledge Bases [closed]

Are there any standard Prolog knowledge bases available anywhere that have the same purpose as Cyc, namely to encode generally accepted common sense and human knowledge? Typically containing ...
Nordlöw's user avatar
  • 131
2 votes
1 answer
48 views

Semantic information collections on the web. (Semantic Wikipedia)

There are lots of technologies supporting semantic information markup even as wiki software. I am wondering if there is any kind of broad information collection project like Wikipedia which features ...
Chris's user avatar
  • 123
7 votes
1 answer
573 views

Differences between basic, complex and terminological facts in a Knowledge Base using First-Order Logic

I've been reading the excellent book Knowledge Representation and Reasoning by Ronald Brachman and Hector Levesque. In the beginning of Section 3.2 "Vocabulary" of Chapter 3 "Expressing Knowledge" ...
Paulo Tomé's user avatar
2 votes
1 answer
635 views

first order logic resolution unification

Assuming I have shown part of the knowledge base in the clausal format: [1] p1(banana). [2] not p1(X) or p2(Y). [3] p1(X) or not p3(F). ... and more rules. ...
Martin H. L.'s user avatar
10 votes
2 answers
5k views

Are semantic networks ontologies?

I struggle with few definitions in knowledge representation and seek credible help to distinguish between them. I have been searching on wikipedia and many websites for the difference between ...
Zonata's user avatar
  • 203
3 votes
1 answer
753 views

MGU and Variable Standardization - CNF

I have been reading on converting first order logic sentences to conjunctive normal form, and then performing resolution. One of the steps of converting to CNF, is to Standardize variables: rename ...
FELIPE N.'s user avatar
  • 135
1 vote
1 answer
190 views

Resolution and incomplete Knowledge Base

Assume I have an incomplete knowledge base, for example: ...
Aida T.'s user avatar
  • 13
6 votes
1 answer
173 views

How to represent the interests of a Facebook user

I'm trying to figure out a way I could represent a Facebook user as a vector. I decided to go with stacking the different attributes/parameters of the user into one big vector (i.e. age is a vector of ...
mabounassif's user avatar
8 votes
1 answer
1k views

What Is The Complexity of Implementing a Particle Filter?

In a video discussing the merits of particle filters for localization, it was implied that there is some ambiguity about the complexity cost of particle filter implementations. Is this correct? ...
DorkRawk's user avatar
  • 303