It has become particularly popular, in AI logic programming, to restrict the representation to expressions written in the first order predicate calculus.
Database for beliefs about the world, represented using first order predicate calculus.
Goals to be realized by the system as conditions over an interval of time on internal and external state descriptions (beliefs).
There are no steadfast ways of representing world knowledge or extracting the semantics from a sentence except for very simple domains, although First Order Predicate Calculus seems to be dominating as a representation method.
Pages: 1 2 3 4 5 ...
 See also: Knowledge, Agent, AI, Procedural, Intelligent agent
  
|
RSS
