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.

12 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
39 views

Is the Assumption-based Truth Maintenance System still used?

Is the Assumption-based Truth Maintenance System still used to maintain consistency while explicitly accounting for assumptions?
2
votes
0answers
52 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
471 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
21 views

How would we define a set that contains itself within a knowledge ontology?

How would we define a set that contains itself within a knowledge ontology? I am thinking that set membership would probably inherit from a generic base class of total containment from which both ...
1
vote
0answers
38 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
41 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
38 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
2answers
56 views

Knowledge encapsulation in machine learning

The thing about machine learning (ML) that worries me is that "knowledge" acquired in ML is hidden: we usually can't explain the criteria or methods used by the machine to provide an answer when we ...
0
votes
0answers
20 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 ...