The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [knowledge-representation]

For questions about methods/intuitions/proofs/improvements in the knowledge representation in a problem to be solved by Artificially Intelligent agent.

9 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3
votes
0answers
77 views

Answer Set Programming - Make a Fact INVALID

I have a question regarding Answer Set Programming on how to make an existing fact invalid, when there is already (also) a default statement present in the Knowledge Base. For example, there are two ...
2
votes
0answers
51 views

ChatBot applications [Academia]

I am in education and I'm wondering about the use of chatbot-like tools to facilitate automated discussions among students. The chatbot domain of knowledge would be purposely restricted to a specific ...
2
votes
0answers
448 views

Translate English Sentences into First-Order Logic without quantifiers

I have to translate the following English sentences into First-Order Logic without using quantifiers: ...
1
vote
0answers
35 views

What is the difference between Knowledge Representation and Automated Reasoning?

Knowledge Representation and Automated Reasoning are two AI subfields which seem to have something to do with reasoning. However, I can't find any information online about their relationship. Are ...
1
vote
0answers
35 views

Formulation of a sentence using FOL

I want to formulate the following sentence using FOL; I want also to know whether there any contradictions in it, or if it is consistent. Assuming human relations are binary: All Human Relations ...
1
vote
1answer
36 views

What are “function terms” in the context of an ontology?

I was going through the Wikipedia page on ontology components and noticed something that I had been hoping to find, for a long time. In the components' overview it mentioned: Function terms: ...
0
votes
0answers
19 views

How to create a text adventure for a puck collecting robot?

A robot simulation is provided, which was created with the Box2d physics engine. The human operator can rotate the robot around it's current position, he can open the gripper and it's possible to move ...
0
votes
0answers
18 views

Is there any readily available concept/topic tree?

I am looking for dataset in tree structure that captures the hierarchy of concepts. For example, something like, ...
0
votes
0answers
13 views

Logically infering using resolutions

How can I know if it is possible to logically infer both sentences from the given database? (Using first order logic) My basic assumptions are that(because of dealing with AI): Closed world ...