13/10/18 00:58:17.71 .net
１階述語論理は自然言語と正確に一致しないよ
現実に存在しない概念や成り立たないことが論理的に成立したりする
そこらへんを調整するために記述論理とか信念とか知識とかエージェントとか
メンタルスペースとか新しい形式化が試みられていて未解決問題もかなりある
13/10/18 00:58:17.71 .net
１階述語論理は自然言語と正確に一致しないよ
現実に存在しない概念や成り立たないことが論理的に成立したりする
そこらへんを調整するために記述論理とか信念とか知識とかエージェントとか
メンタルスペースとか新しい形式化が試みられていて未解決問題もかなりある