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
45 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?
3
votes
0answers
83 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
117 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 ...
2
votes
0answers
56 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
571 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
1answer
72 views

How can I draw a conceptual dependency for the statement “Place all ingredients in a bowl and mix thoroughly”?

I stumbled across a question asking to draw a conceptual dependency for the following statement: Place all ingredients in a bowl and mix thoroughly My attempt so far Explanation: Both the sender ...
1
vote
0answers
32 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
21 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, ...
1
vote
0answers
74 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
1answer
47 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
22 views

Can True(L, x) be defined as membership of x in recursive language L?

Can True(L, x) be defined as membership of x in recursive language L? In order to formalize natural language semantics using truth conditional semantics it seems that we must first formalize the ...
0
votes
0answers
21 views

Computing latent representation for multi-domain regression/classification

Suppose I have a dataset with (X, Y) training samples where X is a 1 dimension, and Y is also 1 dimension. Example: if this is a housing price dataset, X would be an area in square feet, and Y would ...