Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [knowledge-representation]

Knowledge representation and reasoning

1
vote
0answers
72 views

What logic(s) exist for attributing belief?

I'm looking for an appropriate formalism to represent "traceability" in claims, especially connecting conclusions to source materials in a rigorous way. For example, I'd like to be able to represent ...
-1
votes
0answers
28 views

Expressiveness of bounded difference constraints with sets

Consider a restricted first-order theory over sets and natural numbers, with only bounded difference predicates such as $x-y<c$ where $c$ is a constant, and universal quantifiers. For instance, we ...
5
votes
0answers
65 views

What is the difference between an Ontology and Knowledge Representation (KR)?

From my understanding an Ontology is a description of how a real object can be understood or represented (such as a chair being a collection of atoms, a piece of furniture part of a larger collection ...
0
votes
0answers
88 views

Can I represent a computer program on a Hilbert Curve?

I overheard in discussion tonight: You know - you can represent a computer program as points on a Hilbert Curve. Is there a reference that explains this concept? I can't seem to Google for it.
3
votes
2answers
341 views

Representation of procedural knowledge

I know that knowledge about relationships between things can be represented using ontologies and stored in some sort of file or database system. Can a network of procedural knowledge also be created ...
1
vote
0answers
56 views

What Fuzzy techniques can combine conflicting quantified data?

I have been reading Fuzzy Belief Revision and trying to determine how the methods could be used to combine readings from conflicting sensors. For example, if one sensor reads 70 degrees and another ...
4
votes
1answer
122 views

Are there Belief Revision techniques for quantified data?

Are there Belief Revision techniques that aren't based solely in formal logic propositions? For example, if one agent believes the temperature for an area is 85 degrees and another believes the ...