nilsson
LogicalCredalNetworks
Many (if not all) real-world applications require efficient handling of uncertainty and a compact representation of a wide variety of knowledge. Indeed, complex concepts and relationships that typically comprise expert knowledge may be difficult to express in graphical models but can be represented compactly using classical logic.
Facing labor shortage, pizza franchise turns to AI phone bot
Pizza lovers who called Jet's Pizza between December 2021 and March 2022 might have encountered an AI phone bot that takes pizza orders. During those four months, Jet's Pizza, which has about 400 stores located primarily in Michigan, piloted OrderAI Talk in 70 of its stores. Customers who chose the bot rather than a traditional phone system received a discount on their order. At the end of the four months, Jet's Pizza expanded the AI phone bot to all its stores. The franchise's pilot of OrderAI Talk was part of its relationship with HungerRush, a cloud software provider for restaurants, said Aaron Nilsson, CIO and CDO of Jet's Pizza, based in Sterling, Mich.
Nilsson
We consider a general and industrially motivated class of planning problems involving a combination of requirements that can be essential to autonomous robotic systems planning to act in the real world: Support for temporal uncertainty where nature determines the eventual duration of an action, resource consumption with a non-linear relationship to durations, and the need to select appropriate values for control parameters that affect time requirements and resource usage. To this end, an existing planner is extended with support for Simple Temporal Networks with Uncertainty, Timed Initial Literals, and temporal coverage goals. Control parameters are lifted from the main combinatorial planning problem into a constraint satisfaction problem that connects them to resource usage. Constraint processing is then integrated and interleaved with verification of temporal feasibility, using projections for partial temporal awareness in the constraint solver.
Artificial Intelligence vs Human Intelligence: Who Takes the Cake on Indonesia's Bureaucracy?
The use of technology to improve human life and activity has long been implemented. Nowadays, we see technological innovations beyond what our predecessors could have ever imagined. People use to travel by foot or riding an animal of some sort. Then comes the invention of carriages with (again) animals to pull it. Many years later, we now have cars–which is basically an automated carriage if you think about it–, trains, ships, planes, and all other sorts of vehicle I haven't mentioned. This is only on transportation technology.
- Asia > Indonesia (0.59)
- Asia > Brunei (0.15)
- Asia > Southeast Asia (0.05)
- (7 more...)
- Banking & Finance (0.47)
- Transportation (0.34)
On AO*, Proof Number Search and Minimax Search
Alpha-Beta [Knuth and Moore, 1975] style depthfirst We discuss the interconnections between AO*, adversarial search can also be used for this goal, but its unsatisfying game-searching algorithms, e.g., proof practical performance pushed researchers to devise search number search and minimax search. The former algorithms specialized for solving. Proof number search was developed in the context of a general AND/OR (PNS) [Allis, 1994] was developed of such. Together with graph model, while the latter were mostly presented other game-specific advancements, PNS and its variant [Nagai, in game-trees which are sometimes modeled using 2002] have been used for successfully solving a number AND/OR trees. It is thus worth investigating to of games, e.g., Gomoku [Allis, 1994], checkers [Schaeffer et what extent these algorithms are related and how al., 2007].
- Europe > United Kingdom > England > Oxfordshire > Oxford (0.05)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.05)
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- (2 more...)
- Government > Military (0.69)
- Health & Medicine > Therapeutic Area (0.47)
Nils Nilsson, 86, Dies; Scientist Helped Robots Find Their Way
Nils J. Nilsson, a computer scientist who helped develop the first general-purpose robot and was a co-inventor of algorithms that made it possible for the machine to move about efficiently and perform simple tasks, died on Sunday at his home in Medford, Ore. His death was confirmed by his wife, Grace Abbott. Dr. Nilsson was a member of a small group of computer scientists and electrical engineers at the Stanford Research Institute (now known as SRI International) who pioneered technologies that have proliferated in modern life, whether in navigation software used in more than a billion smartphones or in such speech-control systems as Siri. The researchers had been recruited by Charles Rosen, a physicist at the institute, who had raised Pentagon funding in 1966 to design a robot that would be used as a platform for doing research in artificial intelligence. Although the project was intended to create a general-purpose mobile "automaton" and be a test bed for A.I. programs, Mr. Rosen had secured the funding by selling the idea to the Pentagon that the machine would be a mobile sentry for a military base.
12 AI Milestones: 1. Shakey The Robot
Developed at the Artificial Intelligence Center of the Stanford Research Institute (SRI) from 1966 to 1972, SHAKEY was the world's first mobile intelligent robot. According to the 2017 IEEE Milestone citation, it "could perceive its surroundings, infer implicit facts from explicit ones, create plans, recover from errors in plan execution, and communicate using ordinary English. SHAKEY's software architecture, computer vision, and methods for navigation and planning proved seminal in robotics and in the design of web servers, automobiles, factories, video games, and Mars rovers." In November 1963, Charles Rosen, head of the AI group at SRI, wrote a memo in which "he proposed development of a mobile'automaton' that would combine the pattern-recognition and memory capabilities of neural networks with higher-level AI programs," according to Nils Nilsson in his book The Quest for Artificial Intelligence. In April 1964, SRI submitted to the Advanced Research Projects Agency (ARPA) at the U.S. Department of Defense, a proposal for research in "Intelligent Automata," which it claimed would ultimately lead to "the development of machines that will perform tasks that are presently considered to require human intelligence."
- North America > United States (0.90)
- Europe > Russia (0.05)
- Asia > Russia (0.05)
- Asia > China (0.05)
- Government > Military (1.00)
- Government > Regional Government > North America Government > United States Government (0.90)
Cell by Cell: Deep Learning Powers Drug Discovery Effort for Hundreds of Rare Diseases
These diseases attract a ton of research effort and funding, and for good reason: They afflict tens of millions of people each year. But there are about 7,000 known rare diseases that rarely get attention. Also called "orphan" diseases, these conditions collectively affect about 400 million worldwide and were historically neglected by the drug industry, which could not justify the costs of developing drugs to address the small number of affected patients. Salt Lake City-based Recursion Pharmaceuticals focuses on drug discovery across several therapeutic areas, including hundreds of rare diseases that currently lack treatments -- such as Sandhoff disease, an inherited, often-fatal disorder that destroys neurons in an infant's brain and spinal cord. The condition affects less than 1 in 100,000 people in Europe.
- North America > United States > Utah > Salt Lake County > Salt Lake City (0.25)
- Europe (0.25)
NVIDIAVoice: Making Self-Driving Cars A Reality, Sooner
Autonomous driving company Zenuity runs under the motto "Make it real." To achieve that goal, it began by solving one of the auto industry's biggest challenges: seamlessly managing enormous loads of data. Self-driving cars require enormous amounts of data to run in the real world. Zenuity is a joint venture between Volvo Cars and Veoneer, a new technology subsidiary spun out from auto supplier Autoliv. The company, which launched in April 2017, is developing software for advanced driver assistance systems and self-driving cars.
- Transportation > Ground > Road (1.00)
- Information Technology > Robotics & Automation (1.00)
- Automobiles & Trucks > Manufacturer (0.95)
- Transportation > Passenger (0.85)