|
Drew McDermott
Drew McDermott (December 27, 1949 – May 26, 2022) was a professor of Computer Science at Yale University. He was known for his contributions in artificial intelligence and planning. Education Drew McDermott earned Bachelor of Science, B.S., Master of Science, M.S., and Doctor of Philosophy, Ph.D. degrees from the Massachusetts Institute of Technology (MIT). He became a tenured full professor at Yale in 1983. He served as Chair of the Department from 1991 to 1995. He retired in 2018. Research His research has been in the area of artificial intelligence, with side excursions into philosophy. His Ph.D. dissertation was in the area of automated planning. In that work, he coined the term "task network" to refer to hierarchies of abstract and concrete actions and policies. He did seminal work in Non-monotonic logic in the early 1980s, and was an advocate for the "logicist" methodology in AI, defined as formalizing knowledge and reasoning in terms of deduction and quasideduction. In 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
United States
The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territories, nine Minor Outlying Islands, and 326 Indian reservations. The United States is also in free association with three Pacific Island sovereign states: the Federated States of Micronesia, the Marshall Islands, and the Republic of Palau. It is the world's third-largest country by both land and total area. It shares land borders with Canada to its north and with Mexico to its south and has maritime borders with the Bahamas, Cuba, Russia, and other nations. With a population of over 333 million, it is the most populous country in the Americas and the third most populous in the world. The national capital of the United States is Washington, D.C. and its most populous city and principal financial center is New York City. Paleo-Americ ... [...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 conc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steven Hanks
Stephen or Steven is a common English first name. It is particularly significant to Christians, as it belonged to Saint Stephen ( grc-gre, Στέφανος ), an early disciple and deacon who, according to the Book of Acts, was stoned to death; he is widely regarded as the first martyr (or "protomartyr") of the Christian Church. In English, Stephen is most commonly pronounced as ' (). The name, in both the forms Stephen and Steven, is often shortened to Steve or Stevie. The spelling as Stephen can also be pronounced which is from the Greek original version, Stephanos. In English, the female version of the name is Stephanie. Many surnames are derived from the first name, including Stephens, Stevens, Stephenson, and Stevenson, all of which mean "Stephen's (son)". In modern times the name has sometimes been given with intentionally non-standard spelling, such as Stevan or Stevon. A common variant of the name used in English is Stephan ; related names that have found some cu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eugene Charniak
Eugene Charniak is a professor of computer Science and cognitive Science at Brown University. He holds an A.B. in Physics from the University of Chicago and a Ph.D. from M.I.T. in Computer Science. His research has always been in the area of language understanding or technologies which relate to it, such as knowledge representation, reasoning under uncertainty, and learning. Since the early 1990s he has been interested in statistical techniques for language understanding. His research in this area has included work in the subareas of part-of-speech tagging, probabilistic context-free grammar induction, and, more recently, syntactic disambiguation through word statistics, efficient syntactic parsing, and lexical resource acquisition through statistical means. He is a Fellow of the American Association of Artificial Intelligence and was previously a Councilor of the organization. He was also honored with the 2011 Association for Computational Linguistics Lifetime Achievement ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Conference On Automated Planning And Scheduling
The International Conference on Automated Planning and Scheduling (ICAPS) is a leading international academic conference in automated planning and scheduling held annually for researchers and practitioners in planning and scheduling. ICAPS is supported by the National Science Foundation, the journal ''Artificial Intelligence'', and other supporters. The IPC and PDDL ICAPS conducts the International Planning Competition (IPC), a competition scheduled every few years that empirically evaluates state-of-the-art planning systems on a collection of benchmark problems. The Planning Domain Definition Language (PDDL) was developed mainly to make the 1998/2000 International Planning Competition possible, and then evolved with each competition. PDDL is an attempt to standardize Artificial Intelligence (AI) planning languages. PDDL was first developed by Drew McDermott Drew McDermott (December 27, 1949 – May 26, 2022) was a professor of Computer Science at Yale University. He was kno ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
James Hendler
James Alexander Hendler (born April 2, 1957) is an artificial intelligence researcher at Rensselaer Polytechnic Institute, United States, and one of the originators of the Semantic Web. He is a Fellow of the National Academy of Public Administration (United States). Education Hendler completed his Doctor of Philosophy degree at Brown University in 1986 with a thesis on automated planning and scheduling. He also has an MS (1981) in Cognitive Psychology from Southern Methodist University, a MSc (1983) from Brown University, and a BS (1978) from Yale University. Research Hendler's research interests are in the semantic web and artificial intelligence. Hendler held a longstanding position as professor at the University of Maryland where he was the Director of the Joint Institute for Knowledge Discovery and held joint appointments in the Department of Computer Science, the Institute for Advanced Computer Studies and the Institute for Systems Research. Hendler was the Director fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Blai Bonet (computer Scientist)
Blai Bonet (1926 in Santanyí – 1997 in Mallorca) was a Majorican poet, novelist and art critic. Bonet was an author with a trajectory marked by personal religious conflict and tuberculosis. His novel ''El Mar'' (The Sea), published in 1958, generated quite a stir. Afterwards, in 1962 his collections of poems ''L'Evangeli segons un de tants'' (The Gospel According to One of Many) was awarded the Carles Riba Prize, but it wasn't published due to Spanish Francoist censorship, delaying it for more than five years. In 1990, he was awarded the Creu de Sant Jordi by the Catalan Government. He was a member of the Association of Catalan Language Writers. He was a key participant in the resurgence of Catalan literature in the 1960s. His experimental novel ''The Sea'' can be read in English thanks to Dalkey Archive Press. Works Poetry * ''Quatre poemes de Setmana Santa'' (1950) * ''Entre el coral i l'espiga'' (1952) * ''Cant espiritual'' (1953, Premi Óssa menor) * ''Comèdi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hector Geffner
Hector Geffner is an Argentinian computer scientist and a Alexander von Humboldt Professor of artificial intelligence at RWTH Aachen University and Wallenberg Guest Professor in AI at Linköping University. His research interests are focused on artificial intelligence, especially automated planning and the integration of model-based AI and data-based AI. He is best known for his work on domain-independent heuristic planning and received several International Conference on Automated Planning and Scheduling (ICAPS) influential paper awards. Previously he held a research professorship at ICREA and the Artificial Intelligence and Machine Learning Group at University Pompeu Fabra in Barcelona since 2001. He was a staff researcher at the IBM Thomas J. Watson Research Center from 1990 to 1992 and a professor at Simón Bolívar University in Caracas, Venezuela from 1992 to 2001. Geffner was awarded an ERC Advanced Grant in 2020 to explore the connection between machine learning and m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For The Advancement Of Artificial Intelligence
The Association for the Advancement of Artificial Intelligence (AAAI) is an international scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artificial intelligence (AI), improve the teaching and training of AI practitioners, and provide guidance for research planners and funders concerning the importance and potential of current AI developments and future directions. History The organization was founded in 1979 under the name "American Association for Artificial Intelligence" and changed its name in 2007 to "Association for the Advancement of Artificial Intelligence". It has in excess of 4,000 members worldwide. In its early history, the organization was presided over by notable figures in computer science such as Allen Newell, Edward Feigenbaum, Marvin Minsky and John McCarthy. The current president is Yolanda Gil, and the president elect is Bart Selman. Conferences and publi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hierarchical Task Network
In artificial intelligence, hierarchical task network (HTN) planning is an approach to automated planning in which the dependency among actions can be given in the form of hierarchically structured networks. Planning problems are specified in the hierarchical task network approach by providing a set of tasks, which can be: # primitive (initial state) tasks, which roughly correspond to the actions of STRIPS; # compound tasks (intermediate state), which can be seen as composed of a set of simpler tasks; # goal tasks (goal state), which roughly corresponds to the goals of STRIPS, but are more general. A solution to an HTN problem is then an executable sequence of primitive tasks that can be obtained from the initial task network by decomposing compound tasks into their set of simpler tasks, and by inserting ordering constraints. A primitive task is an action that can be executed directly given the state in which it is executed supports its precondition. A compound task is a comple ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robotics
Robotics is an interdisciplinary branch of computer science and engineering. Robotics involves design, construction, operation, and use of robots. The goal of robotics is to design machines that can help and assist humans. Robotics integrates fields of mechanical engineering, electrical engineering, information engineering, mechatronics, electronics, bioengineering, computer engineering, control engineering, software engineering, mathematics, etc. Robotics develops machines that can substitute for humans and replicate human actions. Robots can be used in many situations for many purposes, but today many are used in dangerous environments (including inspection of radioactive materials, bomb detection and deactivation), manufacturing processes, or where humans cannot survive (e.g. in space, underwater, in high heat, and clean up and containment of hazardous materials and radiation). Robots can take any form, but some are made to resemble humans in appearance. This is claimed t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
