Search results
Results from the WOW.Com Content Network
Knowledge representation and reasoning (KRR, KR&R, or KR²) is a field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks, such as diagnosing a medical condition or having a natural-language dialog.
The Loom project's goal is the development and fielding of advanced tools for knowledge representation and reasoning in artificial intelligence. Specifically to enable code to be generated from provably valid domain models. Loom is a language and environment for constructing intelligent applications.
His research is in the area of knowledge representation and reasoning in artificial intelligence.On the representation side, he has worked on the formalization of a number of concepts pertaining to artificial and natural agents including belief, goals, intentions, ability, and the interaction between knowledge, perception and action.
Edwina Luane Rissland (also published as Edwina Luane Rissland Michener) is a retired American mathematician and computer scientist. Initially focusing on knowledge representation and the philosophy of mathematics, her later research in artificial intelligence included work on case-based reasoning and the applications of AI in legal work. [1]
The Winograd schema challenge (WSC) is a test of machine intelligence proposed in 2012 by Hector Levesque, a computer scientist at the University of Toronto.Designed to be an improvement on the Turing test, it is a multiple-choice test that employs questions of a very specific structure: they are instances of what are called Winograd schemas, named after Terry Winograd, professor of computer ...
A frame language is a technology used for knowledge representation in artificial intelligence. They are similar to class hierarchies in object-oriented languages although their fundamental design goals are different. Frames are focused on explicit and intuitive representation of knowledge whereas objects focus on encapsulation and information ...
Sowa's research interests since the 1970s were in the field of artificial intelligence, expert systems and database query linked to natural languages. [4] In his work he combines ideas from numerous disciplines and eras modern and ancient, for example, applying ideas from Aristotle, the medieval scholastics to Alfred North Whitehead and including database schema theory, and incorporating the ...
Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order logic . In contrast to the latter, the core reasoning problems for DLs are (usually) decidable , and efficient decision procedures have been designed and implemented for ...