Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [knowledge-representation]

48 questions
10
votes
2 answers

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 ontologies and semantic networks (not to be confused with…
Zonata
  • 203
  • 2
  • 5
8
votes
5 answers

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 used with a cognitive architecture in order to make…
Freelancer
  • 129
  • 1
  • 12
8
votes
1 answer

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? Could someone explain this?
DorkRawk
  • 303
  • 1
  • 7
7
votes
1 answer

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" they state: In creating a KB (Knowledge Base) it is…
Paulo Tomé
  • 173
  • 5
6
votes
2 answers

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 with the deduction services of the relevant…
TomR
  • 1,411
  • 8
  • 17
6
votes
1 answer

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 size 100, where 100 is the maximum age you can…
mabounassif
  • 163
  • 3
5
votes
1 answer

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 this expression is not entail, but it is actually…
Necronet
  • 153
  • 6
5
votes
1 answer

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 and lambda semantics of natural language, e.g.…
TomR
  • 1,411
  • 8
  • 17
4
votes
1 answer

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". Here is a diagram of the Haskell type classes based on the…
Patrick Browne
  • 339
  • 1
  • 9
4
votes
1 answer

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 find Network Flow useful. I want to refrain from…
rishabh
  • 41
  • 3
4
votes
1 answer

"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
  • 41
  • 2
4
votes
1 answer

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 Background Knowledge into Embeddings for Relation…
R. S.
  • 199
  • 1
  • 8
3
votes
1 answer

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 all variables so that each quantifier has its own…
FELIPE N.
  • 135
  • 4
3
votes
1 answer

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 $ D$ called domain of the interpretation and $ I $…
Sheldon Kripke
  • 567
  • 4
  • 5
3
votes
0 answers

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 action", "agent has permission to perform…
TomR
  • 1,411
  • 8
  • 17
1
2 3 4