What is agent communication?
Communication is necessary in order to allow collaboration, negotiation, cooperation, etc… between independent entities. For this purpose, it requires a well-defined, agreed and commonly understood semantics. Therefore, there cannot be…
Truth Maintenance Systems
inferences drawn by the knowledge representation system will have only default status, rather than being absolutely certain. Inevitably, some of these inferred "facts" will turn out to be wrong and…
Reasoning With Default Information
2 examples that violate the monotonicity property of logic (and thus are non-monotonic): semantic networks we saw that property inherited by all members of a category in a semantic network could be overridden…
Reasoning Systems for Categories
2 families of systems designed for organizing and reasoning with categories: semantic networks - utilizing graphs and algorithms for inferring properties of an object on the basis of its category membership…
Mental Events and Mental Objects
The agents we have constructed so far have beliefs and can deduce new beliefs. Yet none of them has any knowledge about beliefs or about deduction. Knowledge about one’s own knowledge and reasoning processes…
Actions, Situations, and Events
reasoning about results of actions is central to a knowledge-based agent. propositional logic gave us an example of the wumpus world that describes how actions affect the environment. the problem…
Categories and Objects
categories are an important aspect of general knowledge reasoning strict kind categories - an object is a triangle iff it is a polygon with 3 sidesnatural kind categories - have no clear cut…
Ontological Engineering
ontological engineering - representing abstract concepts (e.g. actions, time, physical objects, and beliefsupper ontology - a general framework of concepts have to handle exceptions and uncertainty 2 major characteristics of general-purpose ontologies…
What is knowledge representation?
Humans are best at understanding, reasoning, and interpreting knowledge. Human knows things, which is knowledge and as per their knowledge they perform various actions in the real world. But how machines…
Resolution
Resolution is a theorem proving technique that proceeds by building refutation proofs, i.e., proofs by contradictions. It was invented by a Mathematician John Alan Robinson in the year 1965. Resolution…
