GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.1 (1)   Поиск:  
 Автор Тема: логика(оптимизированная логика)
obraz
Сообщений: 14
логика(оптимизированная логика)
Добавлено: 21 июл 08 23:44
Оптимизированная логика является эффективным и простым в использовании инструментом конструирования связных и непротиворечивых рассуждений, а также выявления бессвязностей и противоречий в рассуждениях окружающих.
Оптимизированная логика имеет всего 2-ва закона.
А именно:
1) закон связности.
Согласно закону связности любое правильное рассуждение должно быть связным.
То есть рассуждения вроде:
а) если в Москве убили человека, то в Австралии сделали яичницу.
б) если в Нью - Йорке произошла авария, то в Токио построили дом.
в) и.т.д. в таком роде.
Являются бессвязными, то есть неправильными рассуждениями.
2) закон непротиворечия.
Согласно закону непротиворечия любое правильное рассуждение должно быть непротиворечивым.
То есть рассуждения вроде:
а) Иван Иванович является мужчиной 60-ти лет, семьянином, отцом 5-х детей и дедом 2-х внуков и в тоже самое время, тот - же самый Иван Иванович является Ириной Владимировной, незамужней женщиной 30-ти лет и матерью 2-х детей.
б) многоквартирный дом является местом жительства определённого количества людей и в тоже самое время, тот - же самый многоквартирный дом является фруктом под названием яблоко.
в) и.т.д. в таком роде.
Являются противоречивыми, то есть неправильными рассуждениями.
Форму правильных(связных и непротиворечивых) рассуждений нужно использовать в качестве стандарта формы рассуждений(это очень удобно ибо позволяет оптимизировать конструирование правильных(связных и непротиворечивых)) рассуждений и выявление бессвязностей и противоречий в рассуждениях окружающих.
Форму любого рассуждение нужно подвергать изучению сравнением(изучению при помощи сравнения с формой правильных рассуждений) ибо только постоянное изучение формы рассуждений делает возможным логическое(связное и непротиворечивое) мышление.
[Ответ][Цитата]
 Стр.1 (1)