Artificial Intelligence Stack Exchange
Artificial Intelligence Stack Exchange

Questions tagged [knowledge-based-systems]

For questions related to knowledge-based systems in the context of artificial intelligence.

7 questions
10
votes
1 answer

Can Bayesian inference be combined with knowledge-based systems?

I've been struggling with the connection between knowledge-based AI systems and Bayesian inference for a while now. While I continue to sweep through the literature, I would be happy if someone can answer these more specific questions directly Are…
PintoUbuntu
  • 103
  • 5
2
votes
0 answers

Knowledge representation and reasoning(KRR) over a Image scene: Neurosymbolic AI

What are the ways and SOTA in domain of knowledge representation and reasoning over scene. Suppose there are 3 objects in the scene and which objects needs to be picked first among them is governed by 'Rules' written in text form, like Object which…
bigboss
  • 31
  • 2
2
votes
1 answer

What is the place of ontologies in artificial intelligence?

Very much a general question here, from a somewhat uneducated perspective. I'm currently part way through an MSc in AI, and at the minute I am taking a module on Knowledge Engineering and Computational Creativity. The professor taking the class…
ofithch79
  • 139
  • 4
1
vote
1 answer

Are my attempts to write "There exists a student studying all the subjects of the information technology subject" in FOL correct?

I have the following sentence, which I need to write in FOL There exists a student studying all the subjects of the information technology subject I don't know how $\forall$ can be combined with the $\land$. It was written by my teacher as…
chews
  • 13
  • 2
1
vote
2 answers

Is there any other (possibly less popular) approach to create AI apart from statistical methods?

From what I have gathered so far, an AI has some prior (stored in the form of some probability distribution), and, based on experiences/data, changes the distribution (via Bayes rule) accordingly. This idea seems intuitively correct, as humans do…
Manish Kumar Singh
  • 11
  • 1
0
votes
0 answers

How is forward chaining complete?

Can anyone explain why forward chaining is complete? The AIMA proof went over my head. I understood the working of the algorithm and how we finally have an inferred set of all atomic sentences in the KB and the additional sentences inferred but I…
learner
  • 13
  • 3
0
votes
0 answers

AIMA, Inference Algorithm - Sound or Truth Preserving

AIMA: Chapter 7, page 216, Global Edition. An inference algorithm that derives only entailed sentences is called sound or truth preserving. Soundness is a highly desirable property. An unsound inference procedure essentially makes things up as it…
learner
  • 13
  • 3