|
Raymond Reiter
Raymond Reiter (; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed world reasoning, and truth maintenance systems. He also contributed to the situation calculus. Awards and honors He was a Fellow of the Association for Computing Machinery (ACM), an AAAI Fellow, and a Fellow of the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993. Publications * R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, ''Logic and Data Bases'', pages 119–140. Plenum., New York. * R. Reiter (1980). A logic for default reasoning. ''Artificial Intelligence'', 13:81-132. * R. Reiter (1987). A theory of diagnosis from first principles. ''Artificial Intelligence'', 32:57-95. * R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-monotonic Logic
A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence. Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions. Intuitively, monotonicity indicates that learning a new piece of knowledge cannot reduce the set of what is known. A monotonic logic cannot handle various reasoning tasks such as reasoning by default (conclusions may be derived only because of lack of evidence of the contrary), abductive reasoning (conclusions are only deduced as most likely explanations), some important approaches to reasoning about knowledge (the ignorance of a conclusion must be retracted when the concl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth Maintenance Systems
{{more footnotes, date=September 2009 Reason maintenanceDoyle, J., 1983. The ins and outs of reason maintenance, in: Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1, IJCAI’83. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 349–351.Doyle, J.: Truth maintenance systems for problem solving. Tech. Rep. AI-TR-419, Dep. of Electrical Engineering and Computer Science of MIT (1978) is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance distinguishes between base facts, which can be defeated, and derived facts. As such it differs from belief revision which, in its basic form, assumes that all facts are equally important. Reason maintenance was originally developed as a technique for implementing problem solvers. It encompasses a variety of techniques that share a common architecture:McAllester, D.A.: Truth maintenance. AAAI90 (1990) two components—a re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1939 Births
This year also marks the start of the Second World War, the largest and deadliest conflict in human history. Events Below, the events of World War II have the "WWII" prefix. January * January 1 ** Third Reich *** Jews are forbidden to work with Germans. *** The Youth Protection Act was passed on April 30, 1938 and the Working Hours Regulations came into effect. *** The Jews name change decree has gone into effect. ** The rest of the world *** In Spain, it becomes a duty of all young women under 25 to complete compulsory work service for one year. *** First edition of the Vienna New Year's Concert. *** The company of technology and manufacturing scientific instruments Hewlett-Packard, was founded in a garage in Palo Alto, California, by William (Bill) Hewlett and David Packard. This garage is now considered the birthplace of Silicon Valley. *** Sydney, in Australia, records temperature of 45 ˚C, the highest record for the city. *** Philipp Etter took over as Swi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellows Of The Royal Society Of Canada
{{disambiguation ...
Fellows may refer to Fellow, in plural form. Fellows or Fellowes may also refer to: Places *Fellows, California, USA *Fellows, Wisconsin, ghost town, USA Other uses *Fellows Auctioneers, established in 1876. *Fellowes, Inc., manufacturer of workspace products *Fellows, a partner in the firm of English canal carriers, Fellows Morton & Clayton *Fellows (surname) See also *North Fellows Historic District, listed on the National Register of Historic Places in Wapello County, Iowa *Justice Fellows (other) Justice Fellows may refer to: * Grant Fellows (1865–1929), associate justice of the Michigan Supreme Court * Raymond Fellows (1885–1957), associate justice of the Maine Supreme Judicial Court {{disambiguation, tndis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellows Of The Association For The Advancement Of Artificial Intelligence
{{disambiguation ...
Fellows may refer to Fellow, in plural form. Fellows or Fellowes may also refer to: Places *Fellows, California, USA *Fellows, Wisconsin, ghost town, USA Other uses *Fellows Auctioneers, established in 1876. *Fellowes, Inc., manufacturer of workspace products *Fellows, a partner in the firm of English canal carriers, Fellows Morton & Clayton *Fellows (surname) See also *North Fellows Historic District, listed on the National Register of Historic Places in Wapello County, Iowa *Justice Fellows (other) Justice Fellows may refer to: * Grant Fellows (1865–1929), associate justice of the Michigan Supreme Court * Raymond Fellows (1885–1957), associate justice of the Maine Supreme Judicial Court {{disambiguation, tndis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canadian Computer Scientists
Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of their being ''Canadian''. Canada is a multilingual and multicultural society home to people of groups of many different ethnic, religious, and national origins, with the majority of the population made up of Old World immigrants and their descendants. Following the initial period of French and then the much larger British colonization, different waves (or peaks) of immigration and settlement of non-indigenous peoples took place over the course of nearly two centuries and continue today. Elements of Indigenous, French, British, and more recent immigrant customs, languages, and religions have combined to form the culture of Canada, and thus a Canadian identity. Canada has also been strongly influenced by its linguistic, geographic, and ec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artificial Intelligence Researchers
Artificiality (the state of being artificial or manmade) is the state of being the product of intentional human manufacture, rather than occurring naturally through processes not involving or requiring human activity. Connotations Artificiality often carries with it the implication of being false, counterfeit, or deceptive. The philosopher Aristotle wrote in his ''Rhetoric'': However, artificiality does not necessarily have a negative connotation, as it may also reflect the ability of humans to replicate forms or functions arising in nature, as with an artificial heart or artificial intelligence. Political scientist and artificial intelligence expert Herbert A. Simon observes that "some artificial things are imitations of things in nature, and the imitation may use either the same basic materials as those in the natural object or quite different materials.Herbert A. Simon, ''The Sciences of the Artificial'' (1996), p. 4. Simon distinguishes between the artificial and the synth ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of The ACM
The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief is Venkatesan Guruswami. The journal was established in 1954 and "computer scientists universally hold the ''Journal of the ACM'' in high esteem". See also * ''Communications of the ACM ''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with ...'' References External links * Publications established in 1954 Computer science journals Association for Computing Machinery academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Electronic Transactions On Artificial Intelligence
The Royal Swedish Academy of Sciences ( sv, Kungliga Vetenskapsakademien) is one of the royal academies of Sweden. Founded on 2 June 1739, it is an independent, non-governmental scientific organization that takes special responsibility for promoting natural sciences and mathematics and strengthening their influence in society, whilst endeavouring to promote the exchange of ideas between various disciplines. The goals of the academy are: * to be a forum where researchers meet across subject boundaries, * to offer a unique environment for research, * to provide support to younger researchers, * to reward outstanding research efforts, * to communicate internationally among scientists, * to advance the case for science within society and to influence research policy priorities * to stimulate interest in mathematics and science in school, and * to disseminate and popularize scientific information in various forms. Every year, the academy awards the Nobel Prizes in physics and chemis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellow Of The Royal Society Of Canada
Fellowship of the Royal Society of Canada (FRSC) is an award granted to individuals that the Royal Society of Canada judges to have "made remarkable contributions in the arts, the humanities and the sciences, as well as in Canadian public life". , there are more than 2,000 living Canadian fellows, including scholars, artists, and scientists such as Margaret Atwood, Philip J. Currie, David Suzuki, Stephen Waddams, and Demetri Terzopoulos. There are four types of fellowship: # Honorary fellows (a title of honour A title of honor or honorary title is a title bestowed upon individuals or organizations as an award in recognition of their merits. Sometimes the title bears the same or nearly the same name as a title of authority, but the person bestowed d ...) # Regularly elected fellows # Specially elected fellows # Foreign fellows (neither residents nor citizens of Canada) References Academic awards Royal Society of Canada Fellows of learned societies of Canada 188 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> 1939 Births")
