... найстаріших частин
інтелекту. Завдяки досл ...
Можна сказати, що автоматичне доведення теорем - одна з найстаріших частин штучного інтелекту. Завдяки дослідженням в області автоматичного доведення теорем були формалізовані алгоритми пошуку і розроблені мови формальних уявлень, такі як числення предикатів і логічна мова програмування PROLOG.
Привабливість автоматичного доведення теорем заснована на строгості і спільності логіки. У формальній системі логіка розташовує до автоматизації. Різноманітні проблеми можна спробувати вирішити, представивши опис задачі і відноситься до неї інформацію у вигляді логічних аксіом і розглядаючи різні випадки завдання як теореми, які потрібно довести. Цей принцип лежить в основі автоматичног...
Тэги:
штучний
Штучний інтелект та ведення ігор
2012-09-23 06:04:42
... займають розробників
штучного інтелекту.
Пошук - це метод вирішення проблеми, в якому систематично проглядається простір станів задачі. Приклади станів задачі: різні розміщення фігур на дошці в шахах або ж проміжні кроки логічного обгрунтування. Потім в цьому просторі альтернативних рішень проводиться перебір у пошуках остаточної відповіді. Вчені стверджують, що ця техніка лежить в основі людського способу вирішення різних завдань. Відзначимо, що пошук є однією з фундаментальних проблем, що займають розробників штучного інтелекту.
Багато ранні дослідження в області пошуку в просторі станів здійснювалися на основі таких поширених настільних ігор, як шашки, шахи та пятнашки. Вдобавок до властивого їм інтелектуальному х...
Тэги:
штучний
Польські вчені працюють над створенням штучної бджоли
2012-09-10 07:47:08
Завданням
штучної бджоли ... створити прототип рой
штучних бджіл. ... буде вилітати
штучна бджола. Вченим ...
+ развернуть текст сохранённая копия
Завданням штучної бджоли буде допомога у вирощуванні рослин. Про це повідомляє Польське радіо.Вчені Варшавської політехніки протягом трьох років повинні створити прототип рой штучних бджіл. Якщо це пристрій вдасться побудувати, воно стане першим таким механізмом у світі. Блок управління повинен нагадувати вулик. З нього буде вилітати штучна бджола. Вченим доведеться багато працювати: пристрій буде моніторити територію [...]
Тэги:
бджола,
новини,
штучна
Історія штучного інтелекту
2012-08-21 02:00:59
... історія
штучного інтелекту починає ... в галузі
штучного інтелекту: чи ... в історії
штучного інтелекту є 50 ...
+ развернуть текст сохранённая копия
Історія штучного інтелекту
Можна вважати, що історія штучного інтелекту починається з моменту створення перших ЕОМ у 40-х р.р. З появою електронних обчислювальних машин, що володіють високою (за мірками того часу) продуктивністю, стали виникати перші питання в галузі штучного інтелекту: чи можливо створити машину, інтелектуальні можливості якої були б тотожні інтелектуальним можливостям людини (або навіть перевершували можливості людини).
Наступним етапом в історії штучного інтелекту є 50-ті роки, коли дослідники намагались будувати розумні машини, імітуючи мозок. Ці спроби виявилися безуспішними з ...
Тэги:
штучний
Ремонт підлоги в класі
2012-07-10 11:13:42
Одним з найбільш експлуатованих елементів житлових і офісних приміщень є підлога. Зважаючи на велику ...
+ развернуть текст сохранённая копия
Одним з найбільш експлуатованих елементів житлових і офісних приміщень є підлога. Зважаючи на велику «прохідності» вона може знищитися, втратити свій вигляд і зажадати ремонту.
Сьогодні асортимент підлогових покриттів на стільки різноманітний, що навіть фахівців може поставити в глухий кут. У сучасних будинках і квартирах, офісах, як правило, присутня не одна, а кілька видів підлогових покриттів: лінолеум, [...]
Тэги:
всяка,
всячина,
дошка,
паркет,
штучний
