Czy są AI, gotowe wyciągnąć dalsze wnioski, z zestawu aksjomatów? Czy są w stanie dać odpowiedź spójną wewnętrznie, w ramach założonych aksjomatów? Budować złożone wnioskowanie, tworzyć złożone przykłady, korzystające z tej aksjomatyki?
@look997: no generalnie systemy automatycznego wnioskowania to istnieją od wielu lat. Z tym, że pewnie będziesz zawiedziony bo to nie jest magiczna maszynka do dowodzenia hipotezy riemanna tylko mądrzejszy dfs z formułami logicznymi zamiast wierzchołków i zasadami wnioskowania z danego systemu formalnego zamiast krawedzi
Czy są w stanie dać odpowiedź spójną wewnętrznie, w ramach założonych aksjomatów?
Budować złożone wnioskowanie, tworzyć złożone przykłady, korzystające z tej aksjomatyki?
W szczególności chodzi mi o aksjomaty z Metacybernetyki, ale szukam generalnie rozwiązań specjalizujących się w takiej logice aksjomatycznej.
#ai #artificialintelligence #logika #aksjomatyka #matematyka #cybernetyka