We found 12 results that contain "artificial intelligence"

The basic idea of intelligence:An explosion is that once machines reach a certain level of intelligence, they’ll be able to work on AI just like we do and improve their own capabilities — redesign their own hardware and so on — and their intelligence will zoom off the charts. There’s an area emerging called “cyber-physical systems” about systems that couple computers to the real world. With a cyber-physical system, you’ve got a bunch of bits representing an air traffic control program, and then you’ve got some real airplanes, and what you care about is that no airplanes collide. You’re trying to prove a theorem about the combination of the bits and the physical world. What you would do is write a very conservative mathematical description of the physical world — airplanes can accelerate within such-and-such envelope — and your theorems would still be true in the real world as long as the real world is somewhere inside the envelope of behaviors.
Yet you’ve pointed out that it might not be mathematically possible to formally verify AI systems.
There’s a general problem of “undecidability” in a lot of questions you can ask about computer programs. Alan Turing showed that no computer program can decide whether any other possible program will eventually terminate and output an answer or get stuck in an infinite loop. So if you start out with one program, but it could rewrite itself to be any other program, then you have a problem, because you can’t prove that all possible other programs would satisfy some property.

In the intersection of space travel and robotics, Jihee Kim introduces Laika — a concept design for a life-like, AI robot pet that can interact with humans. Laika has been designed for upcoming space projects such as NASA’s Artemis and Moon to Mars missions set for 2025-2030, envisioned as the ultimate companion for space explorers as it caters to both their physical and emotional well-being while they are away from home. Unlike the aggressive robotic dogs currently available on the market, Jihee Kim has designed Laika with a friendly and organic finish that enables it to connect to its human counterpart on an emotional level when in use while monitoring their health conditions and assisting them in emergencies. Beyond space missions, this approachable design allows Laika to integrate into domestic contexts.
Image : 
video  link : Embedded URL test : 
Table : 



Sr NO 
Assignee
Task 


Cat 1 
Rohit 
Test 1


Cat 2
Shweta
Test 2 



Numbering : 

Number 1 
Number 2 

Bullets : 

Bullets 1
Bullets 2
Bullets 3 

URL : https://www.designboom.com/technology/life-like-ai-robot-dog-laika-space-travelers-jihee-kim-11-19-2023/

In the intersection of space travel and robotics, Jihee Kim introduces Laika — a concept design for a life-like, AI robot pet that can interact with humans. Laika has been designed for upcoming space projects such as NASA’s Artemis and Moon to Mars missions set for 2025-2030, envisioned as the ultimate companion for space explorers as it caters to both their physical and emotional well-being while they are away from home. Unlike the aggressive robotic dogs currently available on the market, Jihee Kim has designed Laika with a friendly and organic finish that enables it to connect to its human counterpart on an emotional level when in use while monitoring their health conditions and assisting them in emergencies. Beyond space missions, this approachable design allows Laika to integrate into domestic contexts.
Image : 
video  link : Embedded URL test : 
Table : 



Sr NO 
Assignee
Task 


Cat 1 
Rohit 
Test 1


Cat 2
Shweta
Test 2 



Numbering : 

Number 1 
Number 2 

Bullets : 

Bullets 1
Bullets 2
Bullets 3 

URL : https://www.designboom.com/technology/life-like-ai-robot-dog-laika-space-travelers-jihee-kim-11-19-2023/

Introduction
Humans interact with computers in any way the interface between humans and computers is crucial to facilitate this interaction. Desktop applications, internet browsers, handheld computers, ERP, and computer kiosks make use of the prevalent graphical user interfaces (GUI) of today. 
Voice user interfaces (VUI) are used for speech recognition and synthesizing systems, and the emerging multi-modal and Graphical user interfaces (GUI) allow humans to engage with embodied character agents in a way that cannot be achieved with other interface paradigms. The growth in the human-computer interaction field has been in the quality of interaction, and indifferent branching in its history. Instead of designing regular interfaces, the different research branches have had a different focus on the concepts of multimodality rather than unimodality, intelligent adaptive interfaces rather than command/action based ones, and finally active rather than passive interfaces.
An important facet of HCI is user satisfaction (or simply End-User Computing Satisfaction). "Because human-computer interaction studies a human and a machine in communication, it draws from supporting knowledge on both the machine and the human side. On the machine side, techniques in computer graphics, operating systems, programming languages, and development environments are relevant.