Knowledge representation and reasoning

learn more… | top users | synonyms

0
votes
0answers
49 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. ...
0
votes
0answers
19 views

Is RDF subsumption the same as nominal subtyping?

In order for to infer a class A subsumes a class B, one or more T-Box statements have to be defined. If one assumed that a class in RDF is a type, would subsumption be the same as nominal subtyping? ...
0
votes
0answers
68 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
47 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
116 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 ...