Doradca - Advice taker

Rada przyjmujący był hipotetyczny program komputerowy , zaproponowana przez Johna McCarthy'ego w jego 1959 papieru „Programy ze zdrowym rozsądkiem”. Prawdopodobnie była to pierwsza propozycja wykorzystania logiki do reprezentowania informacji w komputerze, a nie tylko jako przedmiotu innego programu. Być może był to również pierwszy artykuł, w którym zaproponowano umiejętność zdrowego rozsądku jako klucz do sztucznej inteligencji . W swoim artykule McCarthy zalecał:

„… Programy do manipulacji w odpowiednim języku formalnym (najprawdopodobniej częścią rachunku predykatów ) typowych poleceń instrumentalnych. Program podstawowy wyciągnie natychmiastowe wnioski z listy przesłanek. Wnioski te będą albo zdaniami deklaratywnymi, albo imperatywnymi. Gdy imperatyw zdanie jest wywnioskowane, że program podejmuje odpowiednie działanie. "

McCarthy uzasadnił swoją propozycję następująco:

„Główną zaletą, jakiej oczekujemy od osoby udzielającej porady , jest to, że jej zachowanie będzie można poprawić, przedstawiając mu jedynie oświadczenia, opowiadając mu o jego symbolicznym otoczeniu i o tym, czego się od niego oczekuje. Takie stwierdzenia będą wymagały niewielkiej, jeśli w ogóle, wiedzy na temat program lub wcześniejszą wiedzę doradcy. Można by założyć, że doradca będzie miał do dyspozycji dość szeroką klasę natychmiastowych logicznych konsekwencji wszystkiego, co mu powie i jego wcześniejszą wiedzę. Oczekuje się, że ta właściwość będzie miała wiele wspólnego z tym, co sprawia, że ​​określamy pewnych ludzi jako posiadających zdrowy rozsądek. Dlatego powiemy, że program ma zdrowy rozsądek, jeśli automatycznie wyprowadza dla siebie wystarczająco szeroką klasę bezpośrednich konsekwencji wszystkiego, co zostało mu powiedziane i co już wie .

Bibliografia